Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Article
Formal Antecedent
Foundations and Logic
Citation
Kurt Gödel. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik. 38. pp. 173–198.
Why this reference is included
Gödel’s 1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in Monatshefte für Mathematik und Physik, is one of the program’s working technical references. Cited 2 times in Book I (Categorical Foundations), Part 18, Chapter The Self-Hosting Landscape, where the program draws on it in the context of “G"odel (1931). The Second Incompleteness Theorem : any sufficiently strong, consistent, recursively enumerable formal system S cannot prove its own consistency.”
Cited in
-
Book I — Categorical Foundations Part 18Chapter The Self-Hosting Landscape
G\"odel (1931). The Second Incompleteness Theorem : any sufficiently strong, consistent, recursively enumerable formal system S cannot prove its own consistency
-
Book I — Categorical Foundations Part 18Chapter The Self-Hosting Landscape
Self-hosting ≠ G\"odel numbering. G\"odel numbering encodes the syntax of a formal system as natural numbers within the system