Paul Bernays
Paul Bernays | |
---|---|
Narození | 17. října 1888 Londýn, Spojené království |
Úmrtí | 18. září 1977 (ve věku 88 let) Curych, Švýcarsko |
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 na 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 až 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.
Odkazy
Externí odkazy
- Obrázky, zvuky či videa k tématu Paul Bernays na Wikimedia Commons
- MacTutor biography
Související články
Média použitá na této stránce
Venn diagram for the set theoretic intersection of A and B.