...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the… — Kurt Gödel Copy Share
Either mathematics is too big for the human mind or the human mind is more than a machine. — Kurt Gödel Copy Share
The more I think about language, the more it amazes me that people ever understand each other at all. — Kurt Gödel Copy Share
The physical laws, in their observable consequences, have a finite limit of precision. — Kurt Gödel Copy Share
I am convinced of the afterlife, independent of theology. If the world is rationally constructed, there must be an afterlife — Kurt Gödel Copy Share
In any non-trivial axiomatic system, there are true theorems which cannot be proven. — Kurt Gödel Copy Share
The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one… — Kurt Gödel Copy Share
“Our total reality and total existence are beautiful and meaningful . . . . We should judge reality by the little which we truly… — Kurt Gödel Copy Share
