Andreas Blyass - Andreas Blass

Andreas R. Blass
AndreasBlass.jpg
Professor Andreas Blyass "Boise Extravaganza in the Set Theory BEST 17" konferentsiyasi davomida ma'ruza qilmoqda, Boise, Aydaho, 2008 yil mart
Tug'ilgan1947 yil 27 oktyabr
Nürnberg
Millati Qo'shma Shtatlar
Ma'lumto'plam nazariyasi, matematik mantiq, nazariy informatika.
Ilmiy martaba
MaydonlarMatematik
InstitutlarMichigan universiteti
Doktor doktoriFrank Vattenberg

Andreas Rafael Blyass (1947 yil 27 oktyabrda tug'ilgan) - matematik, hozirda professor Michigan universiteti. U ishlaydi matematik mantiq, ayniqsa to'plam nazariyasi va nazariy informatika.

Blass Detroyt universiteti, u qaerda edi a Putnam Fellow, 1966 yilda a B.S. yilda fizika. U uni qabul qildi Ph.D. 1970 yilda Garvard universiteti, tezis bilan Ultrafiltrlarning buyurtmalari Frank Vattenberg nazorati ostida yozilgan.[1] 1970 yildan beri u Michigan universiteti tomonidan ishga qabul qilindi T.H. Hildebrandt tadqiqot bo'yicha o'qituvchisi (1970-72), keyinchalik dotsent (1972-76), dotsent (1976-84) va 1984 yildan beri u erda to'liq professor.

2014 yilda u Amerika Matematik Jamiyatining a'zosi bo'ldi.[2]

Tanlangan nashrlar va natijalar

1984 yilda Blass a ning mavjudligini isbotladi asos har bir kishi uchun vektor maydoni ga teng tanlov aksiomasi. U rivojlanishida muhim hissa qo'shdi reallarning nazariyasini o'rnatdi va majburlash.

Blass birinchi bo'lib o'rtasidagi aloqalarni ko'rsatdi o'yin semantikasi va chiziqli mantiq.

U matematik mantiq va nazariy kompyuter fanlari bo'yicha 200 dan ortiq ilmiy maqolalar muallifi bo'lgan, shu jumladan:

  • Blass, Andreas (1984). "Bazalarning mavjudligi tanlov aksiyomini nazarda tutadi". Aksiomatik to'plamlar nazariyasi, Proc. AMS-IMS-SIAM Jt. Yozgi rez. Konf., Boulder / Colo. 1983 yil, Contemp. Matematika. 31. 31-34 betlar.
  • Blas, Andreas; Shelah, Saxon (1987). "Oddiy bo'lishi mumkin - va -pudentslar va Rudin-Kaysler buyurtmasi pastga yo'naltirilgan bo'lishi mumkin ". Sof va amaliy mantiq yilnomalari. 33: 213–243. doi:10.1016/0168-0072(87)90082-0. hdl:2027.42/26916.
  • Blass, Andreas (1992). "Chiziqli mantiq uchun o'yin semantikasi". Sof va amaliy mantiq yilnomalari. 56 (1–3): 183–220. doi:10.1016/0168-0072(92)90073-9. hdl:2027.42/30097.
  • Blas, Andreas; Gurevich, Yuriy (2003). "Algoritmlar: mutlaq ta'riflarni izlash" (PDF). Buqa. Yevro. Dos. Nazariya. Hisoblash. Ilmiy ish. EATCS. 81: 195–225. Olingan 2008-04-28.

Adabiyotlar

  1. ^ Andreas Blyass da Matematikaning nasabnomasi loyihasi
  2. ^ Amerika Matematik Jamiyati a'zolari ro'yxati

Tashqi havolalar