{"title":"Torkel Franzén","description":"\u003cp\u003eDelve into the fascinating world of mathematical logic and philosophy with Torkel Franzén. Explore his insightful works, perfect for readers intrigued by Gödel's theorem and its implications. Start your intellectual journey here.\u003c\/p\u003e","products":[{"product_id":"godel-s-theorem-book-torkel-franzn-9781568812380","title":"Godel's Theorem","description":"\"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature.\" --- John W. Dawson, author of Logical Dilemmas: The Life and Work of Kurt Gödel","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":49733298028817,"sku":"NGR9781568812380","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50097941315857,"sku":"CIN1568812388VG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50648065114385,"sku":"GOR005232907","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1568812388.jpg?v=1780479895"},{"product_id":"inexhaustibility-a-non-exhaustive-treatment-book-torkel-franzn-9781568811758","title":"Inexhaustibility: A Non-Exhaustive Treatment","description":"G del's Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted. Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results necessary to understand the arguments are introduced as needed, making the presentation self-contained and thorough.","brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51215115452689,"sku":"NIN9781568811758","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1568811756.jpg?v=1751056434"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-torkel-franzn.oembed","provider":"World of Books ","version":"1.0","type":"link"}