Kurt Gödel

think language people understand

“The more I think about language, the more it amazes me that people ever understand each other at all.”

― Kurt Gödel (1906-1978)

believe empirical science a priori truth

“I don't believe in empirical science. I only believe in a priori truth.”

― Kurt Gödel (1906-1978)

meaning world separation wish fact

“The meaning of world is the separation of wish and fact.”

― Kurt Gödel (1906-1978)

difference thing talking about

“There is a difference between a thing and talking about a thing.”

― Kurt Gödel (1906-1978)

mathematics big human mind machine

“Either mathematics is too big for the human mind or the human mind is more than a machine.”

― Kurt Gödel (1906-1978)

genralisation false except this

"All generalisations - perhaps except this one - are false."

― Kurt Gödel (1906-1978)

Islam consistent idea religion open-minded

"I like Islam, it is a consistent idea of religion and open-minded."

― Kurt Gödel (1906-1978)

believe natural science

"I don't believe in natural science."

― Kurt Gödel (1906-1978)

msthematis precision formalization axiom rule

“It is well known that the development of mathematics in the direction of greater precision has led to the formalization of extensive mathematical domains, in the sense that proofs can be carried out according to a few mechanical rules.... It is reasonable therefore to make the conjecture that these axioms and rules of inference are also sufficient to decide all mathematical questions, which can be formally expressed in the given systems. In what follows it will be shown that this is not the case.”

― Kurt Gödel (1906-1978)