Kurt Gödel citáty

Kurt Gödel foto
0   0

Kurt Gödel

Datum narození: 28. duben 1906
Datum úmrtí: 14. leden 1978

Reklama

Kurt Gödel byl matematik rakouského původu, který se stal jedním z nejvýznamnějších logiků všech dob. Významné jsou i jeho příspěvky ve fyzice a ve filozofii matematiky.

V roce 1930 publikoval větu o úplnosti predikátové logiky prvního řádu a v roce 1931 zásadní objev – dvě věty o neúplnosti axiomatických formálních systémů s aritmetikou. Prostřednictvím těchto vět ukázal, že není možné navrhnout soubor axiomů, které by byly dostačující pro zodpovězení každé otázky, kterou lze klást a formulovat uvnitř formálního systému s aritmetikou. Tyto věty ukončily více než padesátileté úsilí logiků a matematiků úplně formalizovat matematiku, ale ovlivnily i vědecké a filosofické myšlení druhé poloviny 20. a počátku 21. století.

Podobní autoři

Alan Turing foto
Alan Turing7
britský matematik, logik, cryptanalyst a počítačový vědec
Gottlob Frege foto
Gottlob Frege1
matematik, logik, filosof
Christian Doppler foto
Christian Doppler1
rakouský fyzik a matematik
Alfred North Whitehead foto
Alfred North Whitehead15
anglický matematik a filozof
Bertrand Russell foto
Bertrand Russell39
logik a jeden z prvních analytických filozofů
Georg Cantor foto
Georg Cantor1
matematik, autor teorie množin
Arnošt Kolman1
český akademik, filozof, matematik a politický spisovatel
Bernard Bolzano foto
Bernard Bolzano7
český filozof, matematik a římskokatolický duchovní
Karl Raimund Popper foto
Karl Raimund Popper9
rakouský filozof
Étienne Bonnot De Condillac foto
Étienne Bonnot De Condillac21
francouzský akademik

Citáty Kurt Gödel

Reklama

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

—  Kurt Gödel
As quoted in Topoi : The Categorial Analysis of Logic (1979) by Robert Goldblatt, p. 13

Reklama

„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
Proposition VI, On Formally Undecidable Propositions in Principia Mathematica and Related Systems I (1931); Informally, recursive systems of axioms cannot be complete.

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

—  Kurt Gödel
As quoted in A Logical Journey: From Gödel to Philosophy (1996) by Hao Wang<!-- The MIT Press -->

„But every error is due to extraneous factors (such as emotion and education); reason itself does not err.“

—  Kurt Gödel
Attributed as a remark of 29th November 1972, in Incompleteness (2005) by Rebecca Goldstein

Help us translate English quotes

Discover interesting quotes and translate them.

Translate quotes
Today's anniversary
Egon Lánský foto
Egon Lánský42
český místopředseda vlády ČR, senátor českého Parlamentu ... 1934 - 2013
Raymond Chandler foto
Raymond Chandler9
romanopisec, scénárista 1888 - 1959
Tomasi Giuseppe di Lampedusa foto
Tomasi Giuseppe di Lampedusa2
sicilský spisovatel a princ 1896 - 1957
Dalších 51 dnešních výročí
Podobní autoři
Alan Turing foto
Alan Turing7
britský matematik, logik, cryptanalyst a počítačový vědec
Gottlob Frege foto
Gottlob Frege1
matematik, logik, filosof
Christian Doppler foto
Christian Doppler1
rakouský fyzik a matematik
Alfred North Whitehead foto
Alfred North Whitehead15
anglický matematik a filozof
Bertrand Russell foto
Bertrand Russell39
logik a jeden z prvních analytických filozofů