Робин Оливер Ганди (22 сентября 1919 - 20 ноября 1995) был британским математиком и логиком . [4] Он был другом, учеником и сподвижником Алан Тьюринг , будучи под наблюдением Тьюринга во время своего доктора философии в Кембриджском университете , [1] , где они работали вместе. [5] [6] [7]
Робин Ганди | |
---|---|
Родившийся | Робин Оливер Ганди 22 сентября 1919 г. Ротерфилд Пеппард , Оксфордшир, Англия |
Умер | 20 ноября 1995 г. Оксфорд , Англия | (76 лет)
Национальность | Британский |
Образование | Abbotsholme School |
Альма-матер | Кембриджский университет (PhD) |
Известен | Теория рекурсии |
Научная карьера | |
Поля | Математическая логика |
Учреждения | |
Тезис | Об аксиоматических системах в математике и теориях в физике (1953) |
Докторант | Алан Тьюринг [1] [2] |
Докторанты |
Образование и ранняя жизнь
Робин Ганди родился в деревне Ротерфилд Пеппард , Оксфордшир, Англия. [4] Он был сыном Томаса Холла Ганди (1876–1948), врача общей практики , и Иды Кэролайн, урожденной Хони (1885–1977), социального работника, а затем писателя. [8] Он был правнуком архитектора и художника Джозефа Ганди (1771–1843).
Получив образование в школе Абботсхольм в Дербишире, Ганди два года проучился по математике в Королевском колледже в Кембридже , прежде чем поступить на военную службу в 1940 году. Во время Второй мировой войны он работал над оборудованием радиоперехвата в Ханслоп-парке , где работал Алан Тьюринг. проект по шифрованию речи , и он стал одним из друзей и соратников Тьюринга на всю жизнь. В 1946 году он завершил часть III «Математических трипов», а затем начал учиться на докторскую степень под руководством Тьюринга. В 1952 году он защитил диссертацию на тему « Аксиоматические системы в математике и теории в физике» . [1] Он был членом Кембриджских апостолов . [ необходима цитата ]
Карьера и исследования
Ганди занимал должности в Университете Лестера , Университете Лидса и Университете Манчестера . Он был приглашенным адъюнкт-профессором Стэнфордского университета с 1966 по 1967 год и занимал аналогичную должность в Калифорнийском университете в Лос-Анджелесе в 1968 году. В 1969 году он переехал в Вольфсон-колледж в Оксфорде , где стал читателем по математической логике.
Ганди известен своими работами в области теории рекурсии . Его вклад включает теорему Спектора – Ганди, теорему сравнения стадий Ганди и теорему выбора Ганди. Он также внес значительный вклад в понимание тезиса Черча – Тьюринга , а его обобщение машины Тьюринга называется машиной Ганди. [9]
Ганди умер в Оксфорде , Англия, 20 ноября 1995 года. [4] [10]
Наследие
В Робин GANDY Здания , пара жилых блоков в Wolfson College, Оксфорд , были названы в честь Gandy. [11] [12] 22 февраля 2020 года в колледже в честь Ганди был проведен однодневный коллоквиум, посвященный столетию Ганди , с участием некоторых из его студентов; [13] [14] спикерами были Марианна Антонутти Марфори (Мюнхен), Эндрю Ходжес (Оксфорд), Мартин Хайланд (Кембридж), Джефф Пэрис (Манчестер), Йоран Сундхольм (Лейден), Кристин Тассон (Париж) и Филип Уэлч ( Бристоль).
Рекомендации
- ^ a b c Ганди, Робин Оливер (1953). Об аксиоматических системах в математике и теориях в физике . repository.cam.ac.uk (кандидатская диссертация). Кембриджский университет. DOI : 10.17863 / CAM.16125 . EThOS uk.bl.ethos 590164 .
- ^ a b c Робин Ганди в проекте « Математическая генеалогия»
- ^ Хайленд, Джон Мартин Эллиотт (1975). Теория рекурсии на счетных функционалах . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. EThOS uk.bl.ethos.460247 .
- ^ а б в Йетс, Майк (24 ноября 1995 г.). «Некролог: Робин Ганди» . Независимый . Проверено 1 января 2012 года .
- ^ Ходжес, Эндрю (1983). Алан Тьюринг: Загадка . Саймон и Шустер . ISBN 0-671-49207-1.
- ^ «Уведомления». Вестник символической логики . 2 (1): 121–125. Март 1996 г. doi : 10.1017 / s1079898600007988 . JSTOR 421052 .
- ^ Мощовакис, Яннис и Йейтс, Майк (сентябрь 1996 г.). «In Memoriam: Робин Оливер Ганди, 1919–1995». Вестник символической логики . 2 (3): 367–370. DOI : 10.1017 / s1079898600007873 . JSTOR 420996 .
- ^ «Ида Ганди - писательница» . Центр наследия Олдборна . Проверено 7 апреля 2021 года .
- ^ Вильфрид Зиг, 2005, Церковь без догмы: аксиомы вычислимости, Университет Карнеги-Меллона
- ↑ Робин Ганди - Альбом для вырезок Алана Тьюринга , заархивированный в Архиве.
- ^ «Типы размещения - Здания Робина Ганди» . Великобритания: Колледж Вольфсона, Оксфорд . Проверено 14 апреля 2020 года .
- ^ "Здания Робина Ганди, Вольфсон" . Flickr . 6 апреля 2008 . Проверено 1 января 2012 года .
- ^ "Коллоквиум Ганди" . Великобритания: Колледж Вольфсона, Оксфорд . 22 февраля 2020 . Проверено 14 апреля 2020 года .
- ^ Исааксон, Дэниел (2020). «Вольфсон Колледж салютов Робин Gandy на его столетию» . Великобритания: Колледж Вольфсона, Оксфорд . Проверено 14 апреля 2020 года .