Оглавление
Адриан Матиас
-
Биография Адриана Матиаса
- Британский математик, специализирующийся на теории множеств.
- Известен концепцией форсинга, названной в его честь.
-
Образование и карьера
- Получил образование в Шрусбери и Кембридже, защитил докторскую диссертацию в 1970 году.
- Работал в Бонне, Кембридже, Фрайбурге и Беркли, был редактором математического журнала.
- После ухода из Питерхауса работал в различных институтах, стал профессором Университета Реюньона.
-
Научные достижения
- Внес значительный вклад в теорию форсинга, опубликовав важные работы.
- Доказал свойства форсинга, включая невозможность аналитических максимальных почти непересекающихся семейств.
- Разделил две формы аксиомы выбора, показал независимость принципа упорядочения от теоремы Булева простого идеала.
- Исследовал теорию провиденциальных множеств и минималистские системы аксиом.
-
Социологические аспекты логики
- Критиковал подход Бурбаки к логике, опубликовал статью с числом символов для определения числа 1.
- Обсуждал эффективность стандартной системы аксиом ZFC и провел исследование ослабленной системы, предложенной Маком Лейном.
-
Личные данные
- Ушел с профессорской должности в 2012 году, получил высшую степень доктора наук в 2015 году.
-
Ссылки
- Домашняя страница Адриана Матиаса доступна на проекте “Математическая генеалогия”.