Andrzej Blass

Andreas R. Blass
Blass w 2008 roku
Urodzić się	27 października 1947 ( 27.10.1947 ) (wiek 75) Norymberga
Narodowość	amerykański
Znany z	teoria mnogości , logika matematyczna , informatyka teoretyczna
Kariera naukowa
Pola	Matematyk
Instytucje	Uniwersytet Michigan
Doradca doktorski	Franka Wattenberga

Andreas Raphael Blass (ur. 27 października 1947) jest matematykiem, obecnie profesorem na Uniwersytecie Michigan . Zajmuje się logiką matematyczną , zwłaszcza teorią mnogości i informatyką teoretyczną .

Blass ukończył University of Detroit , gdzie był stypendystą Putnama w 1965, w 1966 z tytułem licencjata z fizyki . Uzyskał tytuł doktora. w 1970 roku na Uniwersytecie Harvarda , z rozprawą na temat zamawiania ultrafiltrów napisaną pod kierunkiem Franka Wattenberga. Od 1970 zatrudniony na Uniwersytecie Michigan, najpierw jako TH Hildebrandt Research Instructor (1970–72), następnie adiunkt (1972–76), profesor nadzwyczajny (1976–84), a od 1984 profesor zwyczajny Tam.

W 2014 roku został członkiem Amerykańskiego Towarzystwa Matematycznego.

Wybrane publikacje i wyniki

W 1984 roku Blass udowodnił, że istnienie bazy dla każdej przestrzeni wektorowej jest równoznaczne z aksjomatem wyboru . Wniósł ważny wkład w rozwój teorii mnogości liczb rzeczywistych i forsowania .

Blass jako pierwszy zwrócił uwagę na związki między semantyką gier a logiką liniową .

Jest autorem ponad 200 artykułów naukowych z logiki matematycznej i informatyki teoretycznej, w tym:

•    Blass, Andreas (1984), „Istnienie baz implikuje aksjomat wyboru” (PDF) , Aksjomatyczna teoria mnogości , Współczesna matematyka, tom 31, Providence, RI: American Mathematical Society , s. 31–33, ISBN 0-8218-5026 -1 , MR 0763890
• Blass, Andreas; Szela, Saharon (1987). „Mogą istnieć proste punkty - i ${\ Displaystyle P _$${\ aleph _ {1}}} -$ kolejność Rudina-Keislera skierowany". Roczniki czystej i stosowanej logiki . 33 : 213–243. doi : 10.1016/0168-0072(87)90082-0 . hdl : 2027.42/26916 .
• Blass, Andreas (1992). „Semantyka gry dla logiki liniowej”. Roczniki czystej i stosowanej logiki . 56 (1–3): 183–220. doi : 10.1016/0168-0072(92)90073-9 . hdl : 2027.42/30097 .
• Blass, Andreas; Gurewicz, Jurij (2003). „Algorytmy: poszukiwanie absolutnych definicji” (PDF) . Byk. Eur. doc. Teoria. Oblicz. nauka EATCS . 81 : 195–225 . Źródło 2008-04-28 .

Linki zewnętrzne

• Strona Blassa w UM