RT Book, Whole DB /z-wcorg/ DS http://worldcat.org ID 361965956 LA English T1 There's something about Gödel : the complete guide to the incompleteness theorem A1 Berto, Francesco., PB Wiley-Blackwell PP Malden, MA YR 2009 SN 9781405197663 1405197668 9781405197670 1405197676 AB There's Something About Gödel is a lucid and accessible guide to Gödel's revolutionary Incompleteness Theorem, considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem. Divided into two parts, the first section introduces the reader to the Incompleteness Theorem--the argument that all mathematical systems contain statements which are true, yet which cannot be proved within the system. Berto describes the historical context surrounding Gödel's accomplishment, explains step-by-step the key aspects of the Theorem, and explores the technical issues of incompleteness in formal logical systems. The second half, The World After Gödel, considers some of the most famous--and infamous--claims arising from Gödel's theorem in the areas of the philosophy of mathematics, metaphysics, the philosophy of mind, Artificial Intelligence, and even sociology and politics. This book requires only minimal knowledge of aspects of elementary logic, and is written in a user-friendly style that enables it to be read by those outside the academic field, as well as students of philosophy, logic, and computing.