Andreas Blass - Andreas Blass

Andreas R. Blass
AndreasBlass.jpg
Prof. Andreas Blass "Boise Extravaganza in Set Theory BEST 17" konferansında konuşma yaparken, Boise, Idaho, Mart 2008
Doğum27 Ekim 1947
Milliyet Amerika Birleşik Devletleri
Bilinenküme teorisi, matematiksel mantık, teorik bilgisayar bilimi.
Bilimsel kariyer
AlanlarMatematikçi
KurumlarMichigan üniversitesi
Doktora danışmanıFrank Wattenberg

Andreas Raphael Blass (27 Ekim 1947 doğumlu) matematikçi, şu anda profesör Michigan üniversitesi. De çalışıyor matematiksel mantık, özellikle küme teorisi, ve teorik bilgisayar bilimi.

Blass, Detroit Üniversitesi O neredeydi Putnam Fellow, 1966'da B.S. içinde fizik. O aldı Doktora 1970 yılında Harvard Üniversitesi teziyle Ultrafiltrelerin Sıralanması Frank Wattenberg gözetiminde yazılmıştır.[1] 1970'den beri ilk olarak Michigan Üniversitesi'nde istihdam edilmektedir. T.H. Hildebrandt Araştırma Eğitmeni (1970–72), ardından yardımcı doçent (1972–76), doçent (1976–84) ve 1984'ten beri orada profesör olarak çalışıyor.

2014'te Amerikan Matematik Derneği Üyesi oldu.[2]

Seçilmiş yayınlar ve sonuçlar

1984 yılında Blass, bir temel her biri için vektör alanı eşdeğerdir seçim aksiyomu. Gelişiminde önemli katkılarda bulundu. gerçeklerin küme teorisi ve zorlama.

Blass, arasındaki bağlantıları gösteren ilk kişiydi oyun semantiği ve doğrusal mantık.

Matematiksel mantık ve teorik bilgisayar bilimlerinde aşağıdakiler dahil 200'den fazla araştırma makalesi yazmıştır:

  • Blass, Andreas (1984). "Temellerin varlığı, seçim aksiyomunu ifade eder". Aksiyomatik küme teorisi, Proc. AMS-IMS-SIAM Jt. Yaz Arş. Conf., Boulder / Colo. 1983, Contemp. Matematik. 31. sayfa 31–34.
  • Blass, Andreas; Shelah, Saharon (1987). "Basit olabilir - ve -points ve Rudin-Keisler sıralaması aşağı yönlü olabilir ". Saf ve Uygulamalı Mantığın Yıllıkları. 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ığın Yıllıkları. 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ç. Theor. Bilgisayar. Sci. EATCS. 81: 195–225. Alındı 2008-04-28.

Referanslar

Dış bağlantılar