Гэнди, Робин

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Робин Гэнди

англ. Robin Gandy
Портрет Робина Гэнди
Имя при рождении
Робин Оливер Гэнди
Дата рождения
22 сентября 1919 года
Место рождения
Ротерфилд-Пеппард, Оксфордшир, Англия
Дата смерти
20 ноября 1995 года
Место смерти
Оксфорд, Англия








Робин Оливер Гэнди ([Нет даты!]) — британский математик и логик. Известен работами в области теории рекурсии и вкладом в понимание тезиса Чёрча — Тьюринга.

Биография[править]

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

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

Карьера и научная деятельность[править]

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

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

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

Наследие[править]

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

Примечания[править]

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

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Гэнди, Робин», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Гэнди,_Робин

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Гэнди,_Робин&oldid=2696662