✦ LIBER ✦

HISTORY AND INCOMPLETENESS

✍ Scribed by MATT MATSUDA

Book ID: 111077112
Publisher: John Wiley and Sons
Year: 2010
Tongue: English
Weight: 640 KB
Volume: 49
Category: Article
ISSN: 0018-2656
DOI: 10.1111/j.1468-2303.2010.00531.x

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

Simplicity and Incompleteness

✍ Panu Raatikainen 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 42 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