Paul Bernays
| Paul Bernays | |
|---|---|
 | |
| Narození | 17. října 1888 Londýn |
| Úmrtí | 18. září 1977 (ve věku 88 let) Curych |
| Místo pohřbení | kremace |
| Alma mater | Köllnisches Gymnasium (Berlín) (1895–1907) Humboldtova univerzita (1907–1910) Univerzita v Göttingenu (1910–1912) |
| Povolání | matematik a filozof |
| Zaměstnavatelé | Curyšská univerzita (1912–1917) Univerzita v Göttingenu (1922–1933) Spolková vysoká technická škola v Curychu (1934–1959) |
| Příbuzní | Isaac Bernays (prapraprarodič) Jacob Bernays (prastrýc) |
 multimediální obsah na Commons | |
| Některá data mohou pocházet z datové položky. | |
Paul Bernays (17. října 1888, Londýn – 18. září 1977, Curych) byl matematik švýcarského původu.
Život
Rodina Paula Bernayse žila v době jeho dětství a dospívání postupně v Londýně, v Paříži a v Berlíně, kde také mladý Paul vystudoval gymnázium.
Po studiu na Berlínské univerzitě a univerzitě v Göttingenu, kde byl mimo jiné žákem David Hilberta, nastoupil jako asistent Ernsta Zermela na univerzitě v Curychu. Po odchodu Zermela v roce 1916 zde přebírá jeho výuku základů matematiky.
V roce 1917 se na pozvání Hilberta vrací do Göttingenu jako Hilbertův asistent a v roce 1922 je zde jmenován mimořádným profesorem. V roce 1933 přichází o místo na univerzitě v důsledku sílících protižidovských represí v nacistickém Německu a po několika měsících, kdy pracoval jako soukromý Hilbertův asistent, se vrací do Curychu, kde s drobnými přestávkami žije až do své smrti.
Dílo
Paul Bernays je znám především jako spoluautor Hilbertovy studie Grundlagen der Mathematik z let 1934 - 1939, která byla pokusem o vystavění celé matematiky čistě s využitím predikátové logiky a jazyka teorie množin.
Jeho aplikace výsledků Ernsta Zermela na klasické von Neumannovo pojetí teorie tříd je dnes známo pod označením von Neumann-Gödel-Bernaysova teorie množin a patří spolu se Zermelo-Fraenkelovou axiomatikou k nejčastěji používaným axiomatickým soustavám teorie množin.
Externí odkazy
Obrázky, zvuky či videa k tématu Paul Bernays na Wikimedia Commons - MacTutor biography
