Paul Bernays
Persona informo
Paul Isaac Bernays
Naskiĝo	17-an de oktobro 1888 (1888-10-17) en Londono
Morto	18-an de septembro 1977 (1977-09-18) (88-jaraĝa) en Zuriko
Tombo	kremacio vd
Lingvoj	germana vd
Ŝtataneco	Svislando vd
Alma mater	Humboldt-Universitato en Berlino • Universitato de Göttingen • Köllnisches Gymnasium vd
Familio
Parencoj	Isaac Bernays • Jakob Bernays vd
Profesio
Okupo	matematikisto • filozofo vd
Laborkampo	matematika logiko • aro-teorio vd
Aktiva en	Göttingen • Zuriko vd
Doktoreca konsilisto	Edmund Landau vd
Verkado
Verkoj	Hilbert–Bernays paradox ❦ Von Neumann–Bernays–Gödel set theory ❦ Bernays–Schönfinkel class ❦ Hilbert–Bernays provability conditions vd
Membrecoj Membrecoj La Reĝaj Akademioj por Scienco kaj la Artoj de Belgio • Norwegian Academy of Science and Letters • International Society for the History of Philosophy of Science • Burschenschaft Germania Tübingen vd
vd	Fonto: Vikidatumoj

Paul Isaac BERNAYS (17a de oktobro 1888 – 18a de septembro 1977) estis svisa matematikisto, kiu faris gravajn kontribuojn al la matematika logiko, aroteorio kaj la filozofio de matematiko. Li estis helpanto kaj kunlaboranto de David Hilbert.

En 1912, li doktoriĝis en matematiko en la Universitato de Berlino, per disertacio, kontrolita de Edmund Landau, pri la analitika nombroteorio de binaraj kvadrataj formoj. Tiun saman jaron, la Universitato de Zuriko habilitigis lin per disertacio pri kompleksa analitiko kaj la teoremo de Picard. La ekzamenisto estis Ernst Zermelo. Bernays estis Privatdocento Privatdozent en la Universitato de Zuriko, 1912–17, kie li konis George Pólya.

Verkoj

• David Hilbert kaj Paul Bernays: Grundlagen der Mathematik I–II, Grundlehren der mathematischen Wissenschaften 40, 50, Berlin: Springer, 1934/1939
• Paul Bernays: A System of Axiomatic Set Theory I-VII, in: Journal of Symbolic Logic, Teil I in Band 2 (1937), S. 65–77; Teil II in Band 6 (1941), S. 1–17, Teil III in Band 7 (1942) S. 65ff, Teil IV in Band 7 (1942), S. 133ff, Teil V in Band 8 (1943), S. 89ff, Teil VI in Band 13 (1948), S. 65ff, Teil VII in Band 19 (1954), S. 81ff. Gesamtedition in: Sets and classes, on the work of Paul Bernays, Herausgeber Gert H. Müller, Amsterdam, New York, Oxford, 1976. S. 1–119
• Paul Bernays: Axiomatic Set Theory, Amsterdam 1958
• Abhandlungen zur Philosophie der Mathematik., Darmstadt 1976

Bibliografio

• Kanamori, Akihiro (2009), "Bernays and Set Theory" (PDF), Bulletin of Symbolic Logic, 15: 43–69, doi:10.2178/bsl/1231081769.
• Kneebone, Geoffrey, 1963. Mathematical Logic and the Foundation of Mathematics. Van Nostrand. Dover repeso, 2001.
• Lauener, Henri (1978), "Paul Bernays (1888--1977)", Zeitschrift für Allgemeine Wissenschaftstheorie, 9 (1): 13–20, doi:10.1007/BF01801939, ISSN 0044-2216, MR 0546580
• Müller, Gert H., eld. (1976), Sets and classes. On the work by Paul Bernays, Studies in Logic and the Foundations of Mathematics, 84, Amsterdam: North-Holland, ISBN 978-0-444-10907-1, MR 0414355
• Sieg, Wilfried; Ravaglia, Mark (2005), "Chapter 77. David Hilbert and Paul Bernays, Grundlagen der Mathematik", in Grattan-Guinness, Ivor (eld.), Landmark writings in western mathematics 1640--1940, Elsevier B. V., Amsterdam, pp. 981–99, doi:10.1016/B978-044450871-3/50158-3, ISBN 978-0-444-50871-3, MR 2169816

Eksteraj ligiloj

• Hilbert Bernays Project
• [MacTutor History of Mathematics archive O'Connor, John J.]; Robertson, Edmund F., "Paul Bernays", MacTutor History of Mathematics archive, Universitato St. Andrews.
• Paul Bernays: A Short Biography (1976)