{"product_id":"godels-mistake-the-role-of-meaning-in-mathematics-paperback","title":"Godel's Mistake: The Role of Meaning in Mathematics - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eAshish Dalela\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWhy Is Mathematics Incomplete?\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003eGodel's incompleteness theorem is a foundational result in mathematics that proves that any axiomatic theory of numbers will be either inconsistent or incomplete. Turing's Halting problem is a foundational result in computing proving that computers cannot know if a program will halt. Godel's Mistake connects these theorems to the question of meaning. The book shows that the proofs arise due to category confusions between names, concepts, things, programs, algorithms, problems, etc. The book argues that these problems can be solved by introducing ordinary language categories in mathematics.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWhere the Solution Lies\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003eThe solution to the problem, the author argues, requires a new approach to numbers where numbers are treated as types rather than quantities. To view numbers as types requires a foundational shift in which objects are constructed from sets rather than sets from objects. Since sets denote concepts, this shift implies that objects are created from concepts. This also changes our view of space-time from linear and open to hierarchical and closed. In this hierarchical description, objects are symbols of meaning, rather than physical things. The author calls this theory the Type Number Theory (TNT) and shows that the type view of numbers is free of Godel's Incompleteness and Turing's Halting Problem.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eHow This Book Is Structured\u003c\/strong\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eChapter 1: Mechanizing Thought\u003c\/strong\u003e--provides an overview of mathematical, philosophical, linguistic and logical issues that preceded Godel's and Turing's results and shows that the problems encountered in mathematics have a wider undercurrent extending into other areas of science.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eChapter 2: Godel's Mistrick\u003c\/strong\u003e--discusses Godel's Incompleteness Theorem and Turing's Halting problem and shows how their proofs rest on category mistakes. The chapter also connects the theorems to the issues of sentence and program meaning. This sets up the motivation for alternative views about numbers and programs that can be free of the paradoxes that arise without semantics.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eChapter 3: Mathematics and Reality\u003c\/strong\u003e--the chapter discusses the Platonic notion of mathematics, which keeps ideas and things in separate worlds, and argues that they exist in the same world. The need to bring them together changes our view of objects, space-time, numbers and programs. Now, objects are symbols and numbers and programs are types. The implications of this view to the Cartesian mind-body problem and Platonic separation between ideas and things is discussed.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eChapter 4: Numbers and Meanings\u003c\/strong\u003e--develops the intuitions about numbers as types by interpreting various classes of numbers-- natural numbers, zero, negative numbers, irrationals and rationals, and imaginary numbers--in terms of meanings. The chapter concludes by defining the term Type Number Theory (TNT).\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eChapter 5: Mathematical Foundations\u003c\/strong\u003e--the chapter critiques some foundational ideas in mathematics including logic, set theory and number theory and shows why the very notion of an object as something logically prior to ideas is logically inconsistent. The author argues that numbers are outcomes of distinguishing, and distinguishing requires distinctions. The foundation of mathematics is therefore not in the idea of objects and collections but in the nature of distinctions.\u003c\/p\u003e\u003cp\u003eThe book concludes with a discussion about how distinctions originate in the nature of observation and the foundation of mathematics can therefore be seen in the fundamental properties of consciousness that divides and classifies in order to know.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 232\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.53 x 8.5 x 5.51 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e November 17, 2014\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":52704975454515,"sku":"9788193052310","price":20.28,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0300\/5595\/6612\/files\/TThOaDN4MHhuK1NRWHVPYkJGLzdlZz09.webp?v=1763369902","url":"https:\/\/www.vysn.com\/products\/godels-mistake-the-role-of-meaning-in-mathematics-paperback","provider":"VYSN","version":"1.0","type":"link"}