There's something about Gödel : the complete guide to the incompleteness theorem / Francesco Berto.

Other titles
  • Tutti pazzi per Gödel! English
  • Tutti pazzi per Gödel! English
  • Malden, MA : Wiley-Blackwell 2009
Physical description
1 online resource (xx, 233 pages) : illustrations
  • 9781444315028
  • 1444315021
  • 9781405197663
  • 1405197668
  • 9781405197670
  • 1405197676
  • 9781444315011
  • 1444315013
  • Includes bibliographical references (pages 217-224) and index.
  • Reproduction available: Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
  • Mode of access: World Wide Web
  • Translated from the Italian.
  • Available in electronic full text to members of the University via the Library web catalogue.
  • Print version record.
  • The Gödelian symphony -- Foundations and paradoxes -- "This sentence is false" -- The liar and Gödel -- Language and metalanguage -- The axiomatic method, or how to get the non-obvious out of the obvious -- Peano's axioms -- And the unsatisfied logicists, Frege and Russell -- Bits of set theory -- The abstraction principle -- Bytes of set theory -- Properties, relations, functions, that is, sets again -- Calculating, computing, enumerating, that is, the notion of algorithm -- Taking numbers as sets of sets -- It's raining paradoxes -- Cantor's diagonal argument -- Self-reference and paradoxes -- Hilbert -- Strings of symbols -- "In mathematics there is no ignorabimus" -- Gödel on stage -- Our first encounter with the incompleteness theorem -- And some provisos -- Gödelization, or say it with numbers! -- TNT -- The arithmetical axioms of TNT and the "standard model" N -- The fundamental property of formal systems -- The Gödel numbering -- And the arithmetization of syntax -- Bits of recursive arithmetic -- Making algorithms precise -- Bits of recursion theory -- Church's thesis -- The recursiveness of predicates, sets, properties, and relations -- And how it is represented in typographical number theory -- Introspection and representation -- The representability of properties, relations, and functions -- And the Gödelian loop -- "I am not provable" -- Proof pairs -- The property of being a theorem of TNI (is not recursive!) -- Arithmetizing substitution -- How can a TNT sentence refer to itself? -- Fixed point -- Consistency and omega-consistency -- Proving G1 -- Rosser's proof -- The unprovability of consistency and the "immediate consequences" of G1 and G2 -- G2 -- Technical interlude -- "Immediate consequences" of G1 and G2 -- Undecidable1 and undecidable 2 -- Essential incompleteness, or the syndicate of mathematicians -- Robinson arithmetic -- How general are Gödel's results? -- Bits of Turing machine -- G1 and G2 in general -- Unexpected fish in the formal net -- Supernatural numbers -- The culpability of the induction scheme -- Bits of truth (not too much of it, though) -- The world after Gödel -- Bourgeois mathematicians! : the postmodern interpretations -- What is postmodernism? -- From Gödel to Lenin -- Is "biblical proof" decidable? -- Speaking of the totality -- Bourgeois teachers! -- (Un)interesting bifurcations -- A footnote to Plato -- Explorers in the realm of numbers -- The essence of a life -- "The philosophical prejudices of our times" -- From Gödel to Tarski -- Human, too human -- Mathematical faith -- "I'm not crazy!" -- Qualified doubts -- From Gentzen to the Dialectica interpretation -- Mathematicians are people of faith -- Mind versus computer : Gödel and artificial intelligence -- Is mind (just) a program? -- "Seeing the truth" and "going outside the system" -- The basic mistake -- In the haze of the transfinite -- "Know thyself" : Socrates and the inexhaustibility of mathematics -- Gödel versus Wittgenstein and the paraconsistent interpretation -- When geniuses meet -- The implausible Wittgenstein -- "There is no metamathematics" -- Proof and prose -- The single argument -- But how can arithmetic be inconsistent? -- The costs and benefits of making Wittgenstein plausible.
Related item
  • Bibliography
  • Electronic books.
  • Illustrated
  • text
  • English
  • Italian
Internet Resources
Related Internet Resources


  • There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem, considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem. Divided into two parts, the first section introduces the reader to the Incompleteness Theorem--the argument that all mathematical systems contain statements which are true, yet which cannot be proved within the system. Berto describes the historical context surrounding Godel's accomplishment, explains step-by-step the key aspects of the Theorem, and explores the technical issues of incompleteness in formal logical systems. The second half, The World After Godel, considers some of the most famous--and infamous--claims arising from Godel's theorem in the areas of the philosophy of mathematics, metaphysics, the philosophy of mind, Artificial Intelligence, and even sociology and politics. This book requires only minimal knowledge of aspects of elementary logic, and is written in a user-friendly style that enables it to be read by those outside the academic field, as well as students of philosophy, logic, and computing.

