Paul Bernays
mathématicien suisse / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Paul Bernays?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir Bernays.
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 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).
Cet article est une ébauche concernant un mathématicien suisse.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Naissance | |
---|---|
Décès | |
Sépulture | |
Nom dans la langue maternelle | |
Nationalité | |
Formation | |
Activités | |
Parentèle |
Isaak Bernays (en) (arrière-arrière-grand-père) Jacob Bernays (grand-oncle) |
A travaillé pour | |
---|---|
Membre de |
The Royal Academies for Science and the Arts of Belgium International Society for the History of Philosophy of Science (en) Académie norvégienne des sciences et des lettres Burschenschaft Germania Tübingen (d) |
Maîtres | |
Directeur de thèse | |
Influencé par | |
Archives conservées par |
Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 973)[1] Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 974)[2] Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 975)[3] Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 976)[4] Archives de l'École polytechnique fédérale de Zurich (en) (CH-001807-7:Hs 976a)[5] |
Paradoxe de Hilbert-Bernays (d), Théorie des ensembles de von Neumann–Bernays–Gödel, classe de Bernays-Schönfinkel, Hilbert–Bernays provability conditions (d) |
En 1926, 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 1945 à 1958, il est professeur à l'École polytechnique fédérale de Zurich.