Biographical information about Kurt Godel, and information about his contributions to mathematics.

G del's Incompleteness Theorem This theorem is one of the most important proven in this century, ranking with Einstein's Theory of Relativity and Heisenberg's Uncertainty Principle. However, very few people know about it. The excerpts below should, I hope, help explain it. A related page with some interesting links is Mrten Steinius' GEB Page. You can also look at The Kurt G del Society. G del's ...

Damjan Bojadziev Mind Versus G del in M. Gams, M. Paprzycki and X. Wu (eds.), Mind Versus Computer, IOS Press 1997, pp. 202-210 Expanded HTML version, with added links, derived from G del's theorems for minds and computers, published in the special issue of Informatica, vol. 19, no. 4, Nov. 1995, pp. 627-34, MIND not equal COMPUTER Formal self-reference in G del's theorems has various features ...

Essay on the philosophical implications of problems in the foundations of mathematics, by the author of the famous Godel's theorem ...

This essay originally appeared in the Ellsworth American, August 27, 1992, Section I, p. 2.Copyright 1992, Peter Suber. This is a brief account of Kurt G del's trip to Blue Hill, Maine, in the summer of 1942, written for the audience that knows Blue Hill better than G del. (The Ellsworth American is the newspaper serving the Blue Hill area.) For this HTML version I restore the footnotes, which ...

Biography of Kurt Godel.

Godel's Incompleteness Theorem Zillion's Philosophy Pages First let me try to state in clear terms exactly what he proved, since some of us may have sort of a fuzzy idea of his proof, or have heard it from someone with a fuzzy idea of the proof.. The proof begins with Godel defining a simple symbolic system. He has the concept of a variables, the concept of a statement, and the format of a proof ...

Information about Godel's Theorem.

Portraits of Kurt Godel ...