Paul Bernays
Pour les articles homonymes, voir Bernays.
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.
Paul Bernays
Paul Bernays (à gauche)
| Naissance | |
|---|---|
| Décès | |
| Sépulture | |
| Nom dans la langue maternelle |
Paul Isaac Bernays |
| Nationalité | |
| Formation | |
| Activités | |
| Parentèle |
Isaak Bernays (arrière-arrière-grand-père) Jacob Bernays (grand-oncle) |
| A travaillé pour | |
|---|---|
| Membre de |
Académies royales des sciences et des arts de Belgique 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 |
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) |
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).
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.
Œuvres
[modifier | modifier le code]- Avec David Hilbert : Grundlagen der Mathematik I-II, Berlin, 1934/1939.
- Abhandlungen zur Philosophie der Mathematik., Darmstadt, 1976.
Notes et références
[modifier | modifier le code]Voir aussi
[modifier | modifier le code]Liens externes
[modifier | modifier le code]
- Archives conservées par :
- Archives de l'École polytechnique fédérale de Zurich (CH-001807-7:Hs 973, 3f63ac4df5a7420cb9e17f192a1c668d)
- Archives de l'École polytechnique fédérale de Zurich (CH-001807-7:Hs 974, 481d64b3b6e04a0196adf9b1072e4c41)
- Archives de l'École polytechnique fédérale de Zurich (CH-001807-7:Hs 975, fd9957a5064f465c935bdde17ba5c3c3)
- Archives de l'École polytechnique fédérale de Zurich (CH-001807-7:Hs 976, 6b94f4e5dd3441ea836756a0d84d4a73)
- Archives de l'École polytechnique fédérale de Zurich (CH-001807-7:Hs 976a, e028704545d144889e1321155c0bf4d0)
- Ressources relatives à la recherche :
- Ressource relative à la vie publique :
- Notices dans des dictionnaires ou encyclopédies généralistes :
- (en) John J. O'Connor et Edmund F. Robertson, « Paul Bernays », sur MacTutor, université de St Andrews.
- (de) « Publications de et sur Paul Bernays », dans le catalogue en ligne de la Bibliothèque nationale allemande (DNB).
Catégories :
- Mathématicien suisse du XXe siècle
- Logicien suisse
- Philosophe des mathématiques
- Personnalité liée au canton de Zurich
- Enseignant à l'École polytechnique fédérale de Zurich
- Personnalité en théorie de la démonstration
- Personnalité en logique mathématique
- Personnalité en théorie des ensembles
- Naissance à Londres au XIXe siècle
- Naissance en octobre 1888
- Décès à Zurich
- Décès en septembre 1977
- Décès à 88 ans