| Birthplace
|
http://dbpedia.org/resource/Rotherfield_Peppard +
|
| http://dbpedia.org/ontology/abstract
|
Robin Oliver Gandy (22 September 1919 – 20 … 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, where they worked together. of Cambridge, where they worked together.
, Robin Oliver Gandy (22 septembre 1919-20 novembre 1995) est un mathématicien et logicien britannique, ami d'Alan Turing, qui est son directeur de thèse à l'université de Cambridge (1953) et son collaborateur.
, روبن أوليفر غاندي (22 سبتمبر 1919 - 20 نوفمبر 1995)، عالم رياضيات بريطاني وفيلسوف في المنطق.كان صديقاً وطالباً وشريكاً لـ آلان تورينج ، بعد أن أشرف عليه تورنج أثناء حصوله على درجة الدكتوراه في جامعة كامبريدج، حيث عملا معاً في هذه الجامعة.
, Robin Oliver Gandy (* 22. September 1919 i … Robin Oliver Gandy (* 22. September 1919 in , Oxfordshire; † 20. November 1995 in Oxford) war ein britischer Logiker. Gandy begann noch vor dem Zweiten Weltkrieg ein Studium der Mathematik und Philosophie am King’s College der Cambridge University, an der er bei Alan Turing 1952 promovierte (On axiomatic systems in mathematics and theories in physics), mit dem er auch zusammenarbeitete und mit dem er befreundet war. Das Studium war ab 1940 (er hatte damals den ersten Teil der Tripos-Prüfungen abgelegt, den dritten Teil holte er nach dem Krieg nach) sechs Jahre in der Zeit des Zweiten Weltkriegs unterbrochen, wo er zunächst als Radio- und Radar-Experte arbeitete. Er kannte Turing näher aus der Zeit während des Kriegs (1944 in Hanslope Park), als er mit ihm an Sprachverschlüsselungsmethoden (eine Maschine mit dem von Gandy gewählten Codenamen Delilah) arbeitete. 1950 bis 1956 war er Lecturer in Angewandter Mathematik an der University of Leicester und 1956 bis 1961 in gleicher Funktion an der University of Leeds. 1961 holte ihn Max Newman, der schon Turing dorthin geholt hatte, als Senior Lecturer an die University of Manchester, wo er 1964 Reader und 1967 Professor wurde und Logik und Philosophie der Mathematik unterrichtete. 1966/67 war er Associate Professor an der Stanford University und 1968 an der UCLA. 1969 wechselte er als Reader nach Oxford zum Wolfson College, wo heute eines der Gebäude nach ihm benannt ist. Vorher organisierte er noch 1969 das europäische Treffen der ASL in Manchester. In Oxford hatte er über 30 Doktoranden. 1986 ging er dort in den Ruhestand. Er beschäftigte sich vor allem mit Rekursionstheorie und effektiver deskriptiver Mengenlehre. Eine Verallgemeinerung von Turing-Maschinen ist nach ihm benannt. 1970 bis 1973 war er im Rat der Association for Symbolic Logic. Er war Mitgründer (mit John Shepherdson) und erster Präsident des British Logic Colloquium.Gandy war auch der Erbe von Turings schriftlichem Nachlass. Er war an der Herausgabe von dessen Werken beteiligt und arbeitete noch kurz vor seinem Tod an der Edition von Turings On computable numbers. 1962 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Stockholm (Recursive functionals of type 3 and 4). Einer von Gandys Doktoranden, John Sharkey, wurde später Mitglied des britischen Oberhauses (House of Lords) und brachte 2013 einen Antrag zur Rehabilitierung von Alan Turing ein. Dieser war 1953 wegen seiner Homosexualität zu einer Gefängnisstrafe verurteilt und psychiatrisch zwangsbehandelt worden, woraufhin er wenig später Suizid beging., woraufhin er wenig später Suizid beging.
, Robin Oliver Gandy (22 de setembro de 1919 … Robin Oliver Gandy (22 de setembro de 1919 — 20 de novembro de 1995) foi um matemático britânico. Foi aluno e ajudante de Alan Turing, tendo sido orientado por Turing durante o seu doutorado na Universidade de Cambridge (obteve o título em 1953), onde trabalharam juntos. título em 1953), onde trabalharam juntos.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Mathematical_logic +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Cambridge +
|
| http://dbpedia.org/ontology/birthDate
|
"1919-09-22"^^xsd:date
|
| http://dbpedia.org/ontology/birthName
|
Robin Oliver Gandy
|
| http://dbpedia.org/ontology/deathDate
|
"1995-11-20"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Oxford +
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Alan_Turing +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Jane_Kister +
, http://dbpedia.org/resource/Jeff_Paris_%28mathematician%29 +
, http://dbpedia.org/resource/Martin_Hyland +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/University_of_California%2C_Los_Angeles +
, http://dbpedia.org/resource/University_of_Leeds +
, http://dbpedia.org/resource/University_of_Manchester +
, http://dbpedia.org/resource/University_of_Leicester +
, http://dbpedia.org/resource/Stanford_University +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Recursion_theory +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://doi.org/10.17863/CAM.16125 +
|
| http://dbpedia.org/ontology/wikiPageID
|
3155895
|
| http://dbpedia.org/ontology/wikiPageLength
|
8784
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1115650269
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Martin_Hyland +
, http://dbpedia.org/resource/Andrew_Hodges +
, http://dbpedia.org/resource/Philip_Welch +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Jane_Kister +
, http://dbpedia.org/resource/Category:Alumni_of_King%27s_College%2C_Cambridge +
, http://dbpedia.org/resource/Logician +
, http://dbpedia.org/resource/Reader_%28academic_rank%29 +
, http://dbpedia.org/resource/Category:English_logicians +
, http://dbpedia.org/resource/Joseph_Gandy +
, http://dbpedia.org/resource/Category:Fellows_of_Wolfson_College%2C_Oxford +
, http://dbpedia.org/resource/Category:British_Army_personnel_of_World_War_II +
, http://dbpedia.org/resource/King%27s_College%2C_Cambridge +
, http://dbpedia.org/resource/Category:Gandy_family +
, http://dbpedia.org/resource/University_of_Leeds +
, http://dbpedia.org/resource/Ida_Gandy +
, http://dbpedia.org/resource/Category:20th-century_English_philosophers +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Category:Military_personnel_from_Oxfordshire +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leicester +
, http://dbpedia.org/resource/Category:British_Army_soldiers +
, http://dbpedia.org/resource/Alan_Turing +
, http://dbpedia.org/resource/Recursion_theory +
, http://dbpedia.org/resource/History_of_the_Church%E2%80%93Turing_thesis +
, http://dbpedia.org/resource/Category:1995_deaths +
, http://dbpedia.org/resource/University_of_Leicester +
, http://dbpedia.org/resource/Category:20th-century_English_mathematicians +
, http://dbpedia.org/resource/World_War_II +
, http://dbpedia.org/resource/University_of_Manchester +
, http://dbpedia.org/resource/Category:1919_births +
, http://dbpedia.org/resource/Category:People_from_Oxfordshire +
, http://dbpedia.org/resource/Hanslope_Park +
, http://dbpedia.org/resource/Mathematical_Tripos +
, http://dbpedia.org/resource/Category:Academics_of_the_Victoria_University_of_Manchester +
, http://dbpedia.org/resource/Encipherment +
, http://dbpedia.org/resource/University_of_Cambridge +
, http://dbpedia.org/resource/PhD +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leeds +
, http://dbpedia.org/resource/Category:University_of_California%2C_Los_Angeles_faculty +
, http://dbpedia.org/resource/Jeff_Paris_%28mathematician%29 +
, http://dbpedia.org/resource/University_of_Oxford +
, http://dbpedia.org/resource/Cambridge_Apostles +
, http://dbpedia.org/resource/General_practitioner +
, http://dbpedia.org/resource/University_of_California%2C_Los_Angeles +
, http://dbpedia.org/resource/Rotherfield_Peppard +
, http://dbpedia.org/resource/Oxford +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Wolfson_College%2C_Oxford +
, http://dbpedia.org/resource/Abbotsholme_School +
, http://dbpedia.org/resource/Category:Stanford_University_Department_of_Mathematics_faculty +
, http://dbpedia.org/resource/Stanford_University +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Cambridge +
|
| http://dbpedia.org/property/birthDate
|
"1919-09-22"^^xsd:date
|
| http://dbpedia.org/property/birthName
|
Robin Oliver Gandy
|
| http://dbpedia.org/property/birthPlace
|
Rotherfield Peppard, Oxfordshire, England
|
| http://dbpedia.org/property/deathDate
|
"1995-11-20"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
Oxford, England
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Alan_Turing +
|
| http://dbpedia.org/property/doctoralStudents
|
Martin Hyland
, Jeff Paris
, Jane Kister
|
| http://dbpedia.org/property/education
|
http://dbpedia.org/resource/Abbotsholme_School +
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Mathematical_logic +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Recursion_theory +
|
| http://dbpedia.org/property/name
|
Robin Gandy
|
| http://dbpedia.org/property/nationality
|
British
|
| http://dbpedia.org/property/thesisTitle
|
On Axiomatic Systems in Mathematics and Theories in Physics
|
| http://dbpedia.org/property/thesisUrl
|
https://doi.org/10.17863/CAM.16125 +
|
| http://dbpedia.org/property/thesisYear
|
1953
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:EngvarB +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Infobox_scientist +
|
| http://dbpedia.org/property/workplaces
|
University of Leicester
, University of Leeds
, University of Oxford
, University of California, Los Angeles
, University of Manchester
, Stanford University
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:20th-century_English_philosophers +
, http://dbpedia.org/resource/Category:20th-century_English_mathematicians +
, http://dbpedia.org/resource/Category:1919_births +
, http://dbpedia.org/resource/Category:British_Army_soldiers +
, http://dbpedia.org/resource/Category:Alumni_of_King%27s_College%2C_Cambridge +
, http://dbpedia.org/resource/Category:People_from_Oxfordshire +
, http://dbpedia.org/resource/Category:Fellows_of_Wolfson_College%2C_Oxford +
, http://dbpedia.org/resource/Category:British_Army_personnel_of_World_War_II +
, http://dbpedia.org/resource/Category:University_of_California%2C_Los_Angeles_faculty +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leicester +
, http://dbpedia.org/resource/Category:Gandy_family +
, http://dbpedia.org/resource/Category:Mathematical_logicians +
, http://dbpedia.org/resource/Category:Stanford_University_Department_of_Mathematics_faculty +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leeds +
, http://dbpedia.org/resource/Category:Academics_of_the_Victoria_University_of_Manchester +
, http://dbpedia.org/resource/Category:English_logicians +
, http://dbpedia.org/resource/Category:Military_personnel_from_Oxfordshire +
, http://dbpedia.org/resource/Category:1995_deaths +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/234217153 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Robin_Gandy?oldid=1115650269&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Robin_Gandy +
|
| http://xmlns.com/foaf/0.1/name
|
Robin Gandy
|
| owl:sameAs |
http://ht.dbpedia.org/resource/Robin_Gandy +
, http://data.bibliotheken.nl/id/thes/p071685650 +
, http://d-nb.info/gnd/123876494 +
, http://viaf.org/viaf/234217153 +
, http://dbpedia.org/resource/Robin_Gandy +
, http://pt.dbpedia.org/resource/Robin_Gandy +
, http://fr.dbpedia.org/resource/Robin_Gandy +
, http://de.dbpedia.org/resource/Robin_Gandy +
, https://global.dbpedia.org/id/2MK3F +
, http://ar.dbpedia.org/resource/%D8%B1%D9%88%D8%A8%D9%86_%D8%BA%D8%A7%D9%86%D8%AF%D9%8A +
, http://azb.dbpedia.org/resource/%D8%B1%D8%A7%D8%A8%DB%8C%D9%86_%D9%82%D8%A7%D9%86%D8%AF%DB%8C +
, http://yago-knowledge.org/resource/Robin_Gandy +
, http://www.wikidata.org/entity/Q249984 +
, http://rdf.freebase.com/ns/m.08w0c8 +
|
| rdf:type |
http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/WikicatPeopleFromOxfordshire +
, http://dbpedia.org/class/yago/WikicatBritishPeople +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatEnglishPhilosophers +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://dbpedia.org/class/yago/WikicatFellowsOfWolfsonCollege%2COxford +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/WikicatMathematicalLogicians +
, http://dbpedia.org/class/yago/WikicatEnglishLogicians +
, http://dbpedia.org/class/yago/WikicatAlumniOfKing%27sCollege%2CCambridge +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfManchester +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfLeeds +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfLeicester +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/WikicatEnglishMathematicians +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Organism100004475 +
|
| rdfs:comment |
روبن أوليفر غاندي (22 سبتمبر 1919 - 20 نوفمبر 1995)، عالم رياضيات بريطاني وفيلسوف في المنطق.كان صديقاً وطالباً وشريكاً لـ آلان تورينج ، بعد أن أشرف عليه تورنج أثناء حصوله على درجة الدكتوراه في جامعة كامبريدج، حيث عملا معاً في هذه الجامعة.
, Robin Oliver Gandy (22 septembre 1919-20 novembre 1995) est un mathématicien et logicien britannique, ami d'Alan Turing, qui est son directeur de thèse à l'université de Cambridge (1953) et son collaborateur.
, Robin Oliver Gandy (22 September 1919 – 20 … 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, where they worked together. of Cambridge, where they worked together.
, Robin Oliver Gandy (* 22. September 1919 i … Robin Oliver Gandy (* 22. September 1919 in , Oxfordshire; † 20. November 1995 in Oxford) war ein britischer Logiker. Gandy begann noch vor dem Zweiten Weltkrieg ein Studium der Mathematik und Philosophie am King’s College der Cambridge University, an der er bei Alan Turing 1952 promovierte (On axiomatic systems in mathematics and theories in physics), mit dem er auch zusammenarbeitete und mit dem er befreundet war. Das Studium war ab 1940 (er hatte damals den ersten Teil der Tripos-Prüfungen abgelegt, den dritten Teil holte er nach dem Krieg nach) sechs Jahre in der Zeit des Zweiten Weltkriegs unterbrochen, wo er zunächst als Radio- und Radar-Experte arbeitete. Er kannte Turing näher aus der Zeit während des Kriegs (1944 in Hanslope Park), als er mit ihm an Sprachverschlüsselungsmethoden mit ihm an Sprachverschlüsselungsmethoden
, Robin Oliver Gandy (22 de setembro de 1919 … Robin Oliver Gandy (22 de setembro de 1919 — 20 de novembro de 1995) foi um matemático britânico. Foi aluno e ajudante de Alan Turing, tendo sido orientado por Turing durante o seu doutorado na Universidade de Cambridge (obteve o título em 1953), onde trabalharam juntos. título em 1953), onde trabalharam juntos.
|
| rdfs:label |
Robin Gandy
, روبن غاندي
|
