Андреас Р. Бласс | |
---|---|
Профессор Андреас Бласс выступает с докладом на конференции «Бойсеская феерия в теории множеств BEST 17», Бойсе, штат Айдахо , март 2008 г. | |
Родившийся | 27 октября 1947 г. |
Национальность | Соединенные Штаты |
Известен | теория множеств , математическая логика , теоретическая информатика . |
Научная карьера | |
Поля | Математик |
Учреждения | университет Мичигана |
Докторант | Фрэнк Ваттенберг |
Андреас Рафаэль Бласс (родился 27 октября 1947 года) - математик, в настоящее время профессор Мичиганского университета . Он работает в области математической логики , в частности теории множеств и теоретической информатики .
Blass окончил университет Детройта , где он был Putnam членом , в 1966 году с BS в физике . Он получил докторскую степень. в 1970 году из Гарвардского университета , защитив диссертацию по заказу ультрафильтров, написанную под руководством Фрэнка Ваттенберга. [1] С 1970 года он работал в Мичиганском университете, сначала инструктором по исследованиям Т.Х. Хильдебрандта (1970–72), затем доцентом (1972–76), доцентом (1976–84), а с 1984 года он был там полный профессор.
В 2014 году он стал членом Американского математического общества. [2]
Избранные публикации и результаты [ править ]
В 1984 году Бласс доказал, что существование базиса для любого векторного пространства эквивалентно выбранной аксиоме . Он внес важный вклад в развитие теории множеств действительных чисел и принуждения .
Бласс был первым, кто указал на связь между семантикой игры и линейной логикой .
Он является автором более 200 научных статей по математической логике и теоретической информатике, в том числе:
- Бласс, Андреас (1984). «Существование базисов подразумевает аксиому выбора». Аксиоматическая теория множеств, Proc. AMS-IMS-SIAM Jt. Summer Res. Конф., Боулдер / Колорадо. 1983, Contemp. Математика. 31 . С. 31–34.
- Бласс, Андреас; Шелах, Сахарон (1987). «Могут быть простые - и - точки, и порядок Рудина – Кейслера может быть направлен вниз». Летопись чистой и прикладной логики . 33 : 213–243. DOI : 10.1016 / 0168-0072 (87) 90082-0 . ЛВП : 2027,42 / 26916 .
- Бласс, Андреас (1992). «Игровая семантика для линейной логики». Летопись чистой и прикладной логики . 56 (1–3): 183–220. DOI : 10.1016 / 0168-0072 (92) 90073-9 . ЛВП : 2027,42 / 30097 .
- Бласс, Андреас; Гуревич, Юрий (2003). «Алгоритмы: поиск абсолютных определений» (PDF) . Бык. Евро. Доц. Теор. Comput. Sci. EATCS . 81 : 195–225 . Проверено 28 апреля 2008 .
Ссылки [ править ]
- ↑ Андреас Бласс в проекте « Математическая генеалогия»
- ^ Список членов Американского математического общества
Внешние ссылки [ править ]
Викискладе есть медиафайлы по теме Андреаса Бласса . |
- Страница Бласса в UM