Book ID: CBB001210590

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

unapi

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

...More
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
https://data.isiscb.org/isis/citation/CBB001210590/

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

Book Heijenoort, Jean van; (2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (/isis/citation/CBB000201415/)

Article Michael Friedman; (2016)
Über drei Erscheinungen von Unterschied in der Mathematik (/isis/citation/CBB583491506/)

Article Dawson, John W., Jr.; (2012)
Jean van Heijenoort and the Gödel Editorial Project (/isis/citation/CBB001214115/)

Article Humberstone, Lloyd; (2003)
A Strange Remark Attributed to Gödel (/isis/citation/CBB000300864/)

Article Manzano, Maria; Alonso, Enrique; (2014)
Completeness: From Gödel to Henkin (/isis/citation/CBB001213927/)

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

Book Casti, John L.; DePauli, Werner; (2000)
Gödel: A Life of Logic (/isis/citation/CBB000520007/)

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

Authors & Contributors
Dawson, John W., Jr.
Gödel, Kurt
Feferman, Solomon
Solovay, Robert M.
Parsons, Charles D.
Heijenoort, Jean van
Concepts
Logic
Mathematics
Philosophy
Philosophy of mathematics
Biographies
Collected works
Time Periods
20th century
19th century
Ancient
20th century, early
Places
Middle and Near East
Italy
Mesopotamia
Comments

Be the first to comment!

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

Log in or register to comment