Kurt Gödel
Proved incompleteness theorems transforming mathematical logic
Most quoted
"Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e., there are statements of the language of F which can neither be proved nor disproved in F."
— from On Formally Undecidable Propositions of Principia Mathematica and Related Systems, 1931
"Either mathematics is incompletable in this sense, that its evident axioms can never be exhausted by a finite number of formal rules, or else there exist mathematical problems which are undecidable in principle."
— from On Formally Undecidable Propositions of Principia Mathematica and Related Systems I, 1931
"The incompleteness theorems are a profound statement about the limits of formal systems and the indispensable role of human intuition and insight in mathematics."
— from On Formally Undecidable Propositions of Principia Mathematica and Related Systems I, 1931
All quotes by Kurt Gödel (527)
The world is a complex place.
I am very much interested in the problem of consciousness.
The universe is not a deterministic system.
I am convinced that there is a higher power.
I believe in the possibility of precognition.
The world is a mysterious place.
I am very much interested in the problem of artificial intelligence.
The universe is not a static system.
I am convinced that there is a universal truth.
The human mind is capable of creativity.
I believe in the possibility of reincarnation.
The world is an amazing place.
I am very much interested in the problem of the nature of reality.
I am convinced that there is a spiritual dimension to existence.
The human mind is capable of abstract thought.
I believe in the possibility of a cosmic consciousness.
The world is a wonderful place.
I am very much interested in the problem of the ultimate fate of the universe.
The universe is not a closed book.
I am convinced that there is a deeper meaning to everything.
Contemporaries of Kurt Gödel
Other Mathematicss born within 50 years of Kurt Gödel (1906–1978).