Michael Guy (born c.1942) 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, 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. 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. 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. They also worked on the sporadic groups.
Guy began work as a research student of J. W. S. Cassels at DPMMS, Cambridge. He did not complete a Ph.D., but joint work with Cassels produced numerical examples on the Hasse principle for cubic surfaces.
He subsequently went into computer science. He worked on the filing system for Titan, Cambridge's Atlas 2, being one of a team of four in one office including Roger Needham. In working on ALGOL 68, he was co-author with Stephen Bourne of ALGOL 68C.
- Soma Cube – from Wolfram MathWorld
- The SOMAP construction map
- Richard K. Guy, John Horton Conway: Mathematical Magus, The Two-Year College Mathematics Journal, Vol. 13, No. 5 (Nov., 1982), pp. 290–299.
- E.g. J. H. Conway and M. J. T. Guy, Message graphs, Ann. of Discrete Math., 13 (1982),. 61–64.
- E.g. Robert L. Griess, Twelve Sporadic Groups (1998), p. 127.
- Cassels, J. W. S. Computer-aided serendipity. Rendiconti del Seminario Matematico della Università di Padova, 93 (1995), p. 187–197.
- J. W. S. Cassels, M. J. T. Guy, On the Hasse principle for cubic surfaces, Mathematika, 13 (1966), pp. 111–120.
- Andrew J. Herbert, Roger Michael Needham, Karen I. B. Spärck Jones, Computer Systems: Theory, Technology, and Applications : a Tribute to Roger Needham (2004), p. 105.
- EDSAC 1 and after
- Computer Laboratory - Events in the early history of the Computer Laboratory
- The Encyclopedia of Computer Languages
- ALGOL 68C