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).
Proposition VI, On Formally Undecidable Propositions in Principia Mathematica and Related Systems I (1931)
I like Islam, it is a consistent idea of religion and open-minded.Kurt Gödel
Ninety percent of [contemporary philosophers] see their principle 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.Kurt Gödel
The formation in geological time of the human body by the laws of physics (or any other laws of similar nature), starting from a random distribution of elementary particles and the field is as unlikely as the separation of the atmosphere into its components. The complexity of the living things has to be present within the material [from which they are derived] or in the laws [governing their formation].Kurt Gödel
But every error is due to extraneous factors (such as emotion and education); reason itself does not err.Kurt Gödel