Andreas Blass - Andreas Blass

Andreas R. Blass
AndreasBlass.jpg
Andreas Blass "Boise Extravaganza in Set Theory BEST 17" konferansında bir konuşma yapıyor, Boise, Idaho , Mart 2008
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