{"product_id":"gdel-without-too-many-tears-peter-smith-9781916906341","title":"Gel Without (Too Many) Tears","description":"\u003cp\u003eKurt Gel's famous First Incompleteness Theorem shows that, for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory can express but cannot prove. How is this remarkable result established? This short book explains. It also discusses Gel's Second Incompleteness Theorem. The aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe first edition was based on much-downloaded lecture notes for a course given in Cambridge for many years. This second edition is expanded and extensively revised.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Peter Smith\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1916906346\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781916906341\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Logic Matters\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 12\/01\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 156\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.00lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.61h x 6.69w x 0.44d","brand":"Peter Smith","offers":[{"title":"Hardcover","offer_id":44076624675071,"sku":"9781916906341","price":17.5,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_2391d597-b6ab-40cf-8bb6-923fd849e6bf.jpg?v=1685465980","url":"https:\/\/www.whiterainbookhouse.com\/products\/gdel-without-too-many-tears-peter-smith-9781916906341","provider":"WR Book House","version":"1.0","type":"link"}