Robin Gandy - Robin Gandy - Wikipedia

Robin Gandy
narozený
Robin Oliver Gandy

(1919-09-22)22. září 1919
Rotherfield Peppard, Oxfordshire, Anglie
Zemřel20. listopadu 1995(1995-11-20) (ve věku 76)
Oxford, Anglie
Národnostbritský
VzděláváníAbbotsholme School
Alma materUniverzita v Cambridge (PhD)
Známý jakoTeorie rekurze
Vědecká kariéra
PoleMatematická logika
Instituce
TezeO axiomatických systémech v matematice a teoriích ve fyzice  (1953)
Doktorský poradceAlan Turing[1][2]
Doktorandi

Robin Oliver Gandy (22 září 1919 - 20 listopadu 1995) byl britský matematik a logik.[4]Byl to přítel, student a spolupracovník Alan Turing, který byl pod dohledem Turinga během jeho PhD na Univerzita v Cambridge,[1] kde společně pracovali.[5][6][7]

Vzdělání a časný život

Robin Gandy se narodil ve vesnici Rotherfield Peppard, Oxfordshire, Anglie.[4] Byl synem Thomase Hall Gandyho (1876–1948) a Idy Caroline rozené Honyové (1885–1977) a pra-pravnuka architekta a umělce Joseph Gandy (1771–1843).

Vzdělaný v Abbotsholme School, Gandy trvalo dva roky Matematické triposy, na King's College v Cambridge, než nastoupil na vojenskou službu v roce 1940. Během druhá světová válka pracoval na rádiovém odposlechu v Hanslope Park, kde Alan Turing pracoval na projevu šifrování projektu a stal se jedním z Turingových celoživotních přátel a spolupracovníků. V roce 1946 dokončil část III Matematických triposů, poté začal studovat a PhD pod Turingovým dohledem. Dokončil svou práci, O axiomatických systémech v matematice a teoriích ve fyzice, v roce 1952.[1] Byl členem Cambridge apoštolové.[Citace je zapotřebí ]

Kariéra a výzkum

Gandy zastával pozice u University of Leicester, University of Leeds a University of Manchester. Gandy byl hostujícím docentem v Stanfordská Univerzita od roku 1966 do roku 1967 a zastával podobnou pozici v University of California, Los Angeles v roce 1968. V roce 1969 se přestěhoval do Wolfson College v Oxfordu, kde se stal Čtenář v matematické logice.

Robin Gandy je známý svou prací v teorie rekurze. Mezi jeho příspěvky patří věta Spector – Gandy, věta o srovnání Gandyho stupně a Gandyova věta o výběru. Významně také přispěl k porozumění církvi - Turingova teze a jeho zobecnění Turingův stroj se nazývá stroj Gandy.[8]

Gandy zemřel Oxford, Anglie.[4][9]

Dědictví

The Budovy Robina Gandyho, pár ubytovacích bloků v Wolfson College v Oxfordu, jsou pojmenovány po Gandy.[10][11] Jednodenní sté výročí Gandy Colloquium se konalo dne 22. února 2020 na akademii na počest Gandyho, včetně příspěvků některých jeho studentů.[12][13] Řečníky byly Marianna Antonutti Marfori (Mnichov), Andrew Hodges (Oxford), Martin Hyland (Cambridge), Jeff Paris (Manchester), Göran Sundholm (Leiden), Christine Tasson (Paříž) a Philip Welch (Bristol).

Reference

  1. ^ A b C Gandy, Robin Oliver (1953). O axiomatických systémech v matematice a teoriích ve fyzice. repository.cam.ac.uk (Disertační práce). Univerzita v Cambridge. doi:10.17863 / CAM.16125. EThOS  uk.bl.ethos.590164. Zdarma ke čtení
  2. ^ A b Robin Gandy na Matematický genealogický projekt
  3. ^ Hyland, John Martin Elliott (1975). Teorie rekurze na počitatelných funkcionálech. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. EThOS  uk.bl.ethos.460247.
  4. ^ A b C Yates, Mike (24. listopadu 1995). „Nekrolog: Robin Gandy“. Nezávislý. Citováno 1. ledna 2012.
  5. ^ Hodges, Andrew (1983). Alan Turing: Záhada. Simon & Schuster. ISBN  0-671-49207-1.
  6. ^ „Oznámení“. Bulletin symbolické logiky. 2 (1): 121–125. Březen 1996. doi:10.1017 / s1079898600007988. JSTOR  421052.
  7. ^ Moschovakis, Yannis & Yates, Mike (září 1996). „In Memoriam: Robin Oliver Gandy, 1919–1995“. Bulletin symbolické logiky. 2 (3): 367–370. doi:10.1017 / s1079898600007873. JSTOR  420996.
  8. ^ Wilfried Sieg, 2005, Církev bez dogmatu: axiomy pro vypočítatelnost, Univerzita Carnegie Mellon
  9. ^ Robin Gandy - zápisník Alana Turinga, archivováno v Archivu
  10. ^ „Typy ubytování - budovy Robin Gandy“. SPOJENÉ KRÁLOVSTVÍ: Wolfson College v Oxfordu. Citováno 14. dubna 2020.
  11. ^ „Budovy Robina Gandyho, Wolfson“. Flickr. 6. dubna 2008. Citováno 1. ledna 2012.
  12. ^ „Gandy Colloquium“. SPOJENÉ KRÁLOVSTVÍ: Wolfson College v Oxfordu. 22. února 2020. Citováno 14. dubna 2020.
  13. ^ Isaacson, Daniel (2020). „Wolfson College pozdravuje Robina Gandyho k jeho stému výročí“. SPOJENÉ KRÁLOVSTVÍ: Wolfson College v Oxfordu. Citováno 14. dubna 2020.