Paul Bernays

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 Redakti la valoron en Wikidata vd
Lingvoj germana vd
Ŝtataneco Svislando Redakti la valoron en Wikidata vd
Alma mater Universitato de Göttingen - matematiko (1910–1912)
Humboldt-Universitato en Berlino - matematiko (1907–1910)
Köllnisches Gymnasium (en) Traduki (1895–1907) Redakti la valoron en Wikidata vd
Familio
Parencoj Isaac Bernays (en) Traduki (prapraavo aŭ prapraavino)
Jakob Bernays (en) Traduki (praonklo) Redakti la valoron en Wikidata vd
Profesio
Okupo matematikisto
filozofo Redakti la valoron en Wikidata vd
Laborkampo Matematika logiko kaj aro-teorio Redakti la valoron en Wikidata 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
vd Fonto: Vikidatumoj
v • d • r

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]
Bibliotekoj