...a consistency proof for [any] system ... can be carried out only by means of modes of inference that are not formalized in the system ... itself.
Either mathematics is too big for the human mind or the human mind is more than a machine. - Kurt Gödel
Either mathematics is too big for the human mind or the human mind is more than a machine.
- Kurt Gödel
The meaning of world is the separation of wish and fact. - Kurt Gödel
The meaning of world is the separation of wish and fact.
I am convinced of the afterlife, independent of theology. If the world is rationally constructed, there must be an afterlife - Kurt Gödel
I am convinced of the afterlife, independent of theology. If the world is rationally constructed, there must be an afterlife
I don't believe in natural science. - Kurt Gödel
I don't believe in natural science.
I like Islam, it is a consistent idea of religion and open-minded. - Kurt Gödel
I like Islam, it is a consistent idea of religion and open-minded.
I don't believe in empirical science. I only believe in a priori truth. - Kurt Gödel
I don't believe in empirical science. I only believe in a priori truth.
Said to physicist John Bahcall. I don't believe in natural science. - Kurt Gödel
Said to physicist John Bahcall. I don't believe in natural science.
The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove… - Kurt Gödel
The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove…
All generalizations, with the possible exception of this one, are false. - Kurt Gödel
All generalizations, with the possible exception of this one, are false.
Login to join the discussion
Login to join the discussion