Paul 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).

Pour les articles homonymes, voir Bernays.
Paul Bernays
Paul Bernays (à gauche)
Biographie
Naissance
Décès
(à 88 ans)
Zurich
Nationalité
Formation
Köllnisches Gymnasium (d)
Université Humboldt de Berlin (-)
Université de Göttingen (-)
Activités
Autres informations
A travaillé pour
Domaines
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
Ferdinand Georg Frobenius, Friedrich Schottky (en)
Directeur de thèse
Influencé par
Œuvres principales

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

  • Avec David Hilbert : Grundlagen der Mathematik I-II, Berlin, 1934/1939
  • Abhandlungen zur Philosophie der Mathematik., Darmstadt, 1976

Voir aussi

Liens externes

  • Portail des mathématiques
  • Portail du canton de Zurich
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.