โรบิน แกนดี้
ภาพถ่ายบุคคลของ โรบิน แกนดี้
เกิด	โรบิน โอลิเวอร์ แกนดี้ ( 22 กันยายน 1919 )22 กันยายน 2462 รอเธอร์ฟิลด์ เพปปาร์ด , ออกซ์ฟอร์ดเชียร์, อังกฤษ
เสียชีวิต	20 พฤศจิกายน 2538 (20 พฤศจิกายน 1995)(อายุ 76 ปี) อ็อกซ์ฟอร์ดประเทศอังกฤษ
การศึกษา	โรงเรียนแอบบอตส์โฮล์ม
อัลมา มัธยฐาน	มหาวิทยาลัยเคมบริดจ์ (ปริญญาเอก)
เป็นที่รู้จักในด้าน	ทฤษฎีการเรียกซ้ำ
เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	ตรรกศาสตร์ทางคณิตศาสตร์
สถาบันต่างๆ	มหาวิทยาลัยแมนเชสเตอร์ มหาวิทยาลัยเลสเตอร์ มหาวิทยาลัยลีดส์ มหาวิทยาลัยสแตนฟอร์ด มหาวิทยาลัยแคลิฟอร์เนีย ลอสแอนเจลิส มหาวิทยาลัยออกซ์ฟอร์ด
วิทยานิพนธ์	ว่าด้วยระบบสัจพจน์ในคณิตศาสตร์และทฤษฎีในฟิสิกส์  (1953)
อาจารย์ที่ปรึกษาปริญญาเอก	อลัน ทัวริง
นักศึกษาปริญญาเอก	มาร์ติน ไฮแลนด์ เจน คิสเตอร์ เจฟฟ์ ปารีส ฟิลิป เวลช์ ไซมอน ทอมป์สัน ดักลาส บริดเจส เดเร็ก โกลด์เรย์

Robin Oliver Gandy (22 กันยายน 1919 – 20 พฤศจิกายน 1995) เป็นนักคณิตศาสตร์และนักตรรกศาสตร์ชาว อังกฤษ ^{[ 1 ]}เขาเป็นเพื่อน นักศึกษา และผู้ร่วมงานของAlan Turingโดยได้รับการดูแลจาก Turing ในระหว่างที่เขาทำปริญญาเอกที่ มหาวิทยาลัยเค มบริดจ์^{[ 2 ]}ซึ่งพวกเขาได้ทำงานร่วมกัน^{[ 3 ] [ 4 ] [ 5 ]}

โรบิน แกนดี เกิดในหมู่บ้านโรเธอร์ฟิลด์ เพปปาร์ด ออกซ์ฟอร์ดเชียร์ ประเทศอังกฤษ^{[ 1 ]} เขาเป็นเหลนของ โจเซฟ แกนดี (1771–1843) สถาปนิกและศิลปิน และเป็นบุตรชายของโทมัส ฮอลล์ แกนดี (1876–1948) แพทย์ทั่วไปและไอดา แคโรไลน์ นี โฮนี (1885–1977) นักสังคมสงเคราะห์และต่อมาเป็นนักเขียน^{[ 6 ]}พี่ชายของเขาคือคริสโตเฟอร์ แกน ดี นักการทูต และน้องสาวของเขาคือ จิล เลียน แกนดี แพทย์ ^{[ 7 ]}

Gandy ได้รับการศึกษาที่โรงเรียน Abbotsholme ใน Derbyshire และใช้เวลาสองปีในการ เรียนหลักสูตรคณิตศาสตร์ Triposที่King's College, Cambridgeก่อนที่จะเข้ารับราชการทหารในปี 1940 ในช่วงสงครามโลกครั้งที่สองเขาทำงานเกี่ยวกับอุปกรณ์ดักฟังวิทยุที่Hanslope Parkซึ่งAlan Turingกำลังทำงานใน โครงการ เข้ารหัส เสียง และเขากลายเป็นเพื่อนและผู้ร่วมงานตลอดชีวิตของ Turing ในปี 1946 เขาสำเร็จการศึกษาหลักสูตรคณิตศาสตร์ Tripos ส่วนที่ 3 จากนั้นเริ่มศึกษาต่อในระดับปริญญาเอกภายใต้การดูแลของ Turing เขาสำเร็จวิทยานิพนธ์เรื่อง " เกี่ยวกับระบบสัจพจน์ในคณิตศาสตร์และทฤษฎีในฟิสิกส์"ในปี 1952 ^{[ 2 ]}เขาเป็นสมาชิกของCambridge Apostles ^{[ 8 ]}

แกนดี้เคยดำรงตำแหน่งที่มหาวิทยาลัยเลสเตอร์มหาวิทยาลัยลีดส์และมหาวิทยาลัยแมนเชสเตอร์เขาเป็นรองศาสตราจารย์รับเชิญที่มหาวิทยาลัยสแตนฟอร์ดตั้งแต่ปี 1966 ถึง 1967 และดำรงตำแหน่งที่คล้ายกันที่มหาวิทยาลัยแคลิฟอร์เนีย ลอสแอนเจลิสในปี 1968 ในปี 1969 เขาได้ย้ายไปที่วิทยาลัยวูลฟ์สัน มหาวิทยาลัยออกซ์ฟอร์ดซึ่งเขาดำรง ตำแหน่งเป็น อาจารย์ด้านตรรกศาสตร์ทางคณิตศาสตร์

Gandy เป็นที่รู้จักจากผลงานของเขาในทฤษฎีการเรียกซ้ำผลงานของเขารวมถึงทฤษฎีบท Spector–Gandy ทฤษฎีบทการเปรียบเทียบขั้นตอนของ Gandy และทฤษฎีบทการเลือกของ Gandy เขายังมีส่วนสำคัญในการทำความเข้าใจวิทยานิพนธ์ Church–Turingและการวางนัยทั่วไปของเครื่องจักร Turing ของเขา เรียกว่าเครื่องจักร Gandy ^{[ 9 ]}

Gandy เสียชีวิตที่เมืองอ็อกซ์ฟอร์ดประเทศอังกฤษ เมื่อวันที่ 20 พฤศจิกายน พ.ศ. 2538 ^{[ 1 ] [ 10 ]}

อาคารRobin Gandyซึ่งเป็นอาคารที่พักสองหลังที่Wolfson College, Oxfordได้รับการตั้งชื่อตาม Gandy ^{[ 11 ] [ 12 ]} การ ประชุม Gandy Colloquiumครบรอบ 100 ปีจัดขึ้นหนึ่งวันในวันที่ 22 กุมภาพันธ์ 2020 ที่วิทยาลัยเพื่อเป็นเกียรติแก่ Gandy รวมถึงการมีส่วนร่วมของนักเรียนของเขาบางส่วน^{[ 13 ] [ 14 ]}วิทยากร ได้แก่ Marianna Antonutti Marfori (มิวนิก), Andrew Hodges (อ็อกซ์ฟอร์ด), Martin Hyland (เคมบริดจ์), Jeff Paris (แมนเชสเตอร์), Göran Sundholm (ไลเดน), Christine Tasson (ปารีส) และPhilip Welch (บริสตอล)