Kennedy, Juliette (Editor)
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.
...MoreReview 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).
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
Grattan-Guiness, I.;
(2000)
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor Through Russell to Gödel
(/isis/citation/CBB000102346/)
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
Saul A. Kripke;
(2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
(/isis/citation/CBB257161891/)
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/)
Be the first to comment!