Bernays, Paul
| Paul Isaac Bernays | |
|---|---|
| tysk Paul Isaac Bernays | |
| | |
| Födelsedatum | 17 oktober 1888 |
| Födelseort | London |
| Dödsdatum | 18 september 1977 (88 år) |
| En plats för döden | Zürich |
| Land | Schweiz |
| Vetenskaplig sfär | matte |
| Arbetsplats | |
| Alma mater | Berlins universitet |
| Akademisk examen | PhD [2] ( 1912 ), Habilitering [3] ( 1912 ) och Habilitering [1] ( 1918 ) |
| vetenskaplig rådgivare | Edmund Landau |
| Studenter |
Haskell Curry Gerhard Gentzen |
| Känd som | en av författarna till mängdlärans axiomatik |
| Mediafiler på Wikimedia Commons | |
Paul Isaac Bernays ( tyska Paul Isaac Bernays , 17 oktober 1888 , London - 18 september 1977 , Zürich ) - schweizisk matematiker , känd för sitt arbete inom matematisk logik , axiomatisk mängdteori och matematikfilosofi . Han var en vän och långvarig medarbetare till David Hilbert .
Biografi
Paul Isaac Bernays föddes i en judisk familj; brorson till Sigmund Freud . Vid tiden för hans födelse bodde hans familj i London, men flyttade snart till Berlin och några år senare - till Köln , där den unge mannen tog examen från gymnasiet (1895-1907). Under en tid tvekade han mellan två hobbyer - musik och matematik, men valde matematik och fortsatte sina studier vid universitetet i Berlin . Föreläsningar om matematik där hölls av bland andra Edmund Landau , Isai Schur och Ferdinand Frobenius . Efter att ha studerat 2 år i Berlin reste Bernays till Göttingen ; där deltog han i föreläsningar av David Hilbert , Felix Klein och Hermann Weyl .
År 1912 återvände Bernays till universitetet i Berlin och försvarade där sin avhandling om analytisk talteori ; Edmund Landau var hans handledare. Samma år genomgick Bernays habiliteringsproceduren vid universitetet i Zürich med Ernst Zermelo , varefter han antogs som biträdande professor vid detta universitet.
1917 accepterade Bernays David Hilberts inbjudan och blev hans assistent i Göttingen. Liksom Hilbert forskade Bernays om matematikens grunder. Dessa studier blev grunden för hans doktorsavhandling ( 1919 ), varefter Bernays blev en extraordinär professor vid universitetet i Göttingen.
Efter att nazisterna kom till makten i Tyskland fick Bernays sparken och flyttade igen till Schweiz, där han arbetade på yrkeshögskolan (professor sedan 1945 ). 1935 - 1936 arbetade han vid Princeton Institute for Advanced Study (USA).
Bernays samarbete med Hilbert fortsatte, och 1934-1939 publicerade de en grundläggande gemensam monografi " Fundamentals of Mathematics " i två volymer. 1968 , efter Hilberts död, publicerade Bernays den andra upplagan av detta verk, kompletterat med sina egna resultat. Bernays publicerade också ett antal artiklar om mängdlärans axiomatik och blev en av författarna till " von Neumann-Bernays-Gödel axiomatik ". 1947 blev han en av grundarna av den filosofiska tidskriften Dialectics.
Proceedings i rysk översättning
- Hilbert D., Bernays P. Matematikens grunder. Volym I. Logisk kalkyl och formalisering av aritmetik. M.: Nauka, 1979, 560 sid.
- Hilbert D., Bernays P. Matematikens grunder. Volym II. Bevisteorin. M.: Nauka, 1982, 656 sid.
- Bernays P. On Platonism in Mathematics.
Anteckningar
- ↑ 1 2 3 MacTutor History of Mathematics Archive
- ↑ Mathematical Genealogy (engelska) - 1997.
- ↑ MacTutor History of Mathematics Archive
Litteratur
- Bogolyubov A. N. Matematik. Mekanik. Biografisk guide . - Kiev: Naukova Dumka, 1983.
- Constance Reed . Gilbert. Arkiverad 21 september 2010 på Wayback Machine M.: Nauka, 1977.
Länkar
- MacTutor-biografi Arkiverad 9 oktober 2010 på Wayback Machine
- Paul Bernays, Paul Bernays: A Short Biography (1976) Arkiverad 7 juni 2010 på Wayback Machine
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk | ||||
| Släktforskning och nekropol | ||||
| ||||