Робин Ганди

Робин Ганди
Робин Ганди
Рожденный	Робин Оливер Ганди ; 22 сентября 1919 г. ; Ротерфилд Пеппард , Оксфордшир, Англия
Умер	20 ноября 1995 г. (в возрасте 76 лет) ; Оксфорд , Англия
Национальность	Британский
Образование	Abbotsholme School
Альма -матер	Кембриджский университет (доктор философии)
Известен для	Теория рекурсии
	Научная карьера
Поля	Математическая логика
Учреждения	Университет Манчестера ; Университет Лестера ; Университет Лидса ; Стэнфордский университет ; Калифорнийский университет, Лос -Анджелес ; Оксфордский университет ;
Тезис	О аксиоматических системах по математике и теориям в физике (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 году он перешел в колледж Вольфсона, Оксфорд , где стал читателем по математической логике.

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

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

Наследие

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

Ссылки

^ Подпрыгнуть до: ^а ^{беременный} ^в Ганди, Робин Оливер (1953). О аксиоматических системах по математике и теориям в области физики . Repository.cam.ac.uk (кандидатская диссертация). Кембриджский университет. doi : 10.17863/cam.16125 . Ethos uk.bl.ethos.590164 .
^ Подпрыгнуть до: ^а ^{беременный} ^в Робин Ганди из проекта по генеалогии математики
^ Хайленд, Джон Мартин Эллиотт (1975). Теория рекурсии на счетных функционалах . Bodleian.ox.ac.uk (тезис DPHIL). Оксфордский университет. 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 . S2CID 246638427 .
^ Moschovakis, Yannis & Yates, Mike (сентябрь 1996 г.). «В Memoriam: Робин Оливер Ганди, 1919–1995» . Бюллетень символической логики . 2 (3): 367–370. doi : 10.1017/s1079898600007873 . JSTOR 420996 . S2CID 120785678 .
^ «Ида Ганди - писатель» . Центр наследия Алдбурн . Получено 7 апреля 2021 года .
^ Morley, C.; Cursiter, J. (2 июня 2016 г.). «Некролог: Джиллиан Ганди». BMJ . 353 : I3106. doi : 10.1136/bmj.i3106 . PMID 27256283 . S2CID 41777853 .
^ «Вольфсон колледж приветствует Робина Ганди в своем столетнем колледже Вольфсон, Оксфорд» .
^ Уилфрид Зиг, 2005, церковь без догмы: аксиомы для вычислительности, Университет Карнеги -Меллона
^ Робин Ганди - записки Алана Тьюринга , архивированный на archive.today
^ «Типы жилья - здания Робина Ганди» . Великобритания: Вольфсон -колледж, Оксфорд . Получено 14 апреля 2020 года .
^ «Робин Гэнди здания, Вольфсон» . Flickr . 6 апреля 2008 г. Получено 1 января 2012 года .
^ «Ганди коллоквиум» . Великобритания: Вольфсон -колледж, Оксфорд . 22 февраля 2020 года . Получено 14 апреля 2020 года .
^ Исааксон, Даниэль (2020). «Воольфсон -колледж приветствует Робина Ганди на его столетнем гонке» . Великобритания: Вольфсон -колледж, Оксфорд . Получено 14 апреля 2020 года .

[gandyphd-1] Подпрыгнуть до: ^а ^{беременный} ^в Ганди, Робин Оливер (1953). О аксиоматических системах по математике и теориям в области физики . Repository.cam.ac.uk (кандидатская диссертация). Кембриджский университет. doi : 10.17863/cam.16125 . Ethos uk.bl.ethos.590164 .

[mathgene-2] Подпрыгнуть до: ^а ^{беременный} ^в Робин Ганди из проекта по генеалогии математики

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

[independent-4] Подпрыгнуть до: ^а ^{беременный} ^в Йейтс, Майк (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] Moschovakis, Yannis & Yates, Mike (сентябрь 1996 г.). «В Memoriam: Робин Оливер Ганди, 1919–1995» . Бюллетень символической логики . 2 (3): 367–370. doi : 10.1017/s1079898600007873 . JSTOR 420996 . S2CID 120785678 .

[8] «Ида Ганди - писатель» . Центр наследия Алдбурн . Получено 7 апреля 2021 года .

[9] Morley, C.; Cursiter, J. (2 июня 2016 г.). «Некролог: Джиллиан Ганди». BMJ . 353 : I3106. doi : 10.1136/bmj.i3106 . PMID 27256283 . S2CID 41777853 .

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

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

[12] Робин Ганди - записки Алана Тьюринга , архивированный на archive.today

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

[14] «Робин Гэнди здания, Вольфсон» . Flickr . 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 ]

Базы данных управления авторитетом
Международный	Isni Виаф WorldCat
Национальный	Германия Соединенные Штаты Чешская Республика Нидерланды Норвегия Израиль Каталония
Академики	Cinii Математическая генеалогия Проект zbmath MathScinet
Другой	Idref