GÖDEL'S THEOREM: AN INCOMPLETE GUIDE TO ITS USE AND ABUSE

GÖDEL'S THEOREM: AN INCOMPLETE GUIDE TO ITS USE AND ABUSE by Torkel Franzén A. K. Peters, 2005, ISBN: 1-56881-238-8

Gödel's first incompleteness theorem can be found in most mathematicians' top ten list of the most famous theorems in mathematics. It is also certainly listed in the top five among non-mathematicians. This theorem has been used to prove everything from the existence of a god to the impossibility of artificial intelligence. Torkel Franzén's Gödel's Theorem: An Incomplete Guide to its Use and Abuse is the most recent book that aims to explain Gödel's first incompleteness theorem to...