Andreas Blass - Andreas Blass

Andreas R. Blass
.jpg
Prof. Andreas Blass wygłasza prelekcję podczas konferencji "Boise Extravaganza in Set Theory BEST 17", Boise, Idaho , marzec 2008
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