Gödel’s way. Exploits into an undecidable world. (English) Zbl 1230.00014
Boca Raton, FL: CRC Press (ISBN 978-0-415-69085-0/pbk; 978-0-203-16957-5/ebook). xxi, 138 p. (2012).
The Gödel incompleteness phenomenon – the usual formal mathematical systems cannot prove nor disprove all true mathematical sentences – is frequently presented in textbooks as something that happens in the rarefied realms of mathematical logic and that has nothing to do with the real world. Practice shows the contrary, though: one can demonstrate the validity of the phenomenon in various areas, ranging from chaos theory and physics to economics, and even ecology. In this lively treatise, based on Chaitin’s groundbreaking work on the da Costa-Doria results in physics, ecology, economics and computer science, the authors show that Gödel’s incompleteness phenomenon can directly bear on the practice of science and perhaps on our everyday life.
This accessible book gives a new, detailed and elementary explanation of the Gödel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities. Besides theory, the historical report and personal stories about the main chapter and on this book’s writing process make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer science.
This accessible book gives a new, detailed and elementary explanation of the Gödel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no technicalities. Besides theory, the historical report and personal stories about the main chapter and on this book’s writing process make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer science.
Reviewer: Florentina Chirteş (Craiova)
MSC:
00A09 | Popularization of mathematics |
00A30 | Philosophy of mathematics |
03A05 | Philosophical and critical aspects of logic and foundations |
97E20 | Philosophy and mathematics (educational aspects) |
97E30 | Logic (educational aspects) |