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

Андреас Р. Бласс
Бласс в 2008 году
Рожденный	27 октября 1947 г. ( 1947-10-27 ) ( 76 лет) Нюрнберг
Национальность	Американский
Известный	теория множеств , математическая логика , теоретическая информатика
Научная карьера
Поля	Математик
Учреждения	Мичиганский университет
Докторантура	Фрэнк Ваттенберг

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

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

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

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

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

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

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

• Бласс, Андреас (1984), «Существование базисов подразумевает аксиому выбора» (PDF) , Аксиоматическая теория множеств , Современная математика, том 31, Провиденс, Род-Айленд: Американское математическое общество , стр. 31–33, ISBN  0-8218-5026-1 , МР   0763890
• Бласс, Андреас; Шела, Сахарон (1987). «Могут быть простые $P_{\aleph _{1}}$- и $P_{\aleph _{2}}$-точки и порядок Рудина-Кейслера могут быть направлены вниз». Annals of Pure and Applied Logic . 33 : 213–243. doi : 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) . Бык. Евро. доц. Теор. Вычислить. наук. ЕАТКС . 81 : 195–225 . Проверено 28 апреля 2008 г.

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

• Страница Бласса в UM