Paul Bernays

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, professeur d'université
Parentèle	Isaak Bernays (arrière-arrière-grand-père); Jacob Bernays (grand-oncle)
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
	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)

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

En 1914, il suggère à Albert Einstein et Marcel Grossmann d'utiliser le calcul des variations dans la formulation de leur Entwurf (« esquisse ») d'une théorie relativiste de la gravitation^[1]^,^[2]^,^[3]^,^[4]^,^[5]^,^[6].

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.

Notes et références

↑ Corry 2004, p. 295-296.
↑ Gutfreund et Renn 2015, s.v. Bernays, Paul (1888-1977), p. 165.
↑ Janssen et Renn 2022, sec. 4.2, p. 33.
↑ Kichenassamy 1993, sec. 4, § 4.1, p. 194.
↑ Renn 2005, p. 47.
↑ Sauer 2025, sec. 2, p. 678.

Voir aussi

Bibliographie

[Corry 2004] (en) Leo Corry, David Hilbert and the axiomatization of physics (1898-1918) : from Grundlagen der Geometrie to Grundlagen der Physik, Dordrecht, Kluwer Academic, coll. « Archimedes : new studies in the history and philosophy of science and technology » (n^o 10), nov. 2004 (réimpr. nov. 2010), 1^re éd., XVII-513 p., 15,6 × 23,4 cm (ISBN 978-1-4020-2777-2 et 978-90-481-6719-7, EAN 9781402027772, OCLC 493235760, BNF 39250124, DOI 10.1007/978-1-4020-2778-9 , S2CID 116974331, SUDOC 094246963, présentation en ligne, lire en ligne), chap. 6 (« Einstein and Mie : two pillars of Hilbert's unified theory »), p. 287-316.
[Gutfreund et Renn 2015] (en) Hanoch Gutfreund et Jürgen Renn (av.-prop. John Stachel), The Road to relativity : the history and meaning of Einstein's the Foundation of general relativity : featuring the original manuscript of Einstein's masterpiece, Princeton et Oxford, PUP, hors coll. (et coll. « Princeton scholarship online »), juin 2015 (réimpr. mai 2017), 1^re éd., XVIII-237 p., 21,6 × 26,7 cm (ISBN 978-0-691-16253-9 et 978-0-691-17581-2, EAN 9780691162539, OCLC 1555151003, DOI 10.23943/princeton/9780691175812.001.0001 , JSTOR j.ctt1vwmgv8, Bibcode 2015rrhm.book.....G, S2CID 124124168, SUDOC 188969632, présentation en ligne, lire en ligne).
[Janssen et Renn 2022] (en) Michel Janssen et Jürgen Renn, How Einstein found his field equations : sources and interpretation, Cham, Birkhäuser, coll. « Classic texts in the sciences », juill. 2022 (réimpr. juill. 2023), 1^re éd., XV-357 p., 17 × 24,4 cm (ISBN 978-3-030-97954-6 et 978-3-030-97957-7, EAN 9783030979546, OCLC 1295380829, BNF 47302999, DOI 10.1007/978-3-030-97955-3 , S2CID 251183186, SUDOC 263899551, présentation en ligne, lire en ligne), I^re partie (« Essay »), chap. 4 (« Consolidating the Entwurf theory »), p. 29-38.
[Kichenassamy 1993] (en) Satyanad Kichenassamy, « Variational derivations of Einstein's equations », dans John Earman, Michel Janssen et John D. Norton (éd. et préf.), The Attraction of gravitation : new studies in the history of general relativity, Boston, Bâle et Berlin, Birkhäuser, coll. « Einstein studies » (n^o 5), déc. 1993, 1^re éd., X-432 p., 16,5 × 24,8 cm (ISBN 0-8176-3624-2 et 3-7643-3624-2, EAN 9780817636241, ISSN 2381-5833, OCLC 468313142, BNF 37536464, Bibcode 1993agns.book.....E, S2CID 118258762, SUDOC 017407214, présentation en ligne, lire en ligne), III^e partie (« Variational principles in general relativity »), chap. III.1, p. 185-205.
[Renn 2005] (en) Jürgen Renn, « Standing on the shoulders of a dwarf : general relativity – a triumph of Einstein and Grossmann's erroneous Entwurf theory », dans Anne J. Kox et Jean Eisenstaedt (éd. et préf.), The Universe of general relativity, Boston, Bâle et Berlin, Birkhäuser, coll. « Einstein studies » (n^o 11), nov. 2005, 1^re éd., X-383 p., 15,9 × 21,7 cm (ISBN 978-0-8176-4380-5, EAN 9780817643805, ISSN 2381-5833, OCLC 492556248, BNF 40033425, DOI 10.1007/0-8176-4454-7 , Bibcode 2005ugr..book.....K, S2CID 118853135, SUDOC 098979418, présentation en ligne, lire en ligne), chap. 3, p. 39-51.
[Sauer 2025] (en) Tilman Sauer, « « Before everything was completely clear, we had a few arguments. » – Emmy Noether, David Hilbert and Felix Klein », La Matematica, vol. 4, n^o 3,‎ sept. 2025, art. n^o 6, p. 674-701 (OCLC 10944834741, DOI 10.1007/s44007-025-00166-w , S2CID 280789589, lire en ligne [PDF]).

Articles connexes

Classe de Bernays-Schönfinkel

Liens externes

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 :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
Ressource relative à la vie publique :
- Base de données des élites suisses
Notices dans des dictionnaires ou encyclopédies généralistes :
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- Japon
- CiNii
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Catalogne
- Suède
- Australie
- Norvège
- Tchéquie
(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).

[Corry2004295-296-1] Corry 2004, p. 295-296.

[GutfreundRenn2015165''<abbr_class="abbr_"_title="sub_verbo_(«_à_l'article_»)"_>s.v.</abbr>''_Bernays,_Paul_(<time>1888</time>-<time>1977</time>)-2] Gutfreund et Renn 2015, s.v. Bernays, Paul (1888-1977), p. 165.

[JanssenRenn202233<abbr_class="abbr_"_title="section"_>sec.</abbr>&nbsp;4.2-3] Janssen et Renn 2022, sec. 4.2, p. 33.

[Kichenassamy1993194<abbr_class="abbr_"_title="section"_>sec.</abbr>&nbsp;4,_<span_class="nowrap"><abbr_class="abbr_"_title="paragraphe(s)"_>§</abbr>&nbsp;4.1</span>-4] Kichenassamy 1993, sec. 4, § 4.1, p. 194.

[Renn200547-5] Renn 2005, p. 47.

[Sauer2025678<abbr_class="abbr_"_title="section"_>sec.</abbr>&nbsp;2-6] Sauer 2025, sec. 2, p. 678.

[1]

[2]

[3]

[4]

[5]

[6]