Питер Акзель - Википедия - Peter Aczel

Питер Акзель
Aczel Rathjen.jpg
Питер Акзель (слева) с Майклом Ратьеном, Обервольфах 2004
Родившийся
Питер Генри Джордж Акзель

(1941-10-31) 31 октября 1941 г. (возраст 79)
НациональностьВеликобритания
Альма-матерОксфордский университет
ИзвестенАнтиосновная аксиома Акзеля
Рефлексивные наборы
Научная карьера
ПоляМатематическая логика
Учреждения
ТезисМатематические задачи логики (1967)
ДокторантДжон Ньюсом Кроссли
Интернет сайтwww.cs.человек.ac.Великобритания/ ~ петера/

Питер Генри Джордж Акзель (/ˈæksəl/; родился 31 октября 1941 г.) Британский математик, логик и Почетный соединение Профессор в Департамент компьютерных наук и Школа математики на Манчестерский университет.[1] Он известен своей работой в необоснованная теория множеств,[2] конструктивная теория множеств,[3][4] и Фреге конструкции.[5][6]

Образование

Акзель завершил свое Бакалавр искусств в Математика в 1963 г.[7] за которым следует DPhil на Оксфордский университет в 1966 г. под руководством Джон Кроссли.[1][8]

Карьера и исследования

После двух лет посещения позиций в Университет Висконсина-Мэдисона и Университет Рутгерса Aczel занял позицию на Манчестерский университет. Он также занимал гостевые должности в Университет Осло, Калифорнийский технологический институт, Утрехтский университет, Стэндфордский Университет и Университет Индианы Блумингтон.[7] В 2012 году он был приглашенным исследователем в Институте перспективных исследований.[9]

Aczel находится на редакционная коллегия из Журнал формальной логики Нотр-Дам[10] и Кембриджского трактата по теоретической информатике, ранее входившего в редакционные коллегии Журнал символической логики и Анналы чистой и прикладной логики.[7][11]

Рекомендации

  1. ^ а б Питер Акзель на Проект "Математическая генеалогия"
  2. ^ Мосс, Лоуренс С. (20 февраля 2018 г.). Залта, Эдвард Н. (ред.). Стэнфордская энциклопедия философии. Лаборатория метафизических исследований, Стэнфордский университет - через Стэнфордскую энциклопедию философии.
  3. ^ Акзель, П. (1977). «Введение в индуктивные определения». Справочник по математической логике. Исследования по логике и основам математики. 90. С. 739–201. Дои:10.1016 / S0049-237X (08) 71120-0. ISBN  9780444863881.
  4. ^ Акзель, П.; Мендлер, Н. (1989). «Заключительная теорема коалгебры». Категория Теория и информатика. Конспект лекций по информатике. 389. п. 357. Дои:10.1007 / BFb0018361. ISBN  3-540-51662-X.
  5. ^ Акзель, П. (1980). «Структуры Фреге и понятия предложения, истины и множества». Клини симпозиум. Исследования по логике и основам математики. 101. С. 31–32. Дои:10.1016 / S0049-237X (08) 71252-7. ISBN  9780444853455.
  6. ^ Питер Акзель в DBLP Сервер библиографии Отредактируйте это в Викиданных
  7. ^ а б c "Питер Акзель пейдж Манчестерского университета".
  8. ^ Aczel, Питер (1966). Математические задачи логики (Докторская диссертация). Оксфордский университет.(требуется подписка)
  9. ^ "Ученые". Институт перспективных исследований.
  10. ^ Дама, Маркетинговые коммуникации: Интернет | Университет Нотр. "Журнал формальной логики Нотр-Дам". Журнал формальной логики Нотр-Дам.
  11. ^ «Анналы чистой и прикладной логики» - через www.journals.elsevier.com.

Внешняя ссылка

СМИ, связанные с Питер Акзель в Wikimedia Commons