| Michael J. T. Guy | |
| Birth Date: | 1 April 1943 |
| Citizenship: | United Kingdom |
| Fields: | Computer science, mathematics |
| Workplaces: | University of Cambridge |
| Thesis1 Title: | and |
| Thesis2 Title: | )--> |
| Thesis1 Url: | and |
| Thesis2 Url: | )--> |
| Thesis1 Year: | and |
| Thesis2 Year: | )--> |
| Doctoral Advisors: | )--> |
| Academic Advisors: | J. W. S. Cassels |
| Known For: | ALGOL 68C |
| Spouses: | )--> |
| Partners: | )--> |
Michael J. T. Guy (born 1 April 1943) is a British computer scientist and mathematician. He is known for early work on computer systems, such as the Phoenix system at the University of Cambridge,[1] and for contributions to number theory, computer algebra, and the theory of polyhedra in higher dimensions. He worked closely with John Horton Conway, and is the son of Conway's collaborator Richard K. Guy.
With Conway, Guy found the complete solution to the Soma cube of Piet Hein.[2] [3] Also with Conway, an enumeration led to the discovery of the grand antiprism, an unusual uniform polychoron in four dimensions. The two had met at Gonville and Caius College, Cambridge, where Guy was an undergraduate student from 1960, and Conway was a graduate student. It was through Michael that Conway met Richard Guy, who would become a co-author of works in combinatorial game theory.[4] Michael Guy with Conway made numerous particular contributions to geometry, number and game theory, often published in problem selections by Richard Guy. Some of these are recreational mathematics, others contributions to discrete mathematics.[5] They also worked on the sporadic groups.[6]
Guy began work as a research student of J. W. S. Cassels at Department of Pure Mathematics and Mathematical Statistics (DPMMS), Cambridge.[7] He did not complete a Ph.D., but joint work with Cassels produced numerical examples on the Hasse principle for cubic surfaces.[8]
He subsequently went into computer science. He worked on the filing system for Titan, Cambridge's Atlas 2,[9] [10] being one of a team of four in one office including Roger Needham.[11] [12] In working on ALGOL 68, he was co-author with Stephen R. Bourne of ALGOL 68C.[13] [14]
Mathematical Magus
. The Two-Year College Mathematics Journal . 13 . 5 . November 1982 . 290–299. 10.2307/3026500 . 3026500 .