Robin Oliver Gandy was a British mathematician and logician.
| FactSnippet No. 1,654,797 |
Robin Oliver Gandy was a British mathematician and logician.
| FactSnippet No. 1,654,797 |
Robin Gandy 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.
| FactSnippet No. 1,654,798 |
Robin Gandy was born in the village of Rotherfield Peppard, Oxfordshire, England.
| FactSnippet No. 1,654,799 |
Robin Gandy was the son of Thomas Hall Gandy, a general practitioner, and Ida Caroline nee Hony, a social worker and later an author.
| FactSnippet No. 1,654,800 |
Robin Gandy was a great-great-grandson of the architect and artist Joseph Gandy.
| FactSnippet No. 1,654,801 |
Robin Gandy completed his thesis, On axiomatic systems in mathematics and theories in Physics, in 1952.
| FactSnippet No. 1,654,802 |
Robin Gandy held positions at the University of Leicester, the University of Leeds, and the University of Manchester.
| FactSnippet No. 1,654,803 |
Robin Gandy was a visiting associate professor at Stanford University from 1966 to 1967, and held a similar position at University of California, Los Angeles in 1968.
| FactSnippet No. 1,654,804 |
Robin Gandy's contributions include the Spector–Gandy theorem, the Gandy Stage Comparison theorem, and the Gandy Selection theorem.
| FactSnippet No. 1,654,805 |
Robin Gandy made a significant contribution to the understanding of the Church–Turing thesis, and his generalisation of the Turing machine is called a Gandy machine.
| FactSnippet No. 1,654,806 |