Kurt Gödel Quotes
- The development of mathematics toward greater precision has led, as is well known, to the formalization of large tracts of it, so that one can…
- I am convinced of the afterlife, independent of theology. If the world is rationally constructed, there must be an afterlife
- Either mathematics is too big for the human mind or the human mind is more than a machine.
- In any non-trivial axiomatic system, there are true theorems which cannot be proven.
- Said to physicist John Bahcall. I don't believe in natural science.
- ...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system…
- I don't believe in natural science.
- I don't believe in empirical science. I only believe in a priori truth.
- The more I think about language, the more it amazes me that people ever understand each other at all.
- The meaning of world is the separation of wish and fact.