✦ LIBER ✦

Intensional Semantics of System T of Gödel

✍ Scribed by Pierre Valarcher

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 806 KB
Volume: 35
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80747-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intensional semantics of vague constants

✍ Pavel Materna 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 261 KB

The papers of Kurt Gödel

✍ John W Dawson Jr. 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 65 KB

The completeness theorem of Gödel

✍ S. M. Srivastava 📂 Article 📅 2001 🏛 Indian Academy of Sciences 🌐 English ⚖ 623 KB

On centain decompositions of Gödel numbe

On centain decompositions of Gödel numberings

✍ Buchberger, B. 📂 Article 📅 1974 🏛 Springer-Verlag ⚖ 641 KB

Gödel, Penrose and the possibility of AI

✍ T. Dodd 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 866 KB

It is argued that Penrose's use of G6del's theorem to show that no machine can reproduce the achievements of a human mathematician depends on extra assumptions that would also show that no machine could ever check the validity of mathematical proofs: and it is claimed that the latter result contradi

Sloman's view of Gödel's sentence

✍ Damjan Bojadžiev 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 383 KB

Sloman's view largely reverses the usual view of Giidel's sentence. But Sloman does not have good arguments for his basic theses: that the Godel sentence does not mean what it is commonly taken to mean, and that we can't say that it is true in the intended model. The reason for Sloman's reversal of