Book ID: CBB427455296

Interpreting Godel: Critical Essays (2014)

unapi

Kennedy, Juliette (Editor)


Cambridge University Press


Publication Date: 2014
Physical Details: 293 pages
Language: English

The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gödel's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues.

...More
Reviewed By

Review Wilfried Sieg (2017) Review of "Interpreting Godel: Critical Essays". Isis: International Review Devoted to the History of Science and Its Cultural Influences (pp. 484-486). unapi

Citation URI
http://data.isiscb.org/isis/citation/CBB427455296/

Similar Citations

Article Franks, Curtis; (2009)
The Gödelian Inferences (/isis/citation/CBB001211043/)

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

Article Formica, Giambattista; (2010)
Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections (/isis/citation/CBB001034599/)

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

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 Tieszen, Richard L.; (2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic (/isis/citation/CBB001210605/)

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

Article Karela, Catherine; (2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis (/isis/citation/CBB001220619/)

Book Goldstein, Rebecca; (2005)
Incompleteness: The Proof and Paradox of Kurt Gödel (/isis/citation/CBB000520034/)

Book Emanuele Gambetta; (2023)
Il Teorema di Dio (/isis/citation/CBB058518438/)

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

Article Cassou-Noguès, Pierre; (2005)
Gödel and “The objective existence” of Mathematical Objects (/isis/citation/CBB000740617/)

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 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 William Boos; Florence S. Boos; (2018)
Metamathematics and the Philosophical Tradition (/isis/citation/CBB060593902/)

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

Article Tieszen, Richard; (2002)
Gödel and the Intuition of Concepts (/isis/citation/CBB000300364/)

Authors & Contributors
Heijenoort, Jean van
Gödel, Kurt
Dawson, John W., Jr.
Feferman, Solomon
Tieszen, Richard L.
Solovay, Robert M.
Journals
History and Philosophy of Logic
Synthese
Studies in History and Philosophy of Science
Perspectives on Science
Almagest
Berichte zur Wissenschaftsgeschichte
Publishers
Oxford University Press
W. W. Norton & Co.
Princeton University Press
Harvard University Press
Perseus
Gangemi Editore
Concepts
Mathematics
Logic
Philosophy of mathematics
Incompleteness theorems
Philosophy
Philosophy of science
People
Gödel, Kurt
Hilbert, David
Cantor, Georg Ferdinand Ludwig
Russell, Bertrand Arthur William
Frege, Gottlob
Von Neumann, John
Time Periods
20th century
19th century
20th century, early
Ancient
Places
Middle and Near East
Mesopotamia
Comments

Be the first to comment!

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

Log in or register to comment