GÖDEL KURT (1906-1978)

Carte mentale

Élargissez votre recherche dans Universalis

Issue de la pensée de Boole, de Cantor et de Frege au cours de la seconde moitié du xixe siècle, la logique mathématique connaît ses premiers développements grâce à Hilbert et à Russell et Whitehead (premier quart du xxe siècle). Mais c'est à Kurt Gödel plus qu'à tout autre qu'elle doit de prendre rang, en l'espace d'une décennie (les années trente), parmi les sciences mathématiques modernes. Gödel n'a pas seulement résolu certains des principaux problèmes soulevés par la logique mathématique à ses débuts, jetant ainsi sur l'ensemble des mathématiques une lumière toute nouvelle ; il a également fourni à sa discipline un corpus de concepts, de méthodes et de résultats dont elle tire à ce jour une bonne part de sa substance.

Mathématiques et philosophie

Gödel est né à Brno, l'ancienne capitale de la Moravie (alors rattachée, sous le nom de Brünn, à l'Autriche-Hongrie), le 28 avril 1906. Sa famille, de langue allemande, possédait une petite usine de textile.

La scolarité de Gödel à Brno fut marquée par l'intérêt qu'il portait aux mathématiques, mais plus encore à la physique et à la philosophie. D'abord inscrit en physique à l'université de Vienne (1924), il suivit les cours de Furtwängler en théorie des nombres, et passa bientôt en mathématiques (1926). À la même époque, il commença à fréquenter le cénacle philosophique constitué autour de Moritz Schlick, qui allait connaître la célébrité sous le nom de cercle de Vienne. Gödel n'était cependant qu'un participant occasionnel, et il ne fit jamais complètement sienne la doctrine du groupe, le positivisme logique, dont il allait au contraire, à la maturité, s'éloigner définitivement.

En 1929, Gödel établit la complétude du calcul des prédicats, résultat qui lui valut le doctorat en 1930. La même année, il obtenai [...]

1 2 3 4 5

pour nos abonnés,
l’article se compose de 4 pages




Écrit par :

  • : professeur de philosophie à l'université de Paris-IV-Sorbonne, ancien directeur du département d'études cognitives, École normale supérieure

Classification


Autres références

«  GÖDEL KURT (1906-1978)  » est également traité dans :

GÖDEL : THÉORÈMES D'INCOMPLÉTUDE

  • Écrit par 
  • Bernard PIRE
  •  • 173 mots

Deux ans après avoir soutenu sa thèse de doctorat à l'université de Vienne, le jeune mathématicien autrichien Kurt Gödel (1906-1978) prouve que, dans tout système mathématique axiomatique, il existe des propositions do […] Lire la suite☛ http://www.universalis.fr/encyclopedie/godel-theoremes-d-incompletude/#i_6

CANTOR GEORG (1845-1918)

  • Écrit par 
  • Hourya BENIS-SINACEUR
  •  • 2 887 mots
  •  • 1 média

Dans le chapitre « Cantor et Dedekind, une relation déterminante »  : […] Une fonction périodique d’une variable réelle s’écrit-elle de manière unique comme série convergente de fonctions trigonométriques ? Heinrich Eduard Heine (1821-1881), collègue de Cantor à Halle, pose cette question. Cantor la résout affirmativement pour le cas des fonctions continues dans son mémoire « Sur l’extension d’un théorème de la théorie […] Lire la suite☛ http://www.universalis.fr/encyclopedie/georg-cantor/#i_6

CONTINU HYPOTHÈSE DU

  • Écrit par 
  • Patrick DEHORNOY
  •  • 2 247 mots

Dans le chapitre « Une affaire terminée ? »  : […] Cantor a fondé la théorie des ensembles à la fin du xix e  siècle en montrant qu'il existe plus de nombres réels que d'entiers, et donc des infinis de tailles différentes. Le problème du continu est la question : toute partie infinie de ℝ est-elle en bijection avec ℕ ou ℝ ? Même si l'intuition suggère que ℕ est beaucoup plus petit que ℝ, il est d […] Lire la suite☛ http://www.universalis.fr/encyclopedie/hypothese-du-continu/#i_6

DÉMONSTRATION THÉORIE DE LA

  • Écrit par 
  • Jean-Yves GIRARD
  •  • 6 260 mots
  •  • 1 média

