Skip to content

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).

— Kurt Gödel

Another quote →

More quotes by Kurt Gödel

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)

All Kurt Gödel quotes →

Attribution

Quote text and notes from Wikiquote: Kurt Gödel (page history), available under CC BY-SA 4.0. Source quality and labels are our own summary of what Wikiquote records.