- Paul Bernays
-
Paul Bernays (à gauche)
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.
Il est le co-directeur de thèse (avec Ferdinand Gonseth) de Julius Richard Büchi.
De 1945 à 1958, il est professeur à l'École polytechnique fédérale de Zurich.
Œuvres
- Avec David Hilbert : Grundlagen der Mathematik I-II, Berlin, 1934/1939
- Abhandlungen zur Philosophie der Mathematik., Darmstadt, 1976
Liens externes
- (en) John J. O’Connor et Edmund F. Robertson, « Paul Bernays », dans MacTutor History of Mathematics archive, université de St Andrews [lire en ligne].
- (de) Publications de et sur Paul Bernays dans le catalogue en ligne de la Bibliothèque nationale allemande (DNB)
Catégories :- Naissance en 1888
- Naissance à Londres
- Décès en 1977
- Mathématicien suisse
- Personnalité zurichoise
- Enseignant à l'École polytechnique fédérale de Zurich
- Théorie de la démonstration
Wikimedia Foundation. 2010.
