Алекс Уилки - Alex Wilkie

Алекс Уилки
Алекс Уилки.jpg
Уилки, на фото 2007 год.
Родившийся
Алекс Джеймс Уилки

1948 (71–72 года)
НациональностьБританский
Альма-матерУниверситетский колледж Лондона
Бедфорд-колледж, Лондонский университет
ИзвестенТеорема Уилки
НаградыПремия Карпа (1993)
Член Королевского общества (2001)
Pólya Prize (LMS) (2017)
Научная карьера
ПоляМатематика, Теория моделей
УчрежденияМанчестерский университет
ДокторантУилфрид Ходжес

Алекс Джеймс Уилки ФРС (родился в 1948 г. Нортгемптон[1]) - британский математик, известный своим вкладом в теория моделей и логика. Ранее читал по математической логике в Оксфордский университет, он был назначен в Филдена Кафедра чистой математики на Манчестерский университет в 2007.[2][3][4]

Образование

Алекс Уилки присутствовал Эйлсберийская гимназия и получил степень бакалавра математики с отличием от Университетский колледж Лондона в 1969 г. получил степень магистра математической логики Лондонский университет в 1970 г. и его докторская степень в Бедфорд-колледж, Лондонский университет в 1973 г. под руководством Уилфрид Ходжес с диссертацией под названием Модели теории чисел.

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

После получения докторской степени он поступил на должность преподавателя математики в Лестерский университет с 1972 по 1973 год, затем научный сотрудник Открытый университет с 1973 по 1978 год. Два периода он проработал младшим преподавателем математики в Оксфордский университет (1978–80 и 1981–2) с (1980–1) в качестве приглашенного доцента в Йельский университет. В 1980 году Уилки решил Проблема алгебры средней школы Тарского.

В октябре 1982 года Уилки был назначен научным сотрудником отдела математики Парижский университет VII, а в следующем году вернулся в Англию, чтобы пройти трехлетнюю программу SERC (сейчас EPSRC ) передовая исследовательская стипендия Манчестерского университета. Через два года он был назначен преподавателем кафедры математики. В 1986 году он поступил в Оксфорд, где был назначен читателем математической логики, который освободился после ухода на пенсию. Робин Ганди. Он оставался на этом посту до назначения на кафедру Филдена в Манчестере.

Награды и награды

Уилки был избран Парень из Королевское общество в 2001 году. Процитировать цитату

Уилки объединил логические методы и дифференциально-геометрические методы, чтобы установить фундаментальные теоремы конечности для множеств, определяемых с помощью экспоненциальной функции, и более общих Пфаффовы функции. Результаты, выходящие далеко за рамки результатов, полученных обычными методами, уже нашли поразительное применение к группам Ли.[5]

Уилки получил Приз Кэрол Карп (высшая награда Ассоциация символической логики, каждые пять лет) совместно с Эхуд Грушовски в 1993 г.[6][7] Он был избран в Совет Лондонское математическое общество в 2007 г. - вице-президент Ассоциации символической логики (2006 г.) и президент Ассоциации символической логики в 2009 г. В 2012 г. он стал членом Американское математическое общество.[8] Он снова получил премию Карпа в 2013 году вместе с Моти Гитиком, Яаков Петерсилом, Джонатан Пила, и Сергей Старченко.[7] В 2017 году Уилки был награжден Pólya Prize.[9]

Он был приглашенным спикером Международный конгресс математиков в Беркли в 1986 году[10] и в Берлине в 1998 году.[11]

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

  1. ^ Уилки, Алекс Джеймс, Кто есть кто в образовании, Inglewood Books, 2003
  2. ^ Домашняя страница Алекса Уилки в Манчестере
  3. ^ Алекс Уилки на Проект "Математическая генеалогия"
  4. ^ Список публикаций из Microsoft Academic
  5. ^ УВЕДОМЛЕНИЯ, Бюллетень символической логики, Том 7, № 3, стр. 436, 2001 г.
  6. ^ УВЕДОМЛЕНИЯ Премия Кэрол Карп, J. Символическая логика, том 58, номер 2, июнь 1993 г.
  7. ^ а б «Лауреаты премии Карпа». Ассоциация символической логики. Архивировано из оригинал 6 марта 2017 г.. Получено 10 мая 2018.
  8. ^ Список членов Американского математического общества. Проверено 1 сентября 2013 года.
  9. ^ Список лауреатов премии Pólya. Проверено 10 октября 2019.
  10. ^ Уилки, А. Дж. "О схемах, аксиоматизирующих арифметику". Труды ICM, 1986, Беркли. С. 331–337.
  11. ^ Уилки, А. Дж. (1998). «О-минимальность». Док. Математика. (Билефельд) Extra Vol. ICM Berlin, 1998, т. я. С. 633–636.
Предшествует
Марк Полликотт
Филдена Кафедра чистой математики
2007–
Преемник
Текущий держатель