Paul Bernays, né le à Londres et mort le à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au . 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 , il suggère à Albert Einstein et Marcel Grossmann d'utiliser le calcul des variations dans la formulation de leur (« esquisse ») d'une théorie relativiste de la gravitation.
En , il montre le théorème de complétude du calcul des propositions.
Il est le codirecteur de thèse (avec Ferdinand Gonseth) de Julius Richard Büchi.
De à , 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.
Notes et références
Voir aussi
Bibliographie . . . . . .
Articles connexes Classe de Bernays-Schönfinkel
Liens externes
Catégorie:Mathématicien suisse du XXe siècle Catégorie:Logicien suisse Catégorie:Philosophe des mathématiques Catégorie:Personnalité liée au canton de Zurich Catégorie:Enseignant à l'École polytechnique fédérale de Zurich Catégorie:Personnalité en théorie de la démonstration Catégorie:Personnalité en logique mathématique Catégorie:Personnalité en théorie des ensembles Catégorie:Naissance à Londres au XIXe siècle Catégorie:Naissance en octobre 1888 Catégorie:Décès à Zurich Catégorie:Décès en septembre 1977 Catégorie:Décès à 88 ans