The Limits of Mathematics---Tutorial Version
chao-dyn
2008-02-03 v1 Chaotic Dynamics
Abstract
The latest in a series of reports presenting the information-theoretic incompleteness theorems of algorithmic information theory via algorithms written in specially designed versions of LISP. Previously in this LISP code only one-character identifiers were allowed, and arithmetic had to be programmed out. Now identifiers can be many characters long, and arithmetic with arbitrarily large unsigned decimal integers is built in. This and many other changes in the software have made this material much easier to understand and to use.
Cite
@article{arxiv.chao-dyn/9509010,
title = {The Limits of Mathematics---Tutorial Version},
author = {G. J. Chaitin},
journal= {arXiv preprint arXiv:chao-dyn/9509010},
year = {2008}
}
Comments
143 pages, LaTeX, requires 3 passes for table of contents