"Satz VI: Zu jeder ω-widerspruchsfreien rekursiven Klasse κ von FORMELN gibt es rekursive KLASSENZEICHEN r, so daß weder v Gen r noch Neg (v Gen r) zu Flg (κ) gehört (wobei v die FREIE VARIABLE aus r ist)."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: German
Available Languages (1)
Sources
p. 172 books.google
https://de.wikiquote.org/wiki/Kurt_G%C3%B6del
Revision History
No revisions have been submitted for this quote.
Categories
Kurt Gödel
26 quotes on TrueQuotesView all quotes by Kurt Gödel →
Related Quotes
"Religions are, for the most part, bad-but religion is not."
"Gödel published comparatively little, but almost always to maximum effect; his papers are models of precision and inc…"
"To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that n…"
"The completeness theorem, mathematically, is indeed an almost trivial consequence of Skolem 1923a. However, the fact …"
"But every error is due to extraneous factors (such as emotion and education); reason itself does not err."
"Either mathematics is too big for the human mind, or the human mind is more than a machine."
"The formation in geological time of the human body by the laws of physics (or any other laws of similar nature), star…"
"I like Islam, it is a consistent idea of religion and open-minded."
"There are other worlds and rational beings of a different and higher kind. The world in which we live is not the only…"
"Ninety percent of [contemporary philosophers] see their principal task as that of beating religion out of men's heads…"