Робин Ганди

Робин Ганди
Робин Ганди
Рожденный	Робин Оливер Ганди ; 22 сентября 1919 г. ; Ротерфилд Пеппард , Оксфордшир, Англия
Умер	20 ноября 1995 г. (76 лет) ; Оксфорд , Англия
Национальность	Британский
Образование	Школа Эбботсхолм
Альма-матер	Кембриджский университет (доктор философии)
Известный	Теория рекурсии
	Научная карьера
Поля	Математическая логика
Учреждения	Манчестерский университет ; Университет Лестера ; Университет Лидса ; Стэнфордский университет ; Калифорнийский университет, Лос-Анджелес ; Оксфордский университет ;
Диссертация	Об аксиоматических системах в математике и теориях в физике (1953)
Докторантура	Алан Тьюринг
Докторанты	Мартин Хайланд ; Джейн Честер ; Джефф Пэрис ;

Робин Оливер Ганди (22 сентября 1919 — 20 ноября 1995) — британский математик и логик . ^[4] Он был другом, студентом и соратником Алана Тьюринга , под руководством Тьюринга во время работы над докторской диссертацией в Кембриджском университете . ^[1] где они работали вместе. ^[5]^[6]^[7]

Образование и молодость

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

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

Карьера и исследования

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

Ганди известен своими работами в области теории рекурсии . Его вклад включает в себя теорему Спектора-Ганди, теорему Ганди о сравнении стадий и теорему выбора Ганди. Он также внес значительный вклад в понимание тезиса Чёрча-Тьюринга , а его обобщение машины Тьюринга получило название машины Ганди. ^[11]

Ганди умер в Оксфорде , Англия, 20 ноября 1995 года. ^[4]^[12]

Наследие

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

Ссылки

^ Jump up to: Перейти обратно: ^а ^б ^с Ганди, Робин Оливер (1953). Об аксиоматических системах в математике и теориях в физике . репозиторий.cam.ac.uk (кандидатская диссертация). Кембриджский университет. дои : 10.17863/CAM.16125 . EThOS uk.bl.ethos.590164 .
^ Jump up to: Перейти обратно: ^а ^б ^с Робин Ганди в проекте «Математическая генеалогия»
^ Хайланд, Джон Мартин Эллиотт (1975). Теория рекурсии на счетных функционалах . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. EThOS uk.bl.ethos.460247 .
^ Jump up to: Перейти обратно: ^а ^б ^с Йейтс, Майк (24 ноября 1995 г.). «Некролог: Робин Ганди» . Независимый . Проверено 1 января 2012 г.
^ Ходжес, Эндрю (1983). Алан Тьюринг: Загадка . Саймон и Шустер . ISBN 0-671-49207-1 .
^ «Уведомления». Бюллетень символической логики . 2 (1): 121–125. Март 1996 г. doi : 10.1017/s1079898600007988 . JSTOR 421052 . S2CID 246638427 .
^ Мошовакис, Яннис и Йейтс, Майк (сентябрь 1996 г.). «Памяти: Робин Оливер Ганди, 1919–1995» . Бюллетень символической логики . 2 (3): 367–370. дои : 10.1017/s1079898600007873 . JSTOR 420996 . S2CID 120785678 .
^ «Ида Ганди — писательница» . Центр наследия Олдборна . Проверено 7 апреля 2021 г.
^ Морли, К.; Керситер, Дж. (2 июня 2016 г.). «Некролог: Джиллиан Ганди». БМЖ . 353 : i3106. дои : 10.1136/bmj.i3106 . ПМИД 27256283 . S2CID 41777853 .
^ «Колледж Вольфсона приветствует столетнего юбилея Робина Ганди | Колледж Вольфсона, Оксфорд» .
^ Вильфрид Зиг, 2005, Церковь без догмы: аксиомы вычислимости, Университет Карнеги-Меллона
↑ Робин Ганди — Альбом для вырезок Алана Тьюринга , из архива Archive.Today.
^ «Типы размещения – Здания Робина Ганди» . Великобритания: Колледж Вольфсона, Оксфорд . Проверено 14 апреля 2020 г.
^ «Здания Робина Ганди, Вольфсон» . Фликр . 6 апреля 2008 года . Проверено 1 января 2012 г.
^ «Коллоквиум Ганди» . Великобритания: Колледж Вольфсона, Оксфорд . 22 февраля 2020 г. Проверено 14 апреля 2020 г.
^ Исааксон, Дэниел (2020). «Колледж Вольфсона приветствует столетнего юбилея Робина Ганди» . Великобритания: Колледж Вольфсона, Оксфорд . Проверено 14 апреля 2020 г.

