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.
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...
more
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.
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...
less