Адриан Матиас
Адриан Матиас | |
|---|---|
 Матиас в Лондоне, февраль 2020 г. | |
| Рожденный | 12 февраля 1944 г. |
| Национальность | Британский |
| Альма-матер | Тринити-колледж, Кембридж |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Кембриджский университет Университет Реюньона |
| Докторантура | Рональд Дженсен Джон Хортон Конвей |
| Докторанты | Акихиро Канамори , Томас Форстер |
Адриан Ричард Дэвид Матиас (родился 12 февраля 1944 г.) — британский математик, работающий в области теории множеств .Понятие принуждение» « Матиаса названо в его честь.
Карьера [ править ]
Матиас получил образование в Шрусбери и Тринити-колледже в Кембридже , где он изучал математику и окончил его в 1965 году. После окончания учебы он переехал в Бонн в Германии , гдеучился у Рональда Дженсена , посещая Калифорнийский университет в Лос-Анджелесе , Стэнфорд , Университет Висконсина и Университет Монаша в этот период .
В 1969 году он вернулся в Кембридж в качестве научного сотрудника в Питерхаусе и получил степень доктора философии. в Кембриджском университете в 1970 году. С 1969 по 1990 год Матиас был научным сотрудником Питерхауса; в этот период он был редактором « Математических трудов Кембриджского философского общества» с 1972 по 1974 год, провел один учебный год (1978/79) в качестве ассистента Hochschulassis у Йенсена во Фрайбурге и еще один год (1989/90) в ИИГС в Беркли. . Покинув Петерхаус в 1990 году, Матиас работал в Варшаве , в Математическом институте исследований Обервольфаха , в CRM в Барселоне и в Боготе , прежде чем стать профессором Университета Реюньона . Он ушел с профессорской должности в 2012 году и был принят к высшей степени доктора наук в Кембриджском университете в 2015 году. [1]
Работа [ править ]
ввели форсинг. и Матиас стал математически активным вскоре после того, как Пол Коэн Канамори [2] приписывает свой обзор принуждения, который в конечном итоге был опубликован как «Сюрреалистический пейзаж с фигурами». [3] как «жизненно важный источник» принуждения на заре его существования.
Его газета «Счастливые семьи» , [4] расширяя свою Кембриджскую диссертацию 1968 года, он доказывает важные свойства силы, ныне известной как сила Матиаса . В той же статье он показывает, что ни одно (бесконечное) максимальное почти непересекающееся семейство не может быть аналитическим .
Матиас также использовал принуждение для разделения двух слабых форм аксиомы выбора , показывая, что принцип упорядочения , который утверждает, что любое множество может быть линейно упорядочено , не подразумевает Булеву теорему о простых идеалах . [5]
Его недавняя работа по принуждению включает изучение теории PROVI предусмотрительных множеств , минималистской системы аксиом, которая до сих пор допускает принуждение.строительство продолжится. [6]
Матиас также известен своими работами по социологическим аспектам логики. К ним относятся «Незнание Бурбаки и Гильберта, Бурбаки и пренебрежение логикой» , в котором Матиас критикует Бурбаки подход к логике; в «Термине длины» 4 523 659 424 929 он показывает, что число в заголовке — это количество символов, необходимое для определения Бурбаки числа 1 . Матиас также рассмотрел утверждения о том, что стандарт ZFC сильнее, чем необходимо для «основной» математики; его статья Чего не хватает Мак Лейну? на эту тему появилось вместе с Сондерса Мак Лейна ответом Является ли Матиас онтологом? . Матиас также провел детальное исследование силы ослабленной системы, предложенной Мак Лейном. [7]
Ссылки [ править ]
- ^ Канамори, Акихиро (2016). «Матиас и теория множеств». Математическая логика Ежеквартальный журнал . 62:3 : 278–294.
- ^ Канамори, Акихиро (2003). Высшая Бесконечность . Берлин: Шпрингер. п. 117. ИСБН 3-540-00384-3 .
- ^ Матиас, Адриан. «Сюрреалистический пейзаж с фигурами». Периодика Венгерика . 10 : 109–175.
- ^ Матиас, Адриан (1977). «Счастливые семьи». Анналы математической логики . 12 : 59–111.
- ^ Джех, Томас (2008). Аксиома выбора . Минеола, Нью-Йорк: Дувр. п. 117. ИСБН 978-0-486-46624-8 .
- ^ Матиас, Адриан (2015). «Предоставление наборов и элементарная принудительная установка». Основы математики . 230 : 99–148.
- ^ Матиас, Адриан (2001). «Сила теории множеств Мак Лейна». Анналы чистой и прикладной логики . 110 : 107–234.
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
