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