@prefix ns0:	<http://dbpedia.org/ontology/Scientist/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Martin_Hyland	ns0:doctoralAdvisor	dbpedia:Robin_Gandy .
@prefix dbpedia-owl:	<http://dbpedia.org/ontology/> .
dbpedia:Martin_Hyland	dbpedia-owl:doctoralAdvisor	dbpedia:Robin_Gandy .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Martin_Hyland	dbpprop:doctoralAdvisor	dbpedia:Robin_Gandy .
dbpedia:Michael_Fourman	ns0:doctoralAdvisor	dbpedia:Robin_Gandy ;
	dbpedia-owl:doctoralAdvisor	dbpedia:Robin_Gandy .
dbpedia:Alan_Turing	ns0:doctoralStudent	dbpedia:Robin_Gandy ;
	dbpedia-owl:doctoralStudent	dbpedia:Robin_Gandy ;
	dbpprop:doctoralStudents	dbpedia:Robin_Gandy .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Robin_Gandy	rdf:type	owl:Thing ,
		<http://dbpedia.org/class/yago/FellowsOfWolfsonCollege,Oxford> ,
		dbpedia-owl:Person .
@prefix ns6:	<http://dbpedia.org/class/yago/> .
dbpedia:Robin_Gandy	rdf:type	ns6:AcademicsOfTheUniversityOfManchester ,
		ns6:BritishMathematicians ,
		dbpedia-owl:Scientist ,
		ns6:Logicians ;
	dbpprop:name	"Robin Gandy"@en ;
	ns0:doctoralAdvisor	dbpedia:Alan_Turing ;
	ns0:doctoralStudent	dbpedia:Martin_Hyland ;
	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000008d8168> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
dbpedia:Robin_Gandy	foaf:name	"Robin Gandy" .
@prefix ns8:	<http://en.wikipedia.org/wiki/> .
dbpedia:Robin_Gandy	foaf:page	ns8:Robin_Gandy ;
	dbpedia-owl:knownFor	dbpedia:Recursion_theory .
@prefix ns9:	<http://dbpedia.org/ontology/Person/> .
dbpedia:Robin_Gandy	ns9:knownFor	dbpedia:Recursion_theory ;
	dbpedia-owl:doctoralAdvisor	dbpedia:Alan_Turing ;
	dbpedia-owl:doctoralStudent	dbpedia:Martin_Hyland ;
	dbpprop:reference	<http://www.turing.org.uk/turing/scrapbook/robin.html> ,
		<http://www.genealogy.math.ndsu.nodak.edu/html/id.phtml?id=36415> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Robin_Gandy	rdfs:label	"Robin Gandy"@en ,
		"Robin Gandy"@pt ;
	dbpprop:abstract	"Robin Oliver Gandy foi um matem\u00E1tico brit\u00E2nico. Ele foi amigo, estudante e ajudante de Alan Turing, tendo sido orientado por Turing durante o seu doutorado na Universidade de Cambridge (obteve o t\u00EDtulo em 1953), onde trabalharam juntos. Robin Gandy &ndash; The Alan Turing Scrapbook Robin Gandy &ndash; The Mathematics Genealogy Project"@pt ,
		"Robin Oliver Gandy 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. Educated at Abbotsholme, Robin 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 became involved in work with Alan Turing, on a speech encipherment project at Hanslope Park, and 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&ndash;Gandy theorem, the Gandy Stage Comparison theorem, and the Gandy Selection Theorem. He also made a significant contribution to the History of the Church&ndash;Turing thesis, and his generalization of the Turing machine is called a Gandy machine."@en ;
	rdfs:comment	"Robin Oliver Gandy 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. Educated at Abbotsholme, Robin Gandy took two years of the Mathematical Tripos, at King's College, Cambridge, before enlisting for military service in 1940."@en ,
		"Robin Oliver Gandy foi um matem\u00E1tico brit\u00E2nico. Ele foi amigo, estudante e ajudante de Alan Turing, tendo sido orientado por Turing durante o seu doutorado na Universidade de Cambridge (obteve o t\u00EDtulo em 1953), onde trabalharam juntos. Robin Gandy &ndash; The Alan Turing Scrapbook Robin Gandy &ndash; The Mathematics Genealogy Project"@pt .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns12:	<http://dbpedia.org/resource/Category:> .
dbpedia:Robin_Gandy	skos:subject	ns12:British_mathematicians ,
		<http://dbpedia.org/resource/Category:Wolfson_College%2C_Oxford> ,
		ns12:Academics_of_the_University_of_Manchester ,
		ns12:Logicians ,
		<http://dbpedia.org/resource/Category:Fellows_of_Wolfson_College%2C_Oxford> ,
		<http://dbpedia.org/resource/Category:1919_births> ,
		<http://dbpedia.org/resource/Category:1995_deaths> ,
		<http://dbpedia.org/resource/Category:Alumni_of_King%27s_College%2C_Cambridge> .
@prefix ns13:	<http://dbpedia.org/resource/Template:> .
dbpedia:Robin_Gandy	dbpprop:wikiPageUsesTemplate	ns13:infobox_scientist ;
	dbpprop:doctoralStudents	dbpedia:Martin_Hyland ;
	dbpprop:knownFor	dbpedia:Recursion_theory ;
	dbpprop:doctoralAdvisor	dbpedia:Alan_Turing .
@prefix ns14:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Robin_Gandy	dbpprop:hasPhotoCollection	ns14:Robin_Gandy .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Robin_Gandy	owl:sameAs	dbpedia:Robin_Gandy .