Andreas Blass - Andreas Blass
Andreas R. Blass | |
---|---|
Doğmak | 27 Ekim 1947 |
Milliyet | Amerika Birleşik Devletleri |
Bilinen | küme teorisi , matematiksel mantık , teorik bilgisayar bilimi . |
Bilimsel kariyer | |
Alanlar | Matematikçi |
kurumlar | Michigan üniversitesi |
Doktora danışmanı | Frank Wattenberg |
Andreas Raphael Blass (27 Ekim 1947 doğumlu) şu anda Michigan Üniversitesi'nde profesör olan bir matematikçidir . O çalışan matematiksel mantık , özellikle set teorisi ve teorik bilgisayar bilimleri .
Blass , 1966'da Putnam Üyesi olduğu Detroit Üniversitesi'nden fizik alanında lisans derecesi ile mezun oldu . Doktora derecesini aldı . 1970 yılında Harvard Üniversitesi'nden Frank Wattenberg'in danışmanlığında Ultrafiltrelerin Sıralanması konulu teziyle . 1970'den beri Michigan Üniversitesi'nde önce TH Hildebrandt Araştırma Eğitmeni (1970–72), ardından yardımcı doçent (1972–76), doçent (1976–84) ve 1984'ten beri tam profesör olarak görev yapmaktadır. orada.
2014 yılında Amerikan Matematik Derneği Üyesi oldu.
Seçilmiş yayınlar ve sonuçlar
1984'te Blass , her vektör uzayı için bir temelin varlığının , seçim aksiyomuna eşdeğer olduğunu kanıtladı . Gerçekler ve zorlamaların küme teorisinin gelişmesinde önemli katkıları olmuştur .
Blass, oyun semantiği ve doğrusal mantık arasındaki bağlantılara işaret eden ilk kişiydi .
Matematiksel mantık ve teorik bilgisayar bilimlerinde 200'den fazla araştırma makalesi yazmıştır:
- Blass, Andreas (1984), "Temellerin varlığı, seçim aksiyomunu ima eder", Aksiyomatik küme teorisi (PDF) , Contemporary Mathematics cilt 31, Providence, RI: American Mathematical Society , s. 31–33, ISBN 0-8218-5026-1, MR 0763890
- Blass, Andreas; Shelah, Saharon (1987). "Basit - ve - noktalar olabilir ve Rudin-Keisler sıralaması aşağı yönlü olabilir". Saf ve Uygulamalı Mantık Annals . 33 : 213–243. doi : 10.1016/0168-0072(87)90082-0 . hdl : 2027.42/26916 .
- Blass, Andreas (1992). "Doğrusal mantık için bir oyun semantiği". Saf ve Uygulamalı Mantık Annals . 56 (1–3): 183–220. doi : 10.1016/0168-0072(92)90073-9 . hdl : 2027.42/30097 .
- Blass, Andreas; Gurevich, Yuri (2003). "Algoritmalar: mutlak tanımlar arayışı" (PDF) . Boğa. Avro. Doç. Teori. Bilgisayar. bilim EATCS . 81 : 195-225 . 2008-04-28 alındı .
Referanslar
Dış bağlantılar