Kurt Gödel citations

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. Ces propositions sont qualifiées d'indécidables.

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

✵ 28. avril 1906 – 14. janvier 1978
Kurt Gödel photo
Kurt Gödel: 14   citations 0   J'aime

Kurt Gödel Citations

“Gödel est le plus grand logicien depuis Aristote.”

Citation de John von Neumann

Kurt Gödel: Citations en anglais

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

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

“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); Informally, recursive systems of axioms cannot be complete.

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

As quoted in A Logical Journey: From Gödel to Philosophy (1996) by Hao Wang

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

Attributed as a remark of 29th November 1972, in Incompleteness (2005) by Rebecca Goldstein

Auteurs similaires

Bertrand Russell photo
Bertrand Russell 20
mathématicien, logicien, philosophe, épistémologue, homme p…
Simone Weil photo
Simone Weil 77
philosophe française
Richard Bach photo
Richard Bach 8
écrivain américain
Kurt Vonnegut photo
Kurt Vonnegut 29
écrivain américain
Jack London photo
Jack London 12
écrivain américain
John Steinbeck photo
John Steinbeck 18
écrivain américain
Maya Angelou photo
Maya Angelou 4
poétesse, actrice et militante américaine
Richard Feynman photo
Richard Feynman 5
physicien américain
Jack Kerouac photo
Jack Kerouac 11
écrivain et poète américain
Ray Bradbury photo
Ray Bradbury 20
écrivain américain