Мартин Хайланд, Робин Гэнди – британ математигі, Алан Тьюрингтің шәкірті мен әріптесі. 2-ші дүйн. соғысында жұмыс істеген, криптографиядағы еңбектері зерттеледі.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы 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 жылы математикалық трипостың III бөлігін аяқтағаннан кейін, Тьюрингтің жетекшілігімен PhD дәрежесін алуға кірісті. 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 жылы Оксфордтағы Вольфсон колледжіне көшті, онда математикалық логикадан оқылды. Ганди рекурсия теориясы саласындағы еңбектерімен белгілі. Оның ғылыми еңбектеріне Спектор–Ганди теоремасы, Ганди сатылық салыстыру теоремасы және Ганди таңдау теоремасы кіреді. Ол сонымен қатар Черч–Тьюринг тезисін түсінуге маңызды үлес қосты, ал оның Тьюринг машинасының жалпылама түрі Ганди машинасы деп аталады. Ганди 1995 жылғы 20 қарашада Англияның Оксфорд қаласында дүние салды.
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.
Мұра
Оксфорд университетінің Вольфсон колледжіндегі екі тұрғын үй блогы Робин Ганди ғимараты деп аталды, олар Гандидің құрметіне берілген. 2020 жылдың 22 ақпанында колледжде Гандидің туылған күніне арналған бір күндік ғылыми конференция өтті, онда оның бірнеше шәкірттері де баяндама жасады. Баяндама жасағандар: Марианна Антонутти Марфори (Мюнхен), Эндрю Ходжес (Оксфорд), Мартин Хайланд (Кембридж), Джефф Париж (Манчестер), Геран Сандхолм (Лейден), Кристина Тассон (Париж) және Филип Уэлч (Бристоль).
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).