Check nearby libraries
Buy this book
"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers"--
Check nearby libraries
Buy this book
Previews available in: English
Edition | Availability |
---|---|
1
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
2011, Cambridge University Press
in English
1139064762 9781139064767
|
zzzz
|
2
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
2011, Cambridge University Press
in English
1139079654 9781139079655
|
zzzz
|
3
Kurt Gödel and the foundations of mathematics: horizons of truth
2011, Cambridge University Press
in English
0521761441 9780521761444
|
aaaa
|
4
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
2011, Cambridge University Press
in English
1139081934 9781139081931
|
zzzz
|
5
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
2011, Cambridge University Press
in English
051197423X 9780511974236
|
zzzz
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?February 12, 2023 | Edited by Stew | Update covers |
October 4, 2021 | Edited by ImportBot | import existing book |
August 13, 2020 | Edited by Gustav-Landauer-Bibliothek Witten | person |
July 4, 2019 | Edited by MARC Bot | import existing book |
October 20, 2011 | Created by LC Bot | import new book |