[gandyphd-1] Jump up to: Перейти обратно: ^а ^б ^с Ганди, Робин Оливер (1953). Об аксиоматических системах в математике и теориях в физике . репозиторий.cam.ac.uk (кандидатская диссертация). Кембриджский университет. дои : 10.17863/CAM.16125 . EThOS uk.bl.ethos.590164 .

[mathgene-2] Jump up to: Перейти обратно: ^а ^б ^с Робин Ганди в проекте «Математическая генеалогия»

[hylandphd-3] Хайланд, Джон Мартин Эллиотт (1975). Теория рекурсии на счетных функционалах . bodleian.ox.ac.uk (докторская диссертация). Оксфордский университет. EThOS uk.bl.ethos.460247 .

[independent-4] Jump up to: Перейти обратно: ^а ^б ^с Йейтс, Майк (24 ноября 1995 г.). «Некролог: Робин Ганди» . Независимый . Проверено 1 января 2012 г.

[5] Ходжес, Эндрю (1983). Алан Тьюринг: Загадка . Саймон и Шустер . ISBN 0-671-49207-1 .

[6] «Уведомления». Бюллетень символической логики . 2 (1): 121–125. Март 1996 г. doi : 10.1017/s1079898600007988 . JSTOR 421052 . S2CID 246638427 .

[7] Мошовакис, Яннис и Йейтс, Майк (сентябрь 1996 г.). «Памяти: Робин Оливер Ганди, 1919–1995» . Бюллетень символической логики . 2 (3): 367–370. дои : 10.1017/s1079898600007873 . JSTOR 420996 . S2CID 120785678 .

[8] «Ида Ганди — писательница» . Центр наследия Олдборна . Проверено 7 апреля 2021 г.

[9] Морли, К.; Керситер, Дж. (2 июня 2016 г.). «Некролог: Джиллиан Ганди». БМЖ . 353 : i3106. дои : 10.1136/bmj.i3106 . ПМИД 27256283 . S2CID 41777853 .

[10] «Колледж Вольфсона приветствует столетнего юбилея Робина Ганди | Колледж Вольфсона, Оксфорд» .

[11] Вильфрид Зиг, 2005, Церковь без догмы: аксиомы вычислимости, Университет Карнеги-Меллона

[12] Робин Ганди — Альбом для вырезок Алана Тьюринга , из архива Archive.Today.

[13] «Типы размещения – Здания Робина Ганди» . Великобритания: Колледж Вольфсона, Оксфорд . Проверено 14 апреля 2020 г.

[14] «Здания Робина Ганди, Вольфсон» . Фликр . 6 апреля 2008 года . Проверено 1 января 2012 г.

[15] «Коллоквиум Ганди» . Великобритания: Колледж Вольфсона, Оксфорд . 22 февраля 2020 г. Проверено 14 апреля 2020 г.

[16] Исааксон, Дэниел (2020). «Колледж Вольфсона приветствует столетнего юбилея Робина Ганди» . Великобритания: Колледж Вольфсона, Оксфорд . Проверено 14 апреля 2020 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Каталония Германия Израиль Соединенные Штаты Чешская Республика Нидерланды
академики	ЦиНии MathSciNet Проект математической генеалогии zbMATH
Другой	ИдРеф