Friday, July 11, 2014

Papers on Godel

Kurt Godel and the Foundations of Mathematics ¨Horizons of Truth is available on line
via a post in Information Processing which has some excerpts including this from Paul Cohen (Who solved a problem which Godel could not):
"I can say my feeling was roughly this: How can someone thinking about logic in almost philosophical terms discover a result that had implications for Diophantine equations? ... I closed the book and tried to rediscover the proof, which I still feel is the best way to understand things. I totally capitulated. The Incompleteness Theorem was true, and Godel was far superior to me in understanding the nature of mathematics."

No comments: