{"product_id":"libro-gdel-without-too-many-tears","title":"Libro: Gödel Without (Too Many) Tears","description":"\u003ctable style=\"border-collapse:collapse;margin-bottom:16px;width:100%\"\u003e\n\u003ctr\u003e\n\u003ctd\u003e\u003cstrong\u003eFormato\u003c\/strong\u003e\u003c\/td\u003e\n\u003ctd\u003eTapa Blanda\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003e\u003cstrong\u003eNúmero de páginas\u003c\/strong\u003e\u003c\/td\u003e\n\u003ctd\u003e154\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e\u003cp\u003eKurt Gödel’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ödel’s Second Incompleteness Theorem. The aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background (and at much less than half of the length of the same author‘s more wide-ranging An Introduction to Gödel‘s Theorems)\u003cbr\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","brand":"Logic Matters","offers":[{"title":"Default Title","offer_id":59723461951569,"sku":"1916906354","price":32600.0,"currency_code":"CLP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0669\/6455\/3809\/files\/51OrBOzmXXL.jpg?v=1782856592","url":"https:\/\/provetodo.cl\/es-cl\/products\/libro-gdel-without-too-many-tears","provider":"Provetodo ","version":"1.0","type":"link"}