Goedel's Way: Exploits into an undecidable world

by Gregory Chaitin, Francisco Doria, Newton C.A. da Costa

Kurt Godel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein‘s general relativity, as he proved that Einstein‘s theory allows for time machines. The Godel incompleteness theorem - 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 and on the da Costa-Doria results in physics, ecology, economics and computer science, the authors show that the Godel 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 Godel 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 character and on this book‘s writing process, make it appealing leisure reading for those interested in mathematics, logic, physics, philosophy and computer sciences.
See

Genres: Mathematics

160 pages, Hardcover

First published October 13, 2011

About the author

Gregory Chaitin is widely known for his work on metamathematics and for his discovery of the celebrated Omega number, which proved the fundamental unknowability of math. He is the author of many books on mathematics, including Meta Math! The Quest for Omega. Proving Darwin is his first book on biology. Chaitin was for many years at the IBM Watson Research Center in New York. The research described in this book was carried out at the Federal University of Rio de Janeiro in Brazil, where Chaitin is now a professor. An Argentine-American, he is an honorary professor at the University of Buenos Aires and has an honorary doctorate from the National University of Cordoba, the oldest university in Argentina.