Gödel, Kurt - mathématiques.

Gödel, Kurt - mathématiques. Gödel, Kurt (1906-1978), logicien né en Autriche, connu principalement pour ses recherches en philosophie et en mathématiques. Il est né à Brünn, dans l'empire austro-hongrois (l'actuelle Brno, République tchèque). Il fit ses études à l'université de Vienne et y enseigna de 1933 à 1938. Il émigra aux États-Unis en 1940 et devint ressortissant américain en 1948. Gödel fut nommé professeur de mathématiques à l'université de Princeton, New Jersey, en 1953. Gödel devint célèbre à la suite de la publication d'un article, en 1931, où il exposait deux théorèmes célèbres, dits théorèmes de Gödel. Il y développait le postulat selon lequel il est possible, pour tout système symbolique formel, de construire une proposition qui ne peut être ni prouvée ni réfutée, dans le cadre du même système. Gödel a également écrit La Cohérence de l'hypothèse du continuum (The Consistency of the Continuum Hypothesis) (1940) et Univers rotatifs dans la théorie de la relativité (Rotating Universes in General Relativity Theory) (1950). Voir aussi Hilbert, David. Microsoft ® Encarta ® 2009. © 1993-2008 Microsoft Corporation. Tous droits réservés.