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

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)