Gödel's Theorem - Torkel Franzén

Gödel's Theorem

An Incomplete Guide to Its Use and Abuse

(Autor)

Buch | Softcover
182 Seiten
2005
A K Peters (Verlag)
978-1-56881-238-0 (ISBN)
44,85 inkl. MwSt
"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." --- John W. Dawson, author of Logical Dilemmas: The Life and Work of Kurt Gödel

A philosopher by training (PhD, University of Stockholm), Torkel Franzen has for the past twenty years been active working in computer science (at the Swedish Institute of Computer Science). He is the author of a number of books, among them Inexhaustibility: A Non-Exhaustive Treatment.

Preface, 1. Introduction, 2. The Incompleteness Theorem: An Overview, 3. Computability, Formal Systems, and Incompleteness, 4. Incompleteness Everywhere, 5. Skepticism and Confidence, 6. Gödel, Minds, and Computers, 7. Gödel’s Completeness Theorem, 8. Incompleteness, Complexity, and Infinity, Appendix, References, Index

Erscheint lt. Verlag 6.6.2005
Verlagsort Natick
Sprache englisch
Maße 152 x 229 mm
Gewicht 260 g
Themenwelt Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 1-56881-238-8 / 1568812388
ISBN-13 978-1-56881-238-0 / 9781568812380
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
how simple questions lead us to mathematics’ deepest truths

von Eugenia Cheng

Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70