Paul Bernays

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo
Paul Bernays
PaulBernays1976 MFO.jpg
Persona informo
Naskiĝo 17-an de oktobro 1888 (1888-10-17)
en Londono
Morto 18-an de septembro 1977 (1977-09-18) (88-jara)
en Zuriko
Tombo kremacio
Lingvoj germana lingvo
Ŝtataneco Svislando
Alma mater Humboldt-Universitato en BerlinoUniversitato de Göttingen • Köllnisches Gymnasium
Parencoj Isaac Bernays
Jakob Bernays
Okupo
Okupo matematikisto • filozofo
Verkoj Hilbert–Bernays paradox
Von Neumann–Bernays–Gödel set theory
Bernays–Schönfinkel class
Hilbert–Bernays provability conditions
Information icon.svg
vdr

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[redakti | redakti fonton]

  • 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[redakti | redakti fonton]

  • 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[redakti | redakti fonton]