Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Британский математик и логик Мартин Хайланд и Джейн Кистер были друзьями, учениками и коллегами Алана Тьюринга. Тьюринг был научным руководителем Хайланда во время его работы над докторской диссертацией в Кембриджском университете, где они вместе работали.
British mathematician and logician
Martin Hyland
Jane Kister He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge, where they worked together.
Образование и ранние годы жизни
Робин Ганди родился в деревне Ротерфилд Пеппард, Оксфордшир, Англия. Его братом был дипломат Кристофер Ганди, а сестрой – врач Джиллиан Ганди. Получив образование в школе Эбботсхолм в Дербишире, Ганди два года изучал математический трипос в Королевском колледже Кембриджа, после чего в 1940 году поступил на военную службу. Во время Второй мировой войны он работал с оборудованием для радиоперехвата в Ханслоп-парке, где Алан Тьюринг занимался проектом по дешифровке речи, и стал одним из его друзей и соратников на всю жизнь. В 1946 году он завершил третью часть математического трипоса, а затем начал подготовку к защите докторской диссертации под руководством Тьюринга. Он защитил диссертацию на тему «Об аксиоматических системах в математике и теориях в физике» в 1952 году.
Robin Gandy was born in the village of Rotherfield Peppard, Oxfordshire, England. His brother was the diplomat Christopher Gandy and his sister was the physician Gillian Gandy. Educated at Abbotsholme School in Derbyshire, Gandy took two years of the Mathematical Tripos, at King's College, Cambridge, before enlisting for military service in 1940. During World War II he worked on radio intercept equipment at Hanslope Park, where Alan Turing was working on a speech encipherment project, and he became one of Turing's lifelong friends and associates. In 1946, he completed Part III of the Mathematical Tripos, then began studying for a PhD under Turing's supervision. He completed his thesis, On axiomatic systems in mathematics and theories in Physics, in 1952.
Карьера и исследования
Ганди занимал должности в Лестерском университете, Лидском университете и Манчестерском университете. Он был приглашенным адъюнкт-профессором в Стэнфордском университете с 1966 по 1967 год и занимал аналогичную должность в Калифорнийском университете в Лос-Анджелесе в 1968 году. В 1969 году он перешел в Колледж Вольфсона в Оксфорде, где стал ридером по математической логике. Ганди известен своими работами в теории рекурсии. Среди его вклада – теорема Спектора — Ганди, теорема сравнения стадий Ганди и теорема выбора Ганди. Он также внес значительный вклад в понимание тезиса Черча — Тьюринга, а его обобщение машины Тьюринга называется машиной Ганди. Ганди умер в Оксфорде, Англия, 20 ноября 1995 года.
Gandy held positions at the University of Leicester, the University of Leeds, and the University of Manchester. He was a visiting associate professor at Stanford University from 1966 to 1967, and held a similar position at University of California, Los Angeles in 1968. In 1969, he moved to Wolfson College, Oxford, where he became Reader in Mathematical Logic. Gandy is known for his work in recursion theory. His contributions include the Spector–Gandy theorem, the Gandy Stage Comparison theorem, and the Gandy Selection theorem. He also made a significant contribution to the understanding of the Church–Turing thesis, and his generalisation of the Turing machine is called a Gandy machine. Gandy died in Oxford, England on 20 November 1995.
Наследие
Здания Робина Ганди, два корпуса общежития в колледже Вольфсона, Оксфорд, названы в его честь. 22 февраля 2020 года в колледже состоялся однодневный коллоквиум, посвященный столетию со дня рождения Ганди, с участием некоторых его учеников; докладчиками были Марианна Антонутти Марфори (Мюнхен), Эндрю Ходжес (Оксфорд), Мартин Хайланд (Кембридж), Джефф Париж (Манчестер), Геран Сандхольм (Лейден), Кристина Тассон (Париж) и Филипп Уэлч (Бристоль).
The Robin Gandy Buildings, a pair of accommodation blocks at Wolfson College, Oxford, are named after Gandy. A one day centenary Gandy Colloquium was held on 22 February 2020 at the College in Gandy's honour, including contributions by some of his students; the speakers were Marianna Antonutti Marfori (Munich), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (Paris), and Philip Welch (Bristol).