مستخدم:Ahmed Shoukry/روبن غاندي
| Robin Gandy | |
|---|---|
| معلومات شخصية | |
| اسم الولادة | Robin Oliver Gandy |
| الميلاد | 22 سبتمبر 1919 Rotherfield Peppard, Oxfordshire, England |
| الوفاة | 20 نوفمبر 1995 (76 سنة) Oxford, England |
| الإقامة | United Kingdom |
| الجنسية | British |
| الحياة العملية | |
| المؤسسات | |
| الأطروحات | On Axiomatic Systems in Mathematics and Theories in Physics |
| المدرسة الأم | University of Cambridge (PhD) |
| مشرف الدكتوراه | Alan Turing[1][2] |
| طلاب الدكتوراه | |
| مجال العمل | Mathematical logic |
| سبب الشهرة | Recursion theory |
تعديل مصدري - تعديل  | |
Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.[4]
He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge,[1] where they worked together.[5][6][7]
Education and early life
[عدل]Robin Gandy was born in the village of Rotherfield Peppard, Oxfordshire, England. He was the son of Thomas Hall Gandy (1876–1948) and Ida Caroline née Hony (1885–1977) and great-great-grandson of the architect and artist Joseph Gandy (1771–1843).
Educated at Abbotsholme School, 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. He was a member of the Cambridge Apostles.[بحاجة لمصدر]
Career and research
[عدل]Gandy held positions at the University of Leicester, the University of Leeds, and the University of Manchester. Gandy 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. One of the residential buildings of the college is now named in his honour.[8]
He is best 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.[9]
References
[عدل]- ^ ا ب Gandy، Robin Oliver (1953). On axiomatic systems in mathematics and theories in physics (PhD thesis). University of Cambridge. DOI:10.17863/CAM.16125.
- ^ ا ب Ahmed Shoukry/روبن غاندي في شجرة علماء الرياضيات
- ^ Hyland، John Martin Elliott (1975). Recursion Theory on the Countable Functionals. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. قالب:EThOS.
- ^ Yates, Mike (24 نوفمبر 1995). "Obituary: Robin Gandy". The Independent. اطلع عليه بتاريخ 2012-01-01.
- ^ Hodges، Andrew (1983). Alan Turing: The Enigma. Simon & Schuster. ISBN:0-671-49207-1.
- ^ "Notices". The Bulletin of Symbolic Logic. ج. 2 ع. 1: 121–125. مارس 1996. DOI:10.1017/s1079898600007988. JSTOR:421052.
- ^ Moschovakis, Yannis؛ Yates, Mike (سبتمبر 1996). "In Memoriam: Robin Oliver Gandy, 1919–1995". The Bulletin of Symbolic Logic. ج. 2 ع. 3: 367–370. DOI:10.1017/s1079898600007873. JSTOR:420996.
{{استشهاد بدورية محكمة}}: الوسيط غير المعروف|last-author-amp=تم تجاهله يقترح استخدام|name-list-style=(مساعدة) - ^ "Robin Gandy Buildings, Wolfson". Flickr. اطلع عليه بتاريخ 2012-01-01.
- ^ Wilfried Sieg, 2005, Church without dogma: axioms for computability, Carnegie Mellon University
[[تصنيف:مواليد 1919]] [[تصنيف:وفيات 1995]] [[تصنيف:رياضياتيون إنجليز في القرن 20]] [[تصنيف:أكاديميون من جامعة ليدز]] [[تصنيف:أكاديميون من جامعة ليستر]] [[تصنيف:شخصيات الجيش البريطاني في الحرب العالمية الثانية]] [[تصنيف:منطقيون إنجليز]] [[تصنيف:رياضياتيون إنجليز]] [[تصنيف:فلاسفة إنجليز]] [[تصنيف:عاملون في المنطق الرياضي]] [[تصنيف:أشخاص من أوكسفوردشير]] [[تصنيف:أساتذة جامعة كاليفورنيا في لوس أنجلوس]]