Andreas Blass - Andreas Blass

Andreas R. Blass
AndreasBlass.jpg
Andreas Blass přednáší na konferenci „Boise Extravaganza in The Theory BEST 17“, Boise, Idaho, Březen 2008
narozený27. října 1947
Norimberk
Národnost Spojené státy
Známý jakoteorie množin, matematická logika, teoretická informatika.
Vědecká kariéra
PoleMatematik
InstituceMichiganská univerzita
Doktorský poradceFrank Wattenberg

Andreas Raphael Blass (narozený 27 října 1947) je matematik, v současné době profesor na Michiganská univerzita. Pracuje v matematická logika, zejména teorie množin, a teoretická informatika.

Blass vystudoval University of Detroit kde byl Putnam Fellow, v roce 1966 s a B.S. v fyzika. Dostal svůj Ph.D. v roce 1970 od Harvardská Univerzita, s tezí o Objednávky ultrafiltrů napsáno pod dohledem Franka Wattenberga.[1] Od roku 1970 byl zaměstnán na University of Michigan, nejprve jako T.H. Výzkumný pracovník Hildebrandt (1970–72), poté odborný asistent (1972–76), docent (1976–84) a od roku 1984 je tam řádným profesorem.

V roce 2014 se stal členem Americké matematické společnosti.[2]

Vybrané publikace a výsledky

V roce 1984 Blass dokázal, že existence a základ pro každého vektorový prostor je ekvivalentní s axiom volby. Významně přispěl k rozvoji EU teorie množin skutečností a nutit.

Blass byl první, kdo poukázal na spojení mezi nimi herní sémantika a lineární logika.

Je autorem více než 200 výzkumných článků z oblasti matematické logiky a teoretické informatiky, včetně:

  • Blass, Andreas (1984). "Existence bází implikuje axiom výběru". Axiomatická teorie množin, Proc. AMS-IMS-SIAM Jt. Summer Res. Konf., Boulder / Colo. 1983, Contemp. Matematika. 31. 31–34.
  • Blass, Andreas; Shelah, Saharon (1987). „Může to být jednoduché - a - body a pořadí Rudin – Keisler může být směrováno 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). "Sémantika hry 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č, Juriji (2003). „Algorithms: a quest for absolute definitions“ (PDF). Býk. Eur. Doc. Teor. Comput. Sci. EATCS. 81: 195–225. Citováno 2008-04-28.

Reference

  1. ^ Andreas Blass na Matematický genealogický projekt
  2. ^ Seznam členů Americké matematické společnosti

externí odkazy