Andreas Blass - Andreas Blass
Andreas R. Blass | |
---|---|
narozený | 27. října 1947 |
Národnost | Spojené státy |
Známý jako | teorie množin , matematická logika , teoretická informatika . |
Vědecká kariéra | |
Pole | Matematik |
Instituce | Michiganská univerzita |
Doktorský poradce | Frank Wattenberg |
Andreas Raphael Blass (narozený 27. října 1947) je matematik, v současné době profesor na University of Michigan . Pracuje v matematické logice , zejména teorii množin a teoretické informatice .
Blass absolvoval University of Detroit , kde byl členem Putnamu , v roce 1966 s BS ve fyzice . Získal titul Ph.D. v roce 1970 z Harvard University , s diplomovou prací o Orderings of Ultrafilters napsanou pod dohledem Franka Wattenberga. Od roku 1970 je zaměstnán na University of Michigan, nejprve jako instruktor výzkumu TH Hildebrandta (1970–72), poté odborný asistent (1972–76), docent (1976–84) a od roku 1984 je řádným profesorem tam.
V roce 2014 se stal členem Americké matematické společnosti.
Vybrané publikace a výsledky
V roce 1984 Blass dokázal, že existence základu pro každý vektorový prostor je ekvivalentní axiomu volby . Významně přispěl k rozvoji teorie množin reálů a síly .
Blass byl první, kdo poukázal na souvislosti mezi herní sémantikou a lineární logikou .
Je autorem více než 200 výzkumných článků z matematické logiky a teoretické informatiky, mimo jiné:
- Blass, Andreas (1984), „Existence základen implikuje axiom volby“, Axiomatic theory of set (PDF) , Contemporary Mathematics volume 31, Providence, RI: American Mathematical Society , s. 31–33, ISBN 0-8218-5026-1, MR 0763890
- Blass, Andreas; Shelah, Saharon (1987). „Mohou existovat jednoduché - a - body a uspořádání Rudina – Keislera může směřovat dolů“. Annals of Pure and Applied Logic . 33 : 213–243. doi : 10.1016/0168-0072 (87) 90082-0 . hdl : 2027,42/26916 .
- Blass, Andreas (1992). „Herní sémantika pro lineární logiku“. Annals of Pure and Applied Logic . 56 (1–3): 183–220. doi : 10,1016/0168-0072 (92) 90073-9 . hdl : 2027,42/30097 .
- Blass, Andreas; Gurevič, Jurij (2003). „Algoritmy: hledání absolutních definic“ (PDF) . Býk. Eur. Doc. Teor. Výpočet. Sci. EATCS . 81 : 195–225 . Citováno 2008-04-28 .
Reference
externí odkazy