АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

Гэнди, Робин

Робин Оливер Гэнди (22 сентября 1919 — 20 ноября 1995, Оксфорд, Юго-Восточная Англия, Англия, Великобритания) — британский математик и логик. Известен работами в области теории рекурсии и вкладом в понимание тезиса Чёрча — Тьюринга.

Общие сведения
Робин Гэнди
англ. Robin Gandy
Имя при рождении Робин Оливер Гэнди
Дата рождения 22 сентября 1919(1919-09-22)
Место рождения Ротерфилд-Пеппард, Оксфордшир, Англия
Дата смерти 20 ноября 1995(1995-11-20) (76 лет)
Место смерти Оксфорд, Англия
Страна
Образование
Род деятельности математик, философ, преподаватель университета

Биография

Робин Гэнди родился в деревне Ротерфилд-Пеппард (Оксфордшир, Англия)[2]. Он был праправнуком архитектора и художника Джозефа Гэнди (1771—1843), сыном врача общей практики Томаса Холла Гэнди (1876—1948) и социального работника, а позднее писательницы Иды Кэролайн (урождённой Хони; 1885—1977)[3]. Его братом был дипломат Кристофер Гэнди, а сестрой — врач Джиллиан Гэнди.

Гэнди учился в школе Эбботсхолм в Дербишире. Затем он два года изучал математику в Королевском колледже Кембриджа, после чего в 1940 году был призван на военную службу. Во время Второй мировой войны он работал с оборудованием для радиоперехвата в Хэнслоуп-Парке, где Алан Тьюринг занимался проектом шифрования речи. Гэнди стал одним из близких друзей и соратников Тьюринга[2]. В 1946 году он завершил третью часть математического трайпоса и начал работу над докторской диссертацией под руководством Тьюринга. В 1952 году он защитил диссертацию на тему «Об аксиоматических системах в математике и теориях в физике»[4]. Гэнди был членом интеллектуального общества «Кембриджские апостолы».

Карьера и научная деятельность

Гэнди работал в Лестерском университете, Лидсском университете и Манчестерском университете. С 1966 по 1967 год он был приглашённым доцентом в Стэнфордском университете, а в 1968 году занимал аналогичную должность в Калифорнийском университете в Лос-Анджелесе. В 1969 году он перешёл в Вулфсон-колледж Оксфордского университета, где стал преподавателем математической логики.

Гэнди внёс вклад в теорию рекурсии. Среди его достижений — теорема Спектора — Гэнди, теорема Гэнди о сравнении стадий и теорема Гэнди о выборе. Он также внёс значительный вклад в понимание тезиса Чёрча — Тьюринга, а его обобщение машины Тьюринга получило название «машина Гэнди»[5].

Гэнди умер в Оксфорде 20 ноября 1995 года[2][6].

Наследие

В честь Гэнди названы здания Робина Гэнди — два жилых корпуса в Вулфсон-колледже Оксфордского университета[7]. 22 февраля 2020 года в колледже прошёл однодневный коллоквиум, посвящённый столетию со дня его рождения. В мероприятии приняли участие некоторые из его учеников. Среди докладчиков были Марианна Антонутти Марфори (Мюнхен), Эндрю Ходжес (Оксфорд), Мартин Хайланд (Кембридж), Джефф Парис (Манчестер), Йоран Сундхольм (Лейден), Кристин Тассон (Париж) и Филип Уэлч (Бристоль).

Примечания

  1. ↑ Mathematics Genealogy Project (англ.) — 1997.
  2. ↑ 1 2 3 Yates, Mike. Obituary: Robin Gandy. The Independent (24 ноября 1995). Дата обращения: 24 июня 2026.
  3. ↑ Ida Gandy – Writer (англ.). Aldbourne Heritage Centre. Дата обращения: 24 июня 2026.
  4. ↑ Gandy Robin Oliver. On axiomatic systems in mathematics and theories in physics. repository.cam.ac.uk (1953). doi:10.17863/CAM.16125. Дата обращения: 24 июня 2026.
  5. ↑ Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University
  6. ↑ Robin Gandy — The Alan Turing Scrapbook, archived at Archive.Today
  7. ↑ Robin Gandy Buildings, Wolfson. Flickr (6 апреля 2008). Дата обращения: 24 июня 2026.

Дополнительно по теме

Категории