There's Something About Gödel: The Complete Guide to the Incompleteness Theorem - Tapa blanda

Acerca del autor

Francesco Berto teaches logic, ontology, and philosophy of mathematics at the universities of Aberdeen in Scotland, and Venice and Milan-San Raffaele in Italy. He holds a Chaire d'Excellence fellowship at CNRS in Paris, where he has taught ontology at the École Normale Supérieure, and he is a visiting professor at the Institut Wiener Kreis of the University of Vienna. He has written papers for American Philosophical Quarterly, Dialectica, The Philosophical Quarterly, the Australasian Journal of Philosophy, the European Journal of Philosophy, Philosophia Mathematica, Logique et Analyse, and Metaphysica, and runs the entries “Dialetheism” and “Impossible Worlds” in the Stanford Encyclopedia of Philosophy. His book How to Sell a Contradiction has won the 2007 Castiglioncello prize for the best philosophical book by a young philosopher.

De la contraportada

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.