Andreas Blass - Andreas Blass
Andreas R. Blass | |
---|---|
Urodzić się | 27 października 1947 |
Narodowość | Stany Zjednoczone |
Znany z | teoria mnogości , logika matematyczna , informatyka teoretyczna . |
Kariera naukowa | |
Pola | Matematyk |
Instytucje | Uniwersytet Michigan |
Doradca doktorski | Frank Wattenberg |
Andreas Raphael Blass (ur. 27 października 1947) jest matematykiem, obecnie profesorem na Uniwersytecie Michigan . Zajmuje się logiką matematyczną , szczególnie teorią mnogości i informatyką teoretyczną .
Blass ukończył Uniwersytet w Detroit , gdzie był stypendystą Putnama , w 1966 roku z tytułem licencjata z fizyki . Doktoryzował się . w 1970 roku na Uniwersytecie Harvarda , z pracą dyplomową „ Zamówienia ultrafiltrów” napisaną pod kierunkiem Franka Wattenberga. Od 1970 roku jest zatrudniony na Uniwersytecie Michigan, najpierw jako instruktor naukowy TH Hildebrandt (1970-72), następnie adiunkt (1972-76), profesor nadzwyczajny (1976-84), a od 1984 roku jest profesorem zwyczajnym tam.
W 2014 roku został członkiem Amerykańskiego Towarzystwa Matematycznego.
Wybrane publikacje i wyniki
W 1984 Blass udowodnił, że istnienie bazy dla każdej przestrzeni wektorowej jest równoważne aksjomatowi wyboru . Wniósł istotny wkład w rozwój teorii mnogości liczb rzeczywistych i wymuszania .
Blass jako pierwszy wskazał na powiązania między semantyką gry a logiką liniową .
Jest autorem ponad 200 artykułów naukowych z zakresu logiki matematycznej i informatyki teoretycznej, w tym:
- Blass, Andreas (1984), „Istnienie zasad implikuje aksjomat wyboru”, Aksjomatyczna teoria mnogości (PDF) , Współczesna Matematyka tom 31 , Providence, RI: American Mathematical Society , s. 31-33, ISBN 0-8218-5026-1, MR 0763890
- Blassie, Andreasie; Szela, Saharon (1987). „Mogą być proste - i -punkty, a kolejność Rudin-Keisler może być skierowana w dół”. Roczniki logiki czystej i stosowanej . 33 : 213-243. doi : 10.1016/0168-0072(87)90082-0 . hdl : 2027.42/26916 .
- Blass, Andreas (1992). „Semantyka gry dla logiki liniowej”. Roczniki logiki czystej i stosowanej . 56 (1–3): 183–220. doi : 10.1016/0168-0072(92)90073-9 . hdl : 2027,42/30097 .
- Blassie, Andreasie; Gurevich, Jurij (2003). „Algorytmy: poszukiwanie absolutnych definicji” (PDF) . Byk. Eur. dr hab. Teoria. Komputer. Nauka. EATCS . 81 :195-225 . Źródło 2008-04-28 .
Bibliografia
Zewnętrzne linki