TY - BOOK ID - 604721 TI - Gödel's theorem : an incomplete guide to its use and abuse PY - 2005 SN - 1568812388 9781568812380 PB - Wellesley, MA: A.K. Peters, DB - UniCat KW - Mathematical logic KW - Philosophy of science KW - Gödel's theorem KW - Gödel's theorem. KW - Incompleteness theorems. KW - Gödel's theorem KW - Incompleteness theorems KW - Gödel's incompleteness theorem KW - Undecidable theories KW - Arithmetic KW - Completeness theorem KW - Logic, Symbolic and mathematical KW - Number theory KW - Decidability (Mathematical logic) KW - Theorems, Incompleteness KW - Constructive mathematics KW - Proof theory KW - Foundations KW - Logique mathématique KW - Gödel, Kurt F., 1906 KW - -Logique mathématique KW - Logique mathematique KW - Theorie de la preuve KW - -Gödel's theorem. KW - -Gödel's theorem KW - Gödel, Kurt F., 1906- UR - https://www.unicat.be/uniCat?func=search&query=sysid:604721 AB - "Among the many expositions of Godel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzen 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 Godel ER -