WikiDer > Андреас Бласс
Андреас Р. Бласс | |
|---|---|
 Проф. Андреас Бласс выступает с докладом на конференции «Бойсеская феерия в теории множеств 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.
Рекомендации
внешняя ссылка
 | Викискладе есть медиафайлы по теме Андреас Бласс. |
   | Эта статья об американском математике заглушка. Вы можете помочь Википедии расширяя это. |