Mathematica 9 is now available

Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

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 Download Wolfram CDF Player

Download
examples.l (6.2 KB) - "manual" for my lisp
Download
godel.l (1.2 KB) - Proves incompleteness theorem
Download
godel2.l (1.1 KB) - Proves incompleteness theorem
Download
godel3.l (1.4 KB) - Proves incompleteness theorem
Download
lisp.m (8.1 KB) - Lisp interpreter in Mathematica
Download
omega.l (628 B) - Calculates halting probability
Download
omega2.l (493 B) - Calculates halting probability
Download
omega3.l (1.2 KB) - Irreducibility of halting probability
Download
utm.l (1.6 KB) - My universal Turing machine