Dans le chapitre « L'ordinal ε0 et la ω-logique »  : […] À plusieurs reprises dans les années trente, Gentzen allait donner des démonstrations de cohérence pour l' arithmétique de Peano AP . Pour obtenir de tels résultats, il était nécessaire, par le second théorème d'incomplétude, de se servir de méthodes extérieures à l'arithmétique. Gentzen utilisa comme méthode l' induction transfinie jusqu'à ε 0 , o […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-de-la-demonstration/

FINITISME ET ULTRAFINITISME, mathématique

  • Écrit par 
  • Jacques-Paul DUBUCS
  •  • 1 490 mots

Dans le chapitre « Le finitisme de Hilbert et son élargissement par Gödel »  : […] Selon Hilbert, les paradoxes auxquels a donné lieu la théorie cantorienne des ensembles proviennent principalement du fait que l'on a utilisé inconsidérément dans le domaine des mathématiques „abstraites“ ou „infinitaires“ des arguments et des modes d'inférence qui sont indiscutablement valides dans le domaine fini, mais dont l'extension ailleurs p […] Lire la suite☛ http://www.universalis.fr/encyclopedie/finitisme-et-ultrafinitisme-mathematique/

FORMALISME

  • Écrit par 
  • Étienne BALIBAR, 
  • Pierre MACHEREY
  •  • 5 002 mots
  •  • 1 média

Dans le chapitre « Logique et mathématique »  : […] Cela ne signifie pas qu'il n'y ait aucun moyen de distinguer rigoureusement entre axiomes « logiques » et axiomes « mathématiques ». Cette distinction est une question d'interprétation du système formel, c'est-à-dire de construction d'un modèle, ensemble d'objets mathématiques qui peuvent être mis en correspondance avec les symboles et les formules […] Lire la suite☛ http://www.universalis.fr/encyclopedie/formalisme/#i_6

HILBERT DAVID (1862-1943)

  • Écrit par 
  • Rüdiger INHETVEEN, 
  • Jean-Michel KANTOR, 
  • Christian THIEL
  •  • 14 855 mots
  •  • 1 média

Dans le chapitre « Problème 1 : hypothèse du continu »  : […] Cantor ayant démontré que le cardinal de l'ensemble des réels R excède celui de l'ensemble des entiers N , la question se pose de savoir si entre ℵ 0 (cardinal de N ) et 2 ℵ 0 (cardinal de R , dont on voit facilement qu'il égale celui de l'ensemble des parties de N ) il existe un cardinal intermédiaire. Autrement dit, est-il possible qu'un sous- […] Lire la suite☛ http://www.universalis.fr/encyclopedie/david-hilbert/#i_6

MATHÉMATIQUES FONDEMENTS DES

  • Écrit par 
  • Jean Toussaint DESANTI
  •  • 10 437 mots
  •  • 1 média

Dans le chapitre « L'axiome du choix »  : […] L'axiome VI, axiome du choix, demande examen. Cette proposition (que Russell et Whitehead énoncent d'une manière équivalente, dans les Principia , sous le nom d'axiome multiplicatif : Le produit cartésien d'une classe d'ensembles non vides est non vide) pose l'existence d'un ensemble, mais ne précise pas les moyens de le construire. Elle joue cepen […] Lire la suite☛ http://www.universalis.fr/encyclopedie/fondements-des-mathematiques/#i_6

MODALITÉS, logique

  • Écrit par 
  • Pascal ENGEL
  •  • 7 599 mots
  •  • 1 média

Dans le chapitre « Les logiques modales contemporaines »  : […] Les fondateurs de la logique contemporaine, au début du xx e  siècle – Frege, Russell et leurs successeurs –, ignorèrent la logique modale parce qu'ils entendaient limiter le domaine de la logique à la logique extensionnelle. Le renouveau de la logique modale au xx e  siècle vint de l'application à l'étude des notions de nécessité et de possibilité […] Lire la suite☛ http://www.universalis.fr/encyclopedie/modalites-logique/#i_6

QUASI-EMPIRISME, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE
  •  • 1 239 mots

Dans le chapitre « Aspects expérimentaux de l'activité mathématique »  : […] Prenant le contre-pied de l'idée que les mathématiciens n'ont pas à se confronter aux faits empiriques, plusieurs philosophes et mathématiciens ont insisté sur les aspects expérimentaux et inductifs de l'activité mathématique et sur certaines similitudes entre le travail du physicien et celui du mathématicien. Ce point de vue sur les mathématiques […] Lire la suite☛ http://www.universalis.fr/encyclopedie/quasi-empirisme-mathematique/#i_6

RÉALISME, mathématique

  • Écrit par 
  • Hourya BENIS-SINACEUR
  •  • 2 164 mots

Dans le chapitre « La réalité idéelle des concepts »  : […] La réalité immanente des totalités infinies en acte pose leur existence dans un monde séparé d'objets, qui ne sont pas obtenus par abstraction et idéalisation à partir des objets du monde sensible, encore qu'il arrive qu'un réaliste admette simultanément une genèse empirique des objets mathématiques, au moins des objets primitifs : les figures géo […] Lire la suite☛ http://www.universalis.fr/encyclopedie/realisme-mathematique/#i_6

RÉCURSIVITÉ, logique mathématique

  • Écrit par 
  • Kenneth Mc ALOON, 
  • Bernard JAULIN, 
  • Jean-Pierre RESSAYRE
  •  • 9 371 mots

Dans le chapitre « Définition logique »  : […] La définition arithmétique des fonctions récursives conduit à la définition logique. Soit L le langage de l'arithmétique, dont les symboles non logiques sont + pour désigner l'addition des entiers, × pour la multiplication, ≤ pour l'ordre, = pour l'égalité ; on ajoute, pour chaque entier n un symbole de constante n . Appelons formule de type Σ un […] Lire la suite☛ http://www.universalis.fr/encyclopedie/recursivite-logique-mathematique/#i_6

Voir aussi

Pour citer l’article

Daniel ANDLER, « GÖDEL KURT - (1906-1978) », Encyclopædia Universalis [en ligne], consulté le 18 février 2019. URL : http://www.universalis.fr/encyclopedie/kurt-godel/