Le thème de Paul Bernays a suscité l’intérêt de nombreuses personnes au fil des ans. Avec sa diversité d’approches et son impact sur différents aspects de la vie, Paul Bernays s’est avéré être un sujet de débat et de réflexion dans divers domaines. De son influence sur la culture populaire à sa pertinence dans la société contemporaine, Paul Bernays a laissé une marque indélébile dans l'imaginaire collectif. Dans cet article, nous explorerons diverses facettes de Paul Bernays et son importance dans le monde d'aujourd'hui, offrant une vue complète pour mieux comprendre sa présence et ses implications.
Naissance | |
---|---|
Décès | |
Sépulture | |
Nom dans la langue maternelle |
Paul Isaac Bernays |
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) |
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.