Book ID: CBB001210590

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth (2011)


Baaz, Matthias (Editor)

Cambridge University Press

Publication Date: 2011
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).

Reviewed By

Review 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). unapi

Citation URI

Similar Citations

Book Tieszen, Richard L.; (2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic (/isis/citation/CBB001210605/)

Book Stephen Budiansky; (2021)
Journey to the Edge of Reason: The Life of Kurt Gödel (/isis/citation/CBB142778671/)

Book William Boos; Florence S. Boos; (2018)
Metamathematics and the Philosophical Tradition (/isis/citation/CBB060593902/)

Book Nedo, Michael; (2013)
Wittgenstein: una biografia per immagini (/isis/citation/CBB001213930/)

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 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 Dawson, John W., Jr.; (2012)
Jean van Heijenoort and the Gödel Editorial Project (/isis/citation/CBB001214115/)

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/)

Article Paseau, Alexander; (2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence (/isis/citation/CBB001024149/)

Book Juliette Kennedy; (2014)
Interpreting Godel: Critical Essays (/isis/citation/CBB427455296/)

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 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/)

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/)

Authors & Contributors
Dawson, John W., Jr.
Gödel, Kurt
Feferman, Solomon
Heijenoort, Jean van
Solovay, Robert M.
Parsons, Charles D.
History and Philosophy of Logic
Studies in History and Philosophy of Science
Logica Universalis
Berichte zur Wissenschaftsgeschichte
Oxford University Press
Harvard University Press
Gangemi Editore
de Gruyter
Philosophy of mathematics
Collected works
Gödel, Kurt
Hilbert, David
Leibniz, Gottfried Wilhelm von
Frege, Gottlob
Henkin, Leon Albert
Tarski, Alfred
Time Periods
20th century
19th century
17th century
18th century
Middle and Near East

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment