Kurt Gödel citations

Kurt Gödel foto
3  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 .

Citations Kurt Gödel

Publicité
Publicité
Anniversaires aujourd'hui
Joseph-Marie Lo Duca8
écrivain et critique de cinéma franco-italien 1910 - 2004
Jonah Lomu foto
Jonah Lomu1
joueur néo-zélandais de rugby à XV 1975 - 2015
Paul Éluard foto
Paul Éluard32
poète français 1895 - 1952
Un autre 7 ans aujourd'hui
Auteurs similaires
Benoît Mandelbrot foto
Benoît Mandelbrot33
mathématicien franco-américano-polonais
Hourya Sinaceur1
philosophe et mathématicienne marocaine
Edward Lorenz1
mathématicien américain
Laurent Lafforgue foto
Laurent Lafforgue7
mathématicien français
Andrew Hodges1
mathématicien et physicien britannique
Richard Nikolaus de Coudenhove-Kalergi foto
Richard Nikolaus de Coudenhove-Kalergi1
personnalité politique autrichienne
Gilles Châtelet1
mathématicien et philosophe français