𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gödel, Mathematics, And Possible Worlds

✍ Scribed by Mark van Atten

Book ID
110343460
Publisher
Springer
Year
2001
Tongue
English
Weight
64 KB
Volume
12
Category
Article
ISSN
1122-1151

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Gödel, Penrose and the possibility of AI
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

Mathematical Lives Volume 615 || Kurt Gö
Mathematical Lives Volume 615 || Kurt Gödel
✍ Bartocci, Claudio; Betti, Renato; Guerraggio, Angelo; Lucchetti, Roberto 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 23 KB

Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century, who have put at o