Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Robin_Gandy> ?p ?o }
- Robin_Gandy abstract "Robin Oliver Gandy (22 September 1919 – 20 November 1995) was a British mathematician and logician.He was a friend, student, and associate of Alan Turing, having been supervised by Turing during his PhD at the University of Cambridge (graduated 1953), where they worked together.Robin Gandy was born in the village of Peppard, Oxfordshire, England. Educated at Abbotsholme, 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 Apostles.Gandy held positions at the Universities of Leicester, Leeds, and Manchester. Gandy was a visiting associate professor at Stanford 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.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 generalization of the Turing machine is called a Gandy machine.Gandy died in Oxford, England.".
- Robin_Gandy almaMater University_of_Cambridge.
- Robin_Gandy birthDate "1919-09-22".
- Robin_Gandy birthPlace England.
- Robin_Gandy birthPlace Oxfordshire.
- Robin_Gandy birthPlace Rotherfield_Peppard.
- Robin_Gandy birthYear "1919".
- Robin_Gandy deathDate "1995-11-20".
- Robin_Gandy deathPlace England.
- Robin_Gandy deathPlace Oxford.
- Robin_Gandy deathYear "1995".
- Robin_Gandy doctoralAdvisor Alan_Turing.
- Robin_Gandy doctoralStudent Jeff_Paris.
- Robin_Gandy doctoralStudent Martin_Hyland.
- Robin_Gandy doctoralStudent Philip_Welch.
- Robin_Gandy field Mathematical_logic.
- Robin_Gandy knownFor Computability_theory.
- Robin_Gandy nationality United_Kingdom.
- Robin_Gandy residence United_Kingdom.
- Robin_Gandy wikiPageExternalLink id.phtml?id=36415.
- Robin_Gandy wikiPageExternalLink robin.html.
- Robin_Gandy wikiPageExternalLink FKKX.
- Robin_Gandy wikiPageExternalLink 245090.
- Robin_Gandy wikiPageID "3155895".
- Robin_Gandy wikiPageLength "6232".
- Robin_Gandy wikiPageOutDegree "66".
- Robin_Gandy wikiPageRevisionID "660332426".
- Robin_Gandy wikiPageWikiLink Abbotsholme_School.
- Robin_Gandy wikiPageWikiLink Alan_Turing.
- Robin_Gandy wikiPageWikiLink Association_for_Symbolic_Logic.
- Robin_Gandy wikiPageWikiLink Cambridge_Apostles.
- Robin_Gandy wikiPageWikiLink Category:1919_births.
- Robin_Gandy wikiPageWikiLink Category:1995_deaths.
- Robin_Gandy wikiPageWikiLink Category:20th-century_mathematicians.
- Robin_Gandy wikiPageWikiLink Category:Academics_of_the_University_of_Leeds.
- Robin_Gandy wikiPageWikiLink Category:Academics_of_the_University_of_Leicester.
- Robin_Gandy wikiPageWikiLink Category:Academics_of_the_University_of_Manchester.
- Robin_Gandy wikiPageWikiLink Category:Alumni_of_Kings_College,_Cambridge.
- Robin_Gandy wikiPageWikiLink Category:British_Army_personnel_of_World_War_II.
- Robin_Gandy wikiPageWikiLink Category:English_logicians.
- Robin_Gandy wikiPageWikiLink Category:English_mathematicians.
- Robin_Gandy wikiPageWikiLink Category:English_philosophers.
- Robin_Gandy wikiPageWikiLink Category:Fellows_of_Wolfson_College,_Oxford.
- Robin_Gandy wikiPageWikiLink Category:Mathematical_logicians.
- Robin_Gandy wikiPageWikiLink Category:People_from_Oxfordshire.
- Robin_Gandy wikiPageWikiLink Category:Stanford_University_Department_of_Mathematics_faculty.
- Robin_Gandy wikiPageWikiLink Category:University_of_California,_Los_Angeles_faculty.
- Robin_Gandy wikiPageWikiLink Cipher.
- Robin_Gandy wikiPageWikiLink Computability_theory.
- Robin_Gandy wikiPageWikiLink Encipherment.
- Robin_Gandy wikiPageWikiLink England.
- Robin_Gandy wikiPageWikiLink Gandy_Selection_Theorem.
- Robin_Gandy wikiPageWikiLink Gandy_Stage_Comparison_theorem.
- Robin_Gandy wikiPageWikiLink Hanslope_Park.
- Robin_Gandy wikiPageWikiLink History_of_the_Church–Turing_thesis.
- Robin_Gandy wikiPageWikiLink Jeff_Paris.
- Robin_Gandy wikiPageWikiLink Kings_College,_Cambridge.
- Robin_Gandy wikiPageWikiLink Logic.
- Robin_Gandy wikiPageWikiLink Logician.
- Robin_Gandy wikiPageWikiLink Martin_Hyland.
- Robin_Gandy wikiPageWikiLink Mathematical_Tripos.
- Robin_Gandy wikiPageWikiLink Mathematical_logic.
- Robin_Gandy wikiPageWikiLink Mathematician.
- Robin_Gandy wikiPageWikiLink Oxford.
- Robin_Gandy wikiPageWikiLink Oxfordshire.
- Robin_Gandy wikiPageWikiLink Philip_Welch.
- Robin_Gandy wikiPageWikiLink Reader_(academic_rank).
- Robin_Gandy wikiPageWikiLink Recursion_theory.
- Robin_Gandy wikiPageWikiLink Rotherfield_Peppard.
- Robin_Gandy wikiPageWikiLink School_of_Mathematics,_University_of_Manchester.
- Robin_Gandy wikiPageWikiLink Simon_&_Schuster.
- Robin_Gandy wikiPageWikiLink Spector–Gandy_theorem.
- Robin_Gandy wikiPageWikiLink Stanford_University.
- Robin_Gandy wikiPageWikiLink The_Bulletin_of_Symbolic_Logic.
- Robin_Gandy wikiPageWikiLink Turing_machine.
- Robin_Gandy wikiPageWikiLink United_Kingdom.
- Robin_Gandy wikiPageWikiLink University_of_California,_Los_Angeles.
- Robin_Gandy wikiPageWikiLink University_of_Cambridge.
- Robin_Gandy wikiPageWikiLink University_of_Leeds.
- Robin_Gandy wikiPageWikiLink University_of_Leicester.
- Robin_Gandy wikiPageWikiLink Wolfson_College,_Oxford.
- Robin_Gandy wikiPageWikiLink World_War_II.
- Robin_Gandy wikiPageWikiLinkText "Gandy".
- Robin_Gandy wikiPageWikiLinkText "Gandy's".
- Robin_Gandy wikiPageWikiLinkText "Gandy, Robin".
- Robin_Gandy wikiPageWikiLinkText "Robin Gandy".
- Robin_Gandy almaMater University_of_Cambridge.
- Robin_Gandy birthDate "1919-09-22".
- Robin_Gandy birthPlace England.
- Robin_Gandy birthPlace Oxfordshire.
- Robin_Gandy birthPlace Rotherfield_Peppard.
- Robin_Gandy dateOfBirth "1919-09-22".
- Robin_Gandy dateOfDeath "1995-11-20".
- Robin_Gandy deathDate "1995-11-20".
- Robin_Gandy deathPlace "Oxford, England".
- Robin_Gandy doctoralAdvisor Alan_Turing.
- Robin_Gandy doctoralStudents Jeff_Paris.
- Robin_Gandy doctoralStudents Martin_Hyland.
- Robin_Gandy doctoralStudents Philip_Welch.
- Robin_Gandy fields Mathematical_logic.