The New York Times > Arts > Connections: Truth, Incompleteness and the G�delian Way

Before Gödel's incompleteness theorem was published in 1931, it was believed that not only was everything proven by mathematics true, but also that within its conceptual universe everything true could be proven. Mathematics is thus complete: nothing true is beyond its reach. Gödel shattered that dream. He showed that there were true statements in certain mathematical systems that could not be proven. And he did this with astonishing sleight of hand, producing a mathematical assertion that was both true and unprovable. ...Read more at:

"Incompleteness: The Proof and Paradox of Kurt Gödel" review from NY Times
The New York Times > Arts > Connections: Truth, Incompleteness and the G�delian Way: "'Incompleteness: The Proof and Paradox of Kurt G�del'"