HackerPapers

arXiv:chao-dyn/9509010nlin.CD

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.

arXiv comments
143 pages, LaTeX, requires 3 passes for table of contents
Journal reference
DOI
Subjects
nlin.CDChaotic Dynamics

On Hacker News

Linked by 2 identifiable commenters in 2 comments across 2 threads, from Sep 2010 to Jul 2024.

Comments linking this paper, per year.

Discussed in comments2 threads

  1. Dear Julia, Dear Yuri: A mathematical correspondence (2022) 1 comment

    • Thanks for the pointer to Chaitin, his writing seems approachable: https://link.springer.com/chapter/10.1007/978-1-4471-0307-3_... https://inference-review.com/article/doing-mathematics-diffe... > he builds a LISP with it cool, just found these: The Limits of…

      linguazView on HNParent context

  2. Book review: The Limits of Mathematics by Gregory Chaitin 1 comment

    • The Limits of Mathematics---Tutorial Version http://arxiv.org/abs/chao-dyn/9509010v1 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…

      davidmathersView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.