Kurt Gödel citations

Kurt Gödel photo
2  0

Kurt Gödel

Date de naissance: 28. avril 1906
Date de décès: 14. janvier 1978

Publicité

Kurt Gödel, né le 28 avril 1906 à Brno et mort le 14 janvier 1978 à Princeton , est un logicien et mathématicien autrichien naturalisé américain.

Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Cette proposition est qualifiée d'indécidable.

L'incomplétude et la cohérence ne peuvent pas être démontrées à l'intérieur du système.

Gödel a également démontré la complétude du calcul des prédicats du premier ordre. Il a aussi démontré la cohérence relative de l'hypothèse du continu, montrant qu'elle ne peut pas être réfutée à partir des axiomes admis de la théorie des ensembles, en admettant que ces axiomes soient cohérents. Il est aussi à l'origine de la théorie des fonctions récursives.

Il publie ses résultats les plus importants en 1931 à l'âge de 25 ans, alors qu'il travaille encore pour l'université de Vienne .

Auteurs similaires

Edwin Salpeter
astronome américain
Hermann Bondi
mathématicien et cosmologiste britannique
Isidor Isaac Rabi photo
Isidor Isaac Rabi
physicien américain
Leo Slezak photo
Leo Slezak
acteur autrichien
Richard Courant photo
Richard Courant
mathématicien allemand
Olivier Todd
écrivain et journaliste français
Melanie Klein photo
Melanie Klein
psychanalyste britannique

Citations Kurt Gödel

Publicité
Publicité

„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

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

Publicité

„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

Anniversaires aujourd'hui
Jan de Hartog photo
Jan de Hartog
romancier néerlandais 1914 - 2002
Colin Tudge
écrivain britannique 1943
Emilio Gino Segrè photo
Emilio Gino Segrè
physicien italien 1905 - 1989
Karl Hess photo
Karl Hess
journaliste américain 1923 - 1994
Un autre 69 ans aujourd'hui
Auteurs similaires
Edwin Salpeter
astronome américain
Hermann Bondi
mathématicien et cosmologiste britannique