Робин Ганди - Robin Gandy
Робин Ганди | |
|---|---|
| Родился |
Робин Оливер Ганди
22 сентября 1919 г.
Ротерфилд Пеппард , Оксфордшир, Англия
|
| Умер | 20 ноября 1995 г. (76 лет)
Оксфорд , Англия
|
| Национальность | Британский |
| Образование | Abbotsholme School |
| Альма-матер | Кембриджский университет (PhD) |
| Известен | Теория рекурсии |
| Научная карьера | |
| Поля | Математическая логика |
| Учреждения | |
| Тезис | Об аксиоматических системах в математике и теориях в физике (1953) |
| Докторант | Алан Тьюринг |
| Докторанты | |
Робин Оливер Ганди (22 сентября 1919 - 20 ноября 1995) был британским математиком и логиком . Он был другом, студентом и соратником Алана Тьюринга , которым руководил Тьюринг во время его докторской диссертации в Кембриджском университете , где они работали вместе.
Образование и ранняя жизнь
Робин Ганди родился в деревне Ротерфилд Пеппард , Оксфордшир, Англия. Он был сыном Томаса Холла Ганди (1876–1948), врача общей практики , и Иды Кэролайн, урожденной Хони (1885–1977), социального работника, а затем писателя. Он был праправнуком архитектора и художника Джозефа Ганди (1771–1843).
Получив образование в школе Абботсхольм в Дербишире, Ганди два года проучился по математике в Королевском колледже в Кембридже , прежде чем поступить на военную службу в 1940 году. Во время Второй мировой войны он работал над оборудованием радиоперехвата в Ханслоп-парке , где работал Алан Тьюринг. проект по шифрованию речи , и он стал одним из друзей и соратников Тьюринга на всю жизнь. В 1946 году он завершил часть III «Математических трипов», а затем начал учиться на докторскую степень под руководством Тьюринга. Он защитил диссертацию на тему « Об аксиоматических системах в математике и теориях в физике» в 1952 году. Он был членом Кембриджских апостолов .
Карьера и исследования
Ганди занимал должности в Университете Лестера , Университете Лидса и Университете Манчестера . Он был приглашенным адъюнкт-профессором Стэнфордского университета с 1966 по 1967 год и занимал аналогичную должность в Калифорнийском университете в Лос-Анджелесе в 1968 году. В 1969 году он переехал в Вольфсон-колледж в Оксфорде , где стал читателем по математической логике.
Ганди известен своими работами в области теории рекурсии . Его вклады включают теорему Спектора – Ганди, теорему сравнения стадий Ганди и теорему выбора Ганди. Он также внес значительный вклад в понимание тезиса Черча – Тьюринга , а его обобщение машины Тьюринга называется машиной Ганди.
Ганди умер в Оксфорде , Англия, 20 ноября 1995 года.
Наследие
В Робин GANDY Здания , пара жилых блоков в Wolfson College, Оксфорд , были названы в честь Gandy. 22 февраля 2020 года в колледже в честь Ганди был проведен однодневный коллоквиум, посвященный столетию Ганди , с участием некоторых из его студентов; выступили Марианна Антонутти Марфори (Мюнхен), Эндрю Ходжес (Оксфорд), Мартин Хайланд (Кембридж), Джефф Пэрис (Манчестер), Йоран Сундхольм (Лейден), Кристин Тассон (Париж) и Филип Уэлч (Бристоль).