Питер Аксель
Питер Аксель | |
|---|---|
 Петер Аксель (слева) с Михаэлем Ратьеном, Обервольфах, 2004 г. | |
| Рожденный | Питер Генри Джордж Аксель 31 октября 1941 г. |
| Умер | 1 августа 2023 г. |
| Национальность | Британский |
| Альма-матер | Оксфордский университет |
| Известный | Аксиома против фундамента Акселя Рефлексивные наборы Конструктивная теория множеств (CZF) |
| Научная карьера | |
| Поля | Математическая логика |
| Учреждения | |
| Диссертация | Математические проблемы логики (1967) |
| Докторантура | Джон Ньюсом Кроссли |
| Веб-сайт | www |
Питер Генри Джордж Аксель ( / ˈ æ k s əl / ; 31 октября 1941 — 1 августа 2023) — британский математик, логик и почётный профессор компьютерных кафедры наук и математической школы университета Манчестерского . [1] Он известен своими работами в области необоснованной теории множеств . [2] конструктивная теория множеств , [3] [4] и структуры Фреге . [5] [6]
Образование [ править ]
Аксель получил степень бакалавра гуманитарных наук по математике в 1963 году. [7] за которым последовала степень доктора философии в Оксфордском университете в 1966 году под руководством Джона Кроссли . [1] [8]
и исследования Карьера
После двух лет работы в Университете Висконсин-Мэдисон и Университете Рутгерса Аксель занял должность в Манчестерском университете . Он также занимал должности приглашенного специалиста в Университете Осло , Калифорнийском технологическом институте , Утрехтском университете , Стэнфордском университете и Университете Индианы в Блумингтоне . [7] В 2012 году он был приглашенным научным сотрудником Института перспективных исследований . [9]
Аксель входил в редакционную коллегию журнала формальной логики Нотр-Дам. [10] и «Кембриджские трактаты по теоретической информатике», ранее входившие в редакционную коллегию журналов « Журнал символической логики» и «Анналы чистой и прикладной логики» . [7] [11]
Он умер 1 августа 2023 года. [12]
Ссылки [ править ]
- ^ Jump up to: Перейти обратно: а б Питер Аксель в проекте «Математическая генеалогия»
- ^ Мосс, Лоуренс С. (20 февраля 2018 г.). Залта, Эдвард Н. (ред.). Стэнфордская энциклопедия философии . Лаборатория метафизических исследований, Стэнфордский университет – через Стэнфордскую энциклопедию философии.
- ^ Аксель, П. (1977). «Введение в индуктивные определения». Справочник по математической логике . Исследования по логике и основам математики. Том. 90. стр. 739–201. дои : 10.1016/S0049-237X(08)71120-0 . ISBN 9780444863881 .
- ^ Аксель, П. ; Мендлер, Н. (1989). «Окончательная теорема о коалгебре». Категория Теория и информатика . Конспекты лекций по информатике. Том. 389. с. 357. дои : 10.1007/BFb0018361 . ISBN 3-540-51662-Х .
- ^ Аксель, П. (1980). «Структуры Фреге и понятия предложения, истины и множества». Симпозиум Клини . Исследования по логике и основам математики. Том. 101. С. 31–32. дои : 10.1016/S0049-237X(08)71252-7 . ISBN 9780444853455 .
- ^ Питер Аксель на DBLP библиографическом сервере
- ^ Jump up to: Перейти обратно: а б с «Питер Аксель на странице Манчестерского университета» .
- ^ Аксель, Питер (1966). Математические проблемы в логике (докторская диссертация). Оксфордский университет. (требуется подписка)
- ^ «Учёные» . Институт перспективных исследований . 14 августа 2015 г.
- ^ Дама, Маркетинговые коммуникации: Интернет | Университет Нотр. «Журнал формальной логики Нотр-Дама» . Журнал формальной логики Нотр-Дама .
{{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка ) CS1 maint: числовые имена: список авторов ( ссылка ) - ^ «Анналы чистой и прикладной логики» – через www.journals.elsevier.com.
- ^ https://lists.ugent.be/wws/arc/fom/2023-08/msg00006.html .
Внешние ссылки [ править ]
СМИ, связанные с Питером Акселем, на Викискладе?
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |