✦ LIBER ✦

Simplicity and Incompleteness

✍ Scribed by Panu Raatikainen

Book ID: 110219363
Publisher: Springer Netherlands
Year: 1998
Tongue: English
Weight: 42 KB
Volume: 116
Category: Article
ISSN: 0039-7857
DOI: 10.1023/a:1005033725849

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

INCOMPLETENESS

✍ JAMES CLARENCE HARVEY 📂 Article 📅 1891 ⚖ 269 KB

Conservativeness and Incompleteness

✍ Shapiro, Stewart 📂 Fiction 📅 0 🌐 English ⚖ 1 MB

HISTORY AND INCOMPLETENESS

✍ MATT MATSUDA 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 640 KB

Incompleteness and Indeterminacy

✍ Hanrahan, Rebecca 📂 Fiction 📅 0 🌐 English ⚖ 21 KB

Heterologicality and Incompleteness

✍ Cezary Cieśliński 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB

We present a semantic proof of Gödel's second incompleteness theorem, employing Grelling's antinomy of heterological expressions. For a theory T containing ZF, we define the sentence HETT which says intuitively that the predicate "heterological" is itself heterological. We show that this sentence do

Fictionalism and Incompleteness

✍ Richard Woodward 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB