{"product_id":"metamathematics-machines-and-godel-s-proof-cambridge-university-press-9780521585330-n-shankar","title":"Metamathematics, Machines and Godel's Proof","description":"\u003cp\u003eDiscover the intriguing intersection of mathematics and computer science in \u003cstrong\u003eMetamathematics, Machines and Godel's Proof\u003c\/strong\u003e by N. Shankar. Published by Cambridge University Press in 1997, this insightful paperback spans 220 pages, offering a comprehensive exploration of how computer programs can be utilized to verify key proofs in the foundations of mathematics.\u003c\/p\u003e \n\n\u003cp\u003eShankar delves into the realms of mathematical logic and the theory of computation, making this book an essential read for anyone interested in the philosophy of mathematics and the symbolic aspects of computation. Whether you are a student, educator, or a professional in the field, this book serves as a valuable reference, bridging the gap between abstract mathematical theories and practical computational applications.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of mathematical proofs and their verification through technology with this thought-provoking work that combines rigorous theory with practical insights.\u003c\/p\u003e","brand":"N. Shankar","offers":[{"title":"Default Title","offer_id":52235603149142,"sku":"9780521585330","price":54.56,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521585330.jpg?v=1767755745","url":"https:\/\/www.englishbook.fi\/products\/metamathematics-machines-and-godel-s-proof-cambridge-university-press-9780521585330-n-shankar","provider":"Bookshop","version":"1.0","type":"link"}