Андреас Бласс - Andreas Blass

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

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

Бласс окончил Детройтский университет, где он был Putnam Fellow, в 1966 г. Б.С. в физика. Он получил свой Кандидат наук. в 1970 из Гарвардский университет, с диссертацией по Заказ ультрафильтров написана под руководством Фрэнка Ваттенберга.[1] С 1970 года он работал в Мичиганском университете, сначала в качестве специалиста. T.H. Инструктор по исследованиям Хильдебрандта (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. Дои:10.1016/0168-0072(87)90082-0. HDL:2027.42/26916.
  • Бласс, Андреас (1992). «Игровая семантика для линейной логики». Анналы чистой и прикладной логики. 56 (1–3): 183–220. Дои:10.1016/0168-0072(92)90073-9. HDL:2027.42/30097.
  • Бласс, Андреас; Гуревич Юрий (2003). «Алгоритмы: поиск абсолютных определений» (PDF). Бык. Евро. Доц. Теор. Comput. Sci. EATCS. 81: 195–225. Получено 2008-04-28.

Рекомендации

  1. ^ Андреас Бласс на Проект "Математическая генеалогия"
  2. ^ Список членов Американского математического общества

внешняя ссылка