11 quotes
Either mathematics is too big for the human mind, or the human mind is more than a machine.
Topoi : The Categorial Analysis of Logic (1979)
But every error is due to extraneous factors (such as emotion and education); reason itself does not err.
I like Islam, it is consistent [or consequential] idea of religion and open-minded.
The more I think about language, the more it amazes me that people ever understand each other at all.
I like Islam, it is a consistent idea of religion and open-minded.
A Logical Journey: From Gödel to Philosophy (1996)
Religions are, for the most part, bad-but religion is not.
A Logical Journey: From Gödel to Philosophy (1996)
There are other worlds and rational beings of a different and higher kind. The world in which we live is not the only one in which we shall live or have lived.
A Logical Journey: From Gödel to Philosophy (1996)
To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (κ) (where v is the free variable of r).
Ninety percent of [contemporary philosophers] see their principal task as that of beating religion out of men's heads. … We are far from being able to provide scientific basis for the theological world view.
Logical Dilemmas : The Life and Work of Kurt Gödel (1997)
The completeness theorem, mathematically, is indeed an almost trivial consequence of Skolem 1923a. However, the fact is that, at that time, nobody (including Skolem himself) drew this conclusion (neither from Skolem 1923a nor, as I did, from similar considerations of his own).
The meaning of the world is the separation of wish and fact. Wish is a force as applied to thinking beings, to realize something. A fulfilled wish is a union of wish and fact. The meaning of the whole world is the separation and the union of fact and wish.