Андреас Бласс

редактировать

Андреас Р. Бласс
Проф. Андреас Бласс выступает с докладом на конференции «Boise Extravaganza in Set Theory BEST 17», Бойсе, Айдахо, март 2008 г.
Родился	27 октября 1947 г.. Нюрнберг
Национальность	США
Известен	теорией множеств, математической логикой, теоретической информатикой.
научной карьерой
областями	математиком
Учреждения	Мичиганский университет
Докторант	Фрэнк Ваттенберг

Андреас Рафаэль Бласс (родился 27 октября 1947 года), математик, в настоящее время профессор Мичиганского университета.. Он занимается математической логикой, в частности теорией множеств, и теоретической информатикой.

Бласс окончил Детройтский университет, где он был Сотрудник Патнэма, в 1966 году со степенью BS по физике. Он получил свою докторскую степень в 1970 году в Гарвардском университете, защитив диссертацию по заказу ультрафильтров, написанную под руководством Фрэнка Ваттенберга. С 1970 года он работал в Мичиганском университете, сначала как T.H. Хильдебрандт, инструктор по исследованиям (1970–72), затем доцент (1972–76), доцент (1976–84), а с 1984 года он был там полным профессором.

В 2014 году он стал членом Американского математического общества.

Избранные публикации и результаты

В 1984 году Бласс доказал, что существование основы для каждого векторного пространства эквивалентно аксиоме выбора . Он внес важный вклад в развитие теории множеств действительных чисел и принуждения.

Бласс был первым, кто указал на связь между семантикой игры и линейной логика.

Он является автором более 200 научных статей по математической логике и теоретической информатике, в том числе:

Бласс, Андреас (1984). «Существование базисов подразумевает аксиому выбора». Аксиоматическая теория множеств, Proc. AMS-IMS-SIAM Jt. Summer Res. Конф., Боулдер / Колорадо. 1983, Contemp. Математика. 31. С. 31–34.
Бласс, Андреас; Шелах, Сахарон (1987). "Могут быть простые $P ℵ 1 {\ displaystyle P _ {\ aleph _ {1}}}$ $P _ {\ aleph_1}$ - и $P ℵ 2 {\ displaystyle P _ {\ aleph _ {2}} }$ $P _ {\ aleph_2}$ -точки и порядок Рудина – Кейслера могут быть направлены вниз ». Анналы чистой и прикладной логики. 33 : 213–243. DOI : 10.1016 / 0168-0072 (87) 90082-0. HDL : 2027.42 / 26916.
Бласс, Андреас (1992). «Игровая семантика для линейной логики». Анналы чистой и прикладной логики. 56 (1–3): 183–220. DOI : 10.1016 / 0168-0072 (92) 90073-9. hdl : 2027,42 / 30097.
Бласс, Андреас; Гуревич, Юрий (2003). «Алгоритмы: поиск абсолютных определений» (PDF). Бык. Евро. Доц. Теор. Comput. Sci. EATCS. 81 : 195–225. Проверено 28 апреля 2008 г.

Ссылки

Внешние ссылки

На Wikimedia Commons есть медиа относится к Андреасу Блассу.

странице Бласса в UM