Papers.md @master — view markup · raw · history · blame
Incompleteness Papers
A Simple Character String Proof of the \"True but Unprovable\" Version of Goedel\'s First Incompleteness Theorem
- authors: Antti Valmari
- date: 2014
- online @ arxiv.org
.
A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- authors: Noson S. Yanofsky
- date: 2003
- online @ arxiv.org
future-topics: Self-Reference
Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles
- authors: Dan E. Willard
- date: 2001
- online @ jstor
future-topics: Self-Verification