{"product_id":"godels-incompleteness-theorems-paperback-9781108986991","title":"Gödel's Incompleteness Theorems (Paperback \/ softback) 9781108986991","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eGödel's Incompleteness Theorems\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eA deep dive into the historical and philosophical background of Gödel's famed 1931 paper on incompleteness.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eJuliette Kennedy (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9781108986991, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback \/ softback, published 14 April 2022\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e75 pages\u003cbr\u003e22.9 x 15.1 x 0.5 cm, 0.15 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gödel's proof: arithmetization, strong representability, and the Fixed Point Theorem in a layered fashion, returning to their various aspects: semantic, syntactic, computational, philosophical and mathematical, as the topic arises. It samples some of the most important proofs of the Incompleteness Theorems, e.g. due to Kuratowski, Smullyan and Robinson, as well as newer proofs, also of other independent statements, due to H. Friedman, Weiermann and Paris-Harrington. It examines the question whether the incompleteness of e.g. Peano Arithmetic gives immediately the undecidability of the Entscheidungsproblem, as Kripke has recently argued. It considers set-theoretical incompleteness, and finally considers some of the philosophical consequences considered in the literature.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eIntroduction\u003cbr\u003e 1. The first version of the proof\u003cbr\u003e 2. Gödel's 'intuitionistically acceptable' second proof of the First Incompleteness Theorem\u003cbr\u003e 3. The unprovability of consistency\u003cbr\u003e 4. Löb conditions and adequacy\u003cbr\u003e 5. Other proofs of the First and Second Theorems\u003cbr\u003e 6. Mathematical Incompleteness\u003cbr\u003e 7. Set Theoretical Incompleteness\u003cbr\u003e 8. Further philosophical consequences of the Incompleteness Theorems.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Set theory [\u003ca title=\"See our other books on Set theory\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Set%20theory%20%5BPBCH%5D%22\"\u003ePBCH\u003c\/a\u003e], Philosophy: logic [\u003ca title=\"See our other books on Philosophy: logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Philosophy:%20logic%20%5BHPL%5D%22\"\u003eHPL\u003c\/a\u003e], Philosophy [\u003ca title=\"See our other books on Philosophy\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Philosophy%20%5BHP%5D%22\"\u003eHP\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46001973395736,"sku":"9781108986991","price":17.39,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9781108986991i.jpg?v=1696728237","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/godels-incompleteness-theorems-paperback-9781108986991","provider":"Freshly Printed Books","version":"1.0","type":"link"}