Андреас Бласс - Andreas Blass
Андреас Р. Бласс | |
---|---|
Родился | 27 октября 1947 г. |
Национальность | Соединенные Штаты |
Известен | теория множеств , математическая логика , теоретическая информатика . |
Научная карьера | |
Поля | Математик |
Учреждения | университет Мичигана |
Докторант | Фрэнк Ваттенберг |
Андреас Рафаэль Бласс (родился 27 октября 1947 года) - математик, в настоящее время профессор Мичиганского университета . Он работает в области математической логики , в частности теории множеств и теоретической информатики .
Blass окончил университет Детройта , где он был Putnam членом , в 1966 году с BS в физике . Он получил докторскую степень. в 1970 году из Гарвардского университета , защитив диссертацию по заказу ультрафильтров, написанную под руководством Фрэнка Ваттенберга. С 1970 года он работал в Мичиганском университете, сначала инструктором по исследованиям Т.Х. Хильдебрандта (1970–72), затем доцентом (1972–76), доцентом (1976–84), а с 1984 года он был профессором. там.
В 2014 году он стал членом Американского математического общества.
Избранные публикации и результаты
В 1984 году Бласс доказал, что существование базиса для любого векторного пространства эквивалентно выбранной аксиоме . Он внес важный вклад в развитие теории множеств действительных чисел и принуждения .
Бласс был первым, кто указал на связь между семантикой игры и линейной логикой .
Он является автором более 200 научных статей по математической логике и теоретической информатике, в том числе:
- Бласс, Андреас (1984), «Существование базисов подразумевает аксиому выбора», Теория аксиоматических множеств (PDF) , Contemporary Mathematics volume 31, Providence, RI: American Mathematical Society , pp. 31–33, ISBN 0-8218-5026-1, Руководство по ремонту 0763890
- Бласс, Андреас; Шелах, Сахарон (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 .
использованная литература
внешние ссылки