git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Incompleteness
master

Tree @master (Download .tar.gz)

Incompleteness

(Up) | See also: FoM, Logic

Web resources

What axioms are used to prove Gödel's Incompleteness Theorems? ★

Finite versions of Godel\' s incompleteness ★

Can this provide an example of incompleteness under the assumption of mere consistency? ★

GOEDEL MACHINE SUMMARY ★

Burali-Forti paradox - Wikipedia, the free encyclopedia

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

(in Theorem Proving) Do theorems provers demonstrate their own correctness? ★★★

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 ★

History of by-topic / Incompleteness @master git clone https://git.catseye.tc/The-Glosscubator/