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)

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