02963nam a22003138i 4500001001600000003000700016008004100023020001800064020001800082035002000100041000800120082001400128245010800142264007100250300003800321336002600359337002600385338003600411500001300447505092700460520096601387650003802353650002902391700003102420856005502451932003202506596000602538949010502544CR9780511756306UkCbUP100422s2014||||enk o ||1 0|eng|d a9780511756306 a9781107002661 a(Sirsi) a792475 aeng00a511.322300aInterpreting Gödel :bcritical essaysh[E-Book] /cedited by Juliette Kennedy, University of Helsinki. 1aCambridge :bCambridge University Press,c2014e(CUP)fCUP20200108 a1 online resource (xi, 279 pages) atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier aenglisch0 a1. Introduction: Gödel and analytic philosophy: how did we get here? / Juliette Kennedy -- Part I. Gödel on Intuition: 2. Intuitions of three kinds in Gödel's views on the continuum / John P. Burgess; 3. Gödel on how to have your mathematics and know it too / Janet Folina -- Part II. The Completeness Theorem: 4. Completeness and the ends of axiomatization / Michael Detlefsen; 5. Logical completeness, form, and content: an archaeology / Curtis Franks -- Part III. Computability and Analyticity: 6. Gödel's 1946 Princeton bicentennial lecture: an appreciation / Juliette Kennedy; 7. Analyticity for realists / Charles Parsons -- Part IV. The Set-theoretic Multiverse: 8. Gödel's program / John R. Steel; 9. Multiverse set theory and absolutely undecidable propositions / Jouko Väänänen -- Part V. The Legacy: 10. Undecidable problems: a sampler / Bjorn Poonen; 11. Reflecting on logical dreams / Saharon Shelah. aThe 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. 0aLogic, Symbolic and mathematical. 0aMathematicsxPhilosophy.1 aKennedy, Juliette,eeditor40uhttps://doi.org/10.1017/CBO9780511756306zVolltext aCambridgeCore (Order 30059) a1 aXX(792475.1)wAUTOc1i792475-1001lELECTRONICmZBrNsYtE-BOOKu8/1/2020xUNKNOWNzUNKNOWN1ONLINE