Питер Ацель
Питер Ацель | |
|---|---|
 Петер Ацель (слева) с Михаэлем Ратьеном, Обервольфах 2004 г. | |
| Рожденный | Питер Генри Джордж Ацель ( 1941-10-31 )31 октября 1941 г. |
| Умер | ( 2023-08-01 )1 августа 2023 г. |
| Национальность | британский |
| Альма-матер | Оксфордский университет |
| Известный | Антифундаментальная аксиома Ацеля Рефлексивные множества Конструктивная теория множеств (CZF) |
| Научная карьера | |
| Поля | Математическая логика |
| Учреждения | |
| Тезис | Математические проблемы логики (1967) |
| научный руководитель | Джон Ньюсом Кроссли |
| Веб-сайт | www.cs.man.ac.uk/~petera/ |
Питер Генри Джордж Ацель ( / ˈ æ k s əl / ; 31 октября 1941 — 1 августа 2023) — британский математик, логик и почётный профессор кафедры компьютерных наук и математической школы Манчестерского университета . [ 1] Он известен своими работами в области теории не вполне обоснованных множеств , [2] конструктивной теории множеств , [3] [4] и структур Фреге . [5] [6]
Образование
Ацель получил степень бакалавра искусств по математике в 1963 году [7], а затем степень доктора философии в Оксфордском университете в 1966 году под руководством Джона Кроссли . [1] [8]
Карьера и исследования
После двух лет работы в качестве приглашенного исследователя в Университете Висконсин-Мэдисон и Ратгерском университете , Ацель занял должность в Университете Манчестера . Он также занимал должности приглашенного исследователя в Университете Осло , Калифорнийском технологическом институте , Утрехтском университете , Стэнфордском университете и Индианском университете в Блумингтоне . [7] В 2012 году он был приглашенным исследователем в Институте перспективных исследований. [9]
Ацель входил в редколлегию Notre Dame Journal of Formal Logic [10] и Cambridge Tracts in Theoretical Computer Science, а ранее работал в редколлегиях Journal of Symbolic Logic и Annals of Pure and Applied Logic . [7] [11]
Он умер 1 августа 2023 года. [12]
Ссылки
- ^ Питер Ацель в проекте «Генеалогия математики»
- ^ Мосс, Лоуренс С. (20 февраля 2018 г.). «Необоснованная теория множеств». В Zalta, Edward N. (ред.). Стэнфордская энциклопедия философии. Исследовательская лаборатория метафизики, Стэнфордский университет – через Стэнфордскую энциклопедию философии.
- ^ Aczel, P. (1977). "Введение в индуктивные определения". Справочник по математической логике . Исследования по логике и основаниям математики. Том 90. С. 739–201. doi :10.1016/S0049-237X(08)71120-0. ISBN 9780444863881.
- ^ Aczel, P.; Mendler, N. (1989). "A final coalgebra Theorem". Теория категорий и информатика . Lecture Notes in Computer Science. Vol. 389. p. 357. doi :10.1007/BFb0018361. ISBN 3-540-51662-X.
- ^ Aczel, P. (1980). "Структуры Фреге и понятия предложения, истины и множества". Симпозиум Клини . Исследования по логике и основаниям математики. Том 101. С. 31–32. doi :10.1016/S0049-237X(08)71252-7. ISBN 9780444853455.
- ^ Питер Ацель на сервере библиографии DBLP
- ^ abc "Питер Ацель, страница Манчестерского университета".
- ^ Aczel, Peter (1966). Математические проблемы в логике (диссертация на степень доктора философии). Оксфордский университет.(требуется подписка)
- ^ "Scholars". Институт перспективных исследований . 14 августа 2015 г.
- ^ Дам, Маркетинговые коммуникации: Веб | Университет Нотр. "Notre Dame Journal of Formal Logic". Notre Dame Journal of Formal Logic .
{{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка ) CS1 maint: числовые имена: список авторов ( ссылка ) - ^ «Анналы чистой и прикладной логики» – через www.journals.elsevier.com.
- ^ "Fom - [FOM] Питер Ацель - дуга".
Внешние ссылки
