Paul Bernays

Paul Bernays, né le 17 octobre 1888 à Londres et mort le 18 septembre 1977 à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au XX^e 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.

Naissance

17 octobre 1888
Londres

Décès

18 septembre 1977 (à 88 ans)
Zurich

Sépulture

Crémation

Nom dans la langue maternelle

Paul Isaac Bernays

Faits en bref Naissance, Décès ...

Paul Bernays

Paul Bernays (à gauche)

Biographie

Naissance	17 octobre 1888 Londres
Décès	18 septembre 1977 (à 88 ans) Zurich
Sépulture	Crémation
Nom dans la langue maternelle	Paul Isaac Bernays
Nationalité	suisse
Formation	Lycée de Cölln (1895-1907) Université Humboldt de Berlin (1907-1910) Université de Göttingen (1910-1912)
Activités	Mathématicien, philosophe
Parentèle	Isaak Bernays (arrière-arrière-grand-père) Jacob Bernays (grand-oncle)

Autres informations

A travaillé pour	École polytechnique fédérale de Zurich (1934-1959) Université de Göttingen (1922-1933) Université de Zurich (1912-1917)
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	Ferdinand Georg Frobenius, Friedrich Schottky
Directeur de thèse	Edmund Landau
Influencé par	Issaï Chour

Œuvres principales

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)

modifier - modifier le code - modifier Wikidata

Fermer

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.