The Limits of Mathematics -- from Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Title

The Limits of Mathematics

Author

G. J. Chaitin

Organization:

IBM Research Division

Old MathSource #

0208-820

Revision date

1997-07-08

Description

This book is the final version of a course on algorithmic information theory and the epistemology of mathematics and physics. It discusses Einstein and Godel's views on the nature of mathematics in the light of information theory, and sustains the thesis that mathematics is quasi-empirical. The book is accompanied by eight lisp programs and a lisp interpreter in Mathematica.

Subjects

	Applied Mathematics > Information Theory
	Arts and Humanities > History and Philosophy of Mathematics

Keywords

algorithmic information theory, mathematics and philosophy

Downloads

examples.l (6.2 KB) - "manual" for my lisp

godel.l (1.2 KB) - Proves incompleteness theorem

godel2.l (1.1 KB) - Proves incompleteness theorem

godel3.l (1.4 KB) - Proves incompleteness theorem

lisp.m (8.1 KB) - Lisp interpreter in Mathematica

omega.l (628 B) - Calculates halting probability

omega2.l (493 B) - Calculates halting probability

omega3.l (1.2 KB) - Irreducibility of halting probability

utm.l (1.6 KB) - My universal Turing machine

WOLFRAM