Paul Bernays

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Paul Bernays né le 17 octobre 1888 à Londres et mort le 18 septembre 1977 à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au XXe siècle. Il est longtemps l'assistant et le collaborateur de David Hilbert. Son nom est lié à la théorie des ensembles de von Neumann-Bernays-Gödel (dite NBG).

En 1926, il montre le théorème de complétude du calcul des propositions.

De 1945 à 1958, il est professeur à l'ETH de Zurich.

[modifier] Œuvres

  • Avec David Hilbert : Grundlagen der Mathematik I-II, Berlin, 1934/1939
  • Abhandlungen zur Philosophie der Mathematik., Darmstadt, 1976

[modifier] Liens externes