README.md

Incompleteness

(Up) | See also: FoM, Logic

Web resources

lo.logic - What axioms are used to prove Gödel's Incompleteness Theorems? - MathOverflow ★

Finite versions of Godel\' s incompleteness - MathOverflow ★

lo.logic - Can this provide an example of incompleteness under the assumption of mere consistency? - MathOverflow ★

GOEDEL MACHINE SUMMARY ★

Burali-Forti paradox - Wikipedia, the free encyclopedia

(in FoM) set theory - Are there first-order statements that second order PA proves that first order PA does not? - MathOverflow ★

(in Theorem Proving) formal methods - Do theorems provers demonstrate their own correctness\"? - Computer Science Stack Exchange ★★★

Papers

A Simple Character String Proof of the \"True but Unprovable\" Version of Goedel\'s First Incompleteness Theorem (online @ arxiv.org)

A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (online @ arxiv.org)

Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles (online @ jstor)

(in Recreational Mathematics) Fusible numbers and Peano Arithmetic ★