Bernays, Paul
| Paul Isaac Bernays | |
|---|---|
| tysk Paul Isaac Bernays | |
| | |
| Fødselsdato | 17. oktober 1888 |
| Fødselssted | London |
| Dødsdato | 18. september 1977 (88 år) |
| Et dødssted | Zürich |
| Land | Schweiz |
| Videnskabelig sfære | matematik |
| Arbejdsplads | |
| Alma Mater | Berlin Universitet |
| Akademisk grad | PhD [2] ( 1912 ), Habilitering [3] ( 1912 ) og Habilitering [1] ( 1918 ) |
| videnskabelig rådgiver | Edmund Landau |
| Studerende |
Haskell Curry Gerhard Gentzen |
| Kendt som | en af forfatterne til mængdelærens aksiomatik |
| Mediefiler på Wikimedia Commons | |
Paul Isaac Bernays ( tysk Paul Isaac Bernays , 17. oktober 1888 , London - 18. september 1977 , Zürich ) - schweizisk matematiker , kendt for sit arbejde inden for matematisk logik , aksiomatisk mængdeteori og matematikkens filosofi . Han var David Hilberts ven og mangeårige samarbejdspartner .
Biografi
Paul Isaac Bernays blev født i en jødisk familie; nevø til Sigmund Freud . På tidspunktet for hans fødsel boede hans familie i London, men flyttede hurtigt til Berlin og et par år senere - til Köln , hvor den unge mand tog eksamen fra gymnasiet (1895-1907). I nogen tid tøvede han mellem to hobbyer - musik og matematik, men valgte matematik og fortsatte sine studier ved universitetet i Berlin . Forelæsninger om matematik der blev holdt af blandt andre Edmund Landau , Isai Schur og Ferdinand Frobenius . Efter at have studeret i 2 år i Berlin rejste Bernays til Göttingen ; der deltog han i foredrag af David Hilbert , Felix Klein og Hermann Weyl .
I 1912 vendte Bernays tilbage til universitetet i Berlin og forsvarede der sin afhandling om analytisk talteori ; Edmund Landau var hans vejleder. Samme år gennemgik Bernays habiliteringsproceduren ved universitetet i Zürich med Ernst Zermelo , hvorefter han blev optaget som adjunkt ved dette universitet.
I 1917 accepterede Bernays David Hilberts invitation og blev hans assistent i Göttingen. Ligesom Hilbert forskede Bernays i matematikkens grundlag. Disse studier blev grundlaget for hans doktorafhandling ( 1919 ), hvorefter Bernays blev en ekstraordinær professor ved universitetet i Göttingen.
Efter at nazisterne kom til magten i Tyskland, blev Bernays fyret og flyttede igen til Schweiz, hvor han arbejdede på Polytechnic (professor siden 1945 ). I 1935 - 1936 arbejdede han ved Princeton Institute for Advanced Study (USA).
Bernays' samarbejde med Hilbert fortsatte, og i 1934-1939 udgav de en grundlæggende fælles monografi " Fundamentals of Mathematics " i to bind. I 1968, efter Hilberts død, udgav Bernays 2. udgave af dette værk, suppleret med hans egne resultater. Bernays udgav også en række artikler om mængdeteoriens aksiomatik og blev en af forfatterne til " von Neumann-Bernays-Gödel aksiomatikken ". I 1947 blev han en af grundlæggerne af det filosofiske tidsskrift Dialectics.
Proceedings i russisk oversættelse
- Hilbert D., Bernays P. Matematikkens grundlag. Bind I. Logisk beregning og formalisering af aritmetik. M.: Nauka, 1979, 560 s.
- Hilbert D., Bernays P. Matematikkens grundlag. Bind II. Bevisteorien. M.: Nauka, 1982, 656 s.
- Bernays P. Om Platonisme i Matematik.
Noter
- ↑ 1 2 3 MacTutor History of Mathematics Archive
- ↑ Matematisk genealogi (engelsk) - 1997.
- ↑ MacTutor History of Mathematics Archive
Litteratur
- Bogolyubov A. N. Matematik. Mekanik. Biografisk guide . - Kiev: Naukova Dumka, 1983.
- Constance Reed . Gilbert. Arkiveret 21. september 2010 på Wayback Machine M.: Nauka, 1977.
Links
- MacTutor-biografi Arkiveret 9. oktober 2010 på Wayback Machine
- Paul Bernays, Paul Bernays: A Short Biography (1976) Arkiveret 7. juni 2010 på Wayback Machine
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| Slægtsforskning og nekropolis | ||||
| ||||