✦ LIBER ✦

Completing the Gödel-Zermelo correspondence

✍ Scribed by John W Dawson Jr.

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 238 KB
Volume: 12
Category: Article
ISSN: 0315-0860
DOI: 10.1016/0315-0860(85)90070-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structural completeness of Gödel's and D

Structural completeness of Gödel's and Dummett's propositional calculi

✍ Wojciech Dzik; Andrzej Wroński 📂 Article 📅 1973 🏛 Springer Netherlands 🌐 English ⚖ 201 KB

The papers of Kurt Gödel

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

Priest, the Liar, and Gödel

✍ Charles S. Chihara 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 474 KB

Intensionality and the Gödel Theorems

✍ David D. Auerbach 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 808 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

On the thermodynamics of Gödel black hol

On the thermodynamics of Gödel black holes

✍ D. Klemm; L. Vanzo 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 109 KB

## Abstract After a brief review of Gödel‐type universes in string theory, we discuss some intriguing properties of black holes immersed in such backgrounds. Among these are the upper bound on the entropy that points towards a finite‐dimensional Hilbert space of a holographically dual theory, and t