Summary holdings does not include live availability details. Select a library name for the full Holdings display.

Location of copy Shelfmark Online location Holdings Notes
University of Aberdeen Libraries: Sir Duncan Rice Library, Floor 5 511 03-01 GOD BER
University of Aberdeen Libraries Online location Available from Ebook Central. Online version available for university members only. This requires an institutional login.
University of the Arts, London: London College of Communication, Main collection 511.3 BER
Aston University Library Online location An e-book from Ebook Central; click to view
Aston University Library: E-book available online
University of Birmingham Libraries: Main Library, Collection QA9.54 .B4713
University of Birmingham Libraries Online location Click to View
University of Birmingham Libraries Online location Ebook Central Academic Complete Subscription Collection
University of Bradford Online location
University of Bradford: J B Priestley Library
British Library: Lending Collection m09/.36357
British Library: General Reference Collection, St Pancras Reading Rooms YC.2010.a.2277
University of Cambridge Libraries: Philosophy (Casimir Lewy Library): Main Library D 24 GOD Ber
University of Cambridge Libraries: Moore Library: Main Library QA9.65 .B47 2009
Cardiff University Libraries: Arts & Social Studies Library: 2 week QA9.54.B3
City, University of London Online location Open ebook
Edge Hill University Online location An electronic book from ProQuest
Edge Hill University: Electronic Resource eBook
University of Edinburgh Libraries Online location
University of Edinburgh Libraries Online location
University of Hull: BJL 3rd Floor QA 9.54 B5
University of Liverpool Library Online location <img src="/screens/gifs/go4.gif" alt="Go button" border="0" width="21" height="21" hspace="7" align="middle"> View this e-book online
University of Liverpool Library Online location Reading advice (software, printing, accessibility, privacy)
University of Liverpool Library: Contact University of Liverpool Library ELECTRONIC BOOK 0
University of Manchester Library Online location
University of Manchester Library Online location Wiley ebooks
University of Manchester Library: Main Library: Blue Area Floor 2 511.3
University of Manchester Library Online location Click to View
University of Manchester Library Online location Ebook Central Academic Complete
National Library of Scotland: General Reading Room, Edinburgh (stored offsite) PB8.211.31/1
National Library of Wales / Llyfrgell Genedlaethol Cymru: Contact the National Library of Wales / Llyfrgell Genedlaethol Cymru PRINT 2010 MB 18713
Newcastle University Libraries: Philip Robinson Library: Robinson Books Level 3 511.3 BER
University of Oxford Libraries: Balliol College Library 0187 c 040/05
University of Oxford Libraries: Jesus College Library: Lower Meyricke Library Gallery A2 BER
University of Oxford Libraries: Philosophy & Theology Faculties Library: First Floor Reading Room Open Shelves QA9.54 BER 2009
University of Oxford Libraries: Radcliffe Science Library M11.E00873
University of Oxford Libraries: St Peter's College Library: Upper AL3 JDV PKW GO8 M [ber]
University of Portsmouth Online location Click to View
University of Portsmouth: Online Resources, Electronic Books Reference
Queen Margaret University Library Online location Ebook
University of Reading Library Online location
University of Reading Library: University Library: Electronic resource XX(1885946.1)
SOAS Library, University of London Online location Connect to electronic book via Ebook Central.
University of St Andrews Library: Main Library QA9.54B4713
Senate House Library, University of London: Senate House Library PHILOSOPHY 6th Floor (66) ALS God Ber
University of Southampton Library Online location View online
University of Southampton Library: Internet Internet
Trinity College Dublin Library: Ussher Library PL-506-1
UCL Library Services: UCL Science Library HISTORY OF SCIENCE W 20 GOD:BER
University for the Creative Arts Online location Connect to Ebook.
University for the Creative Arts: Online Collection EBOOK
University of Warwick Library: Main Library BC 135.B4
University of Warwick Library Online location Connect to Wiley e-book
University of Warwick Library: Internet
University of Warwick Library Online location Connect to Proquest e-book
University of Warwick Library: Internet