The Limits of Mathematics---Tutorial Version
G. J. Chaitin
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.
Create a lesson
Related papers
Chaotic eigenfunctions in phase space
S. Nonnenmacher, A. Voros
Improved control of delayed measured systems
Jens Christian Claussen, Heinz Georg Schuster
The accurate and comprehensive model of thin fluid flows with inertia on curved substrates
A. J. Roberts, Zhenquan Li
On periodic solutions of a Hamilton-Jacobi equation with periodic forcing
Andrei Sobolevskii
Drifters dispersion in the Adriatic Sea: Lagrangian data and chaotic model
Guglielmo Lacorata, Erik Aurell, Angelo Vulpiani
Generalized multibaker maps for open dissipative systems
Z. Kaufmann, P. Szépfalusy