This article uses bare URLs, which are uninformative and vulnerable to link rot. Please consider converting them to full citations to ensure the article remains verifiable and maintains a consistent citation style. Several templates and tools are available to assist in formatting, such as reFill (documentation) and Citation bot (documentation). (August 2022) (Learn how and when to remove this template message)

Michael J. T. Guy
Born (1943-04-01) 1 April 1943 (age 80)
CitizenshipUnited Kingdom
Known forALGOL 68C
Scientific career
FieldsComputer science, mathematics
InstitutionsUniversity of Cambridge
Academic advisorsJ. W. S. Cassels

Michael J. T. Guy (born 1 April 1943[citation needed]) 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.

Mathematical work

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]

Computer science

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]

Bibliography

Notes

References

  1. ^ http://www.michaelgrant.dsl.pipex.com/phx.html
  2. ^ Weisstein, Eric W. "Soma Cube". Wolfram MathWorld.
  3. ^ Kustes, William (Bill). "The SOMAP construction map". SOMA News.
  4. ^ Guy, Richard K. (November 1982). "John Horton Conway: Mathematical Magus". The Two-Year College Mathematics Journal. 13 (5): 290–299. doi:10.2307/3026500. JSTOR 3026500.
  5. ^ Conway, J.H.; Guy, M. J. T. (1982). "Message graphs". Annals of Discrete Mathematics. 13: 61–64.
  6. ^ Griess, Robert L. Jr. (1998). Twelve Sporadic Groups. New York City: Springer. p. 127. ISBN 978-3-662-03516-0.
  7. ^ Cassels, J. W. S. (1995). "Computer-aided serendipity". Rendiconti del Seminario Matematico della Università di Padova. 93: 187–197.
  8. ^ Cassels, J. W. S.; Guy, M. J. T. (1966). "On the Hasse principle for cubic surfaces". Mathematika. 13 (2): 111–120. doi:10.1112/S0025579300003879.
  9. ^ Herbert, Andrew J.; Needham, Roger Michael; Spärck Jones, Karen I. B. (2004). Computer Systems: Theory, Technology, and Applications: a Tribute to Roger Needham. p. 105.
  10. ^ "Atlas 2 at Cambridge Mathematical Laboratory (And Aldermaston and CAD Centre)" (PDF). Archived from the original (PDF) on 25 November 2018. Retrieved 24 July 2020.
  11. ^ Hartley, David, ed. (21 July 1999). "EDSAC 1 and after". Computer Laboratory. University of Cambridge.
  12. ^ Wheeler, David; Hartley, David (March 1999). "Computer Laboratory - Events in the early history of the Computer Laboratory". Department of Computer Science and Technology. University of Cambridge.
  13. ^ The Encyclopedia of Computer Languages Archived 25 August 2007 at the Wayback Machine
  14. ^ ALGOL 68C
Categories