British mathematician and computer scientist
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
Conway, J.H. ; Guy, M. J. T. (1965). "Four-Dimensional Archimedean Polytopes". Proceedings of the Colloquium on Convexity at Copenhagen . pp. 38–39.
Conway, J.H. ; Croft, H.T.; Erdos, P. ; Guy, M. J. T. (1979). "On the Distribution of Values of Angles Determined by Coplanar Points". Journal of the London Mathematical Society . II (19): 137–143. CiteSeerX 10.1.1.210.6483 . doi :10.1112/jlms/s2-19.1.137 .
Bremner, Andrew (Tempe, AZ); Goggins, Joseph R. (Girvan); Guy, Michael J. T. (Cambridge); Guy, Richard K. (Calgary, Alta) (2000). "On rational Morley triangles" (PDF) . Acta Arithmetica . XCIII (2). {{cite journal }}
: CS1 maint: multiple names: authors list (link )
Notes
References
^ "Archived copy" . Archived from the original on 21 February 2007. Retrieved 22 March 2008 .{{cite web }}
: CS1 maint: archived copy as title (link )
^ Weisstein, Eric W. "Soma Cube" . Wolfram MathWorld .
^ Kustes, William (Bill). "The SOMAP construction map" . SOMA News .
^ 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 .
^ Conway, J.H. ; Guy, M. J. T. (1982). "Message graphs". Annals of Discrete Mathematics . 13 : 61–64.
^ Griess, Robert L. Jr. (1998). Twelve Sporadic Groups . New York City : Springer. p. 127. ISBN 978-3-662-03516-0 .
^ Cassels, J. W. S. (1995). "Computer-aided serendipity". Rendiconti del Seminario Matematico della Università di Padova . 93 : 187–197.
^ 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 .
^ 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.
^ "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 .
^ Hartley, David, ed. (21 July 1999). "EDSAC 1 and after" . Computer Laboratory . University of Cambridge.
^ 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.
^ The Encyclopedia of Computer Languages Archived 25 August 2007 at the Wayback Machine
^ ALGOL 68C