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

Gottlob Frege foto
Gottlob Frege1
matematik, logik, filosof
Alan Turing foto
Alan Turing6
britský matematik, logik, cryptanalyst a počítačový vědec
Christian Doppler foto
Christian Doppler1
rakouský fyzik a matematik
Alfred North Whitehead foto
Alfred North Whitehead16
anglický matematik a filozof
Bertrand Russell foto
Bertrand Russell41
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
Lewis Carroll foto
Lewis Carroll11
anglický spisovatel, matematik, logik, anglikánský jáhen ...

Citáty Kurt Gödel

Reklama

„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

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

„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

Today's anniversary
Barbra Streisand foto
Barbra Streisand5
americká zpěvačka, herečka, spisovatelka, filmová produce... 1942
Ernst Zündel foto
Ernst Zündel1
německý neonacista 1939
Jaromír John foto
Jaromír John38
český novinář, romanopisec, spisovatel a vědecký spisovatel 1882 - 1952
Daniel Defoe foto
Daniel Defoe2
anglický obchodník, spisovatel a novinář 1660 - 1731
Dalších 60 dnešních výročí
Podobní autoři
Gottlob Frege foto
Gottlob Frege1
matematik, logik, filosof
Alan Turing foto
Alan Turing6
britský matematik, logik, cryptanalyst a počítačový vědec
Christian Doppler foto
Christian Doppler1
rakouský fyzik a matematik
Alfred North Whitehead foto
Alfred North Whitehead16
anglický matematik a filozof
Bertrand Russell foto
Bertrand Russell41
logik a jeden z prvních analytických filozofů