Baaz, Matthias (Editor)
Cambridge University Press
Physical Details: xxiii + 515 pp.; ill.
Language: English
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" (from the publisher).
...MoreReview Mancosu, Paolo (2012) Review of "Kurt Gödel and the Foundations of Mathematics: Horizons of Truth". Isis: International Review Devoted to the History of Science and Its Cultural Influences (pp. 383-384).
Similar Citations
Book
Tieszen, Richard L.;
(2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic
(/isis/citation/CBB001210605/)
Book
William Boos;
Florence S. Boos;
(2018)
Metamathematics and the Philosophical Tradition
(/isis/citation/CBB060593902/)
Book
Stephen Budiansky;
(2021)
Journey to the Edge of Reason: The Life of Kurt Gödel
(/isis/citation/CBB142778671/)
Book
Giovanni Vailati;
Claudia Arrighi;
Paola Cantù;
Mauro De Zan;
Patrick Suppes;
(2010)
Logic and Pragmatism: Selected Essays by Giovanni Vailati
(/isis/citation/CBB877530276/)
Book
Nedo, Michael;
(2013)
Wittgenstein: una biografia per immagini
(/isis/citation/CBB001213930/)
Article
Dawson, John W., Jr.;
(2012)
Jean van Heijenoort and the Gödel Editorial Project
(/isis/citation/CBB001214115/)
Book
Gödel, Kurt;
Feferman, Solomon;
Dawson, John W., Jr.;
Kleene, Stephen C.;
Moore, Gregory H.;
Solovay, Robert M.;
Heijenoort, Jean van;
(2001)
Collected Works, Volume 1: Publications, 1929--1936
(/isis/citation/CBB000630371/)
Article
Manzano, Maria;
Alonso, Enrique;
(2014)
Completeness: From Gödel to Henkin
(/isis/citation/CBB001213927/)
Article
Michael Friedman;
(2016)
Über drei Erscheinungen von Unterschied in der Mathematik
(/isis/citation/CBB583491506/)
Book
Heijenoort, Jean van;
(2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
(/isis/citation/CBB000201415/)
Book
Juliette Kennedy;
(2014)
Interpreting Godel: Critical Essays
(/isis/citation/CBB427455296/)
Article
Paseau, Alexander;
(2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence
(/isis/citation/CBB001024149/)
Book
Casti, John L.;
DePauli, Werner;
(2000)
Gödel: A Life of Logic
(/isis/citation/CBB000520007/)
Book
Gödel, Kurt;
Feferman, Solomon;
Dawson, John W., Jr.;
Parsons, Charles;
Solovay, Robert M.;
Heijenoort, Jean van;
(2001)
Collected Works, Volume 2: Publications, 1938--1974
(/isis/citation/CBB000630356/)
Book
Kurt Godel;
Solomon Feferman;
John W. Dawson;
Warren Goldfarb;
Charles Parsons;
Wilfried Sieg;
(2013)
Kurt Gödel: Collected Works: Volume IV
(/isis/citation/CBB660754544/)
Article
Humberstone, Lloyd;
(2003)
A Strange Remark Attributed to Gödel
(/isis/citation/CBB000300864/)
Article
Tieszen, Richard;
(2002)
Gödel and the Intuition of Concepts
(/isis/citation/CBB000300364/)
Book
Gödel, Kurt;
Feferman, Solomon;
Dawson, John W., Jr.;
Parsons, Charles;
Solovay, Robert M.;
(2001)
Collected Works, Volume 3: Unpublished Essays and Lectures
(/isis/citation/CBB000630355/)
Book
Emanuele Gambetta;
(2023)
Il Teorema di Dio
(/isis/citation/CBB058518438/)
Book
Nicholas Rescher;
(2013)
On Leibniz: Expanded Edition
(/isis/citation/CBB536547972/)
Be the first to comment!