{"product_id":"the-annotated-godel-a-readers-guide-to-his-classic-paper-on-logic-and-incompleteness","title":"The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness","description":"\u003cp\u003e\u003cem\u003eThe Annotated Gödel \u003c\/em\u003eoffers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results Gödel's First and Second Incompleteness Theorems. The book includes the complete article in a new English translation, interleaved with commentary that guides the reader through Gödel's work, step by step.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe commentary concentrates on Gödel's exposition. It describes what he is doing at each point, and how it relates to other parts of the article. It elaborates on his proofs by outlining them, for example, or by making a table of his variables and their uses, or by filling in gaps in his arguments.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe translation uses modern mathematical notation and terminology. It replaces Gödel's function and relation names, based on German word fragments, with English equivalents. Its language is less formal than that of the existing translations, which date from the 1960s.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course, as well as some knowledge of formal logic, from an introductory course or the equivalent.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-3760183\"\u003eHal Prince\u003c\/a\u003e\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Homebred Press\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/21\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 184\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.59lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.39d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9798986414201\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 8986414201\u003cbr\u003e\u003cb\u003eBISAC Categories:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMathematics\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLogic\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-PHI\"\u003ePhilosophy\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-PHI011000\"\u003eLogic\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMathematics\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT015000\"\u003eHistory \u0026amp; Philosophy\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eThis title is not returnable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Homebred Press","offers":[{"title":"Default Title","offer_id":44485797773549,"sku":"9798986414201","price":12.42,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_009f1819-7c05-4839-8e67-5a459cfb31c2.jpg?v=1700808475","url":"https:\/\/sureshotbooks.com\/products\/the-annotated-godel-a-readers-guide-to-his-classic-paper-on-logic-and-incompleteness","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}