Michael JT Guy (nacido el 1 de abril de 1943 [ cita requerida ] ) es un científico informático y matemático británico . Es conocido por sus primeros trabajos en sistemas informáticos, como el sistema Phoenix de la Universidad de Cambridge , [1] y por sus contribuciones a la teoría de números , álgebra informática y la teoría de poliedros en dimensiones superiores. Trabajó en estrecha colaboración con John Horton Conway y es hijo del colaborador de Conway, Richard K. Guy .
Michael JT Guy | |
---|---|
Nació | 1 de abril de 1943 |
Ciudadanía | Reino Unido |
Conocido por | ALGOL 68C |
Carrera científica | |
Campos | Ciencias de la computación , matemáticas |
Instituciones | Universidad de Cambridge |
Asesores académicos | JWS Cassels |
Influencias | John Horton Conway |
Trabajo matemático
Con Conway , Guy encontró la solución completa para el cubo Soma de Piet Hein . [2] [3] También con Conway, una enumeración llevó al descubrimiento del gran antiprisma , un policorón uniforme inusual en cuatro dimensiones. Los dos se habían conocido en Gonville y Caius College, Cambridge , donde Guy era un estudiante de pregrado desde 1960, y Conway era un estudiante de posgrado. Fue a través de Michael que Conway conoció a Richard Guy, quien se convertiría en coautor de trabajos sobre teoría de juegos combinatorios . [4] Michael Guy con Conway hizo numerosas contribuciones particulares a la geometría, la teoría de números y juegos, a menudo publicadas en selecciones de problemas por Richard Guy. Algunas de estas son matemáticas recreativas , otras contribuciones a las matemáticas discretas . [5] También trabajaron en los grupos esporádicos . [6]
Guy comenzó a trabajar como estudiante de investigación de JWS Cassels en el Departamento de Matemáticas Puras y Estadística Matemática (DPMMS), Cambridge. [7] No completó un doctorado, pero el trabajo conjunto con Cassels produjo ejemplos numéricos sobre el principio de Hasse para superficies cúbicas . [8]
Ciencias de la Computación
Posteriormente se dedicó a la informática. Trabajó en el sistema de archivo de Titan , Cambridge's Atlas 2 , [9] [10] siendo uno de un equipo de cuatro en una oficina, incluido Roger Needham . [11] [12] Al trabajar en ALGOL 68 , fue coautor con Stephen R. Bourne de ALGOL 68C . [13] [14]
Bibliografía
- Conway, JH ; Guy, MJT (1965). "Politopos de Arquímedes tetradimensionales". Actas del Coloquio sobre Convexidad en Copenhague . págs. 38–39.
- Conway, JH ; Croft, HT; Erdos, P .; Guy, MJT (1979). "Sobre la distribución de valores de ángulos determinados por puntos coplanares". Revista de la Sociedad Matemática de Londres . II (19): 137-143. doi : 10.1112 / jlms / s2-19.1.137 .
- Bremner, Andrew (Tempe, AZ); Goggins, Joseph R. (Girvan); Guy, Michael JT (Cambridge); Guy, Richard K. (Calgary, Alta) (2000). "Sobre triángulos de Morley racionales" (PDF) . Acta Arithmetica . XCIII (2).
Notas
- Conway, John H .; Burgiel, Heidi; Goodman-Strass, Chaim (2008). Las simetrías de las cosas . Natick, Massachusetts - Boca Raton, Florida : AK Peters - CRC Press . pag. 217. ISBN 978-1-5688-1220-5.
Referencias
- ^ http://www.michaelgrant.dsl.pipex.com/phx.html
- ^ Weisstein, Eric W. "Soma Cube" . Wolfram MathWorld .
- ^ Kustes, William (Bill). "El mapa de construcción de SOMAP" . Noticias SOMA .
- ^ Guy, Richard K. (noviembre de 1982). " John Horton Conway : Mago matemático". El diario universitario de matemáticas de dos años . 13 (5): 290–299. doi : 10.2307 / 3026500 . JSTOR 3026500 .
- ^ Conway, JH ; Guy, MJT (1982). "Gráficos de mensajes". Annals of Discrete Mathematics . 13 : 61–64.
- ^ Griess, Robert L. Jr. (1998). Doce grupos esporádicos . Ciudad de Nueva York : Springer. pag. 127. ISBN 978-3-662-03516-0.
- ^ Cassels, JWS (1995). "Serendipia asistida por computadora". Rendiconti del Seminario Matematico della Università di Padova . 93 : 187-197.
- ^ Cassels, JWS ; Guy, MJT (1966). "Sobre el principio de Hasse para superficies cúbicas". Mathematika . 13 (2): 111-120. doi : 10.1112 / S0025579300003879 .
- ^ Herbert, Andrew J .; Needham, Roger Michael; Spärck Jones, Karen IB (2004). Sistemas informáticos: teoría, tecnología y aplicaciones: un tributo a Roger Needham . pag. 105.
- ^ "Atlas 2 en el Laboratorio de Matemáticas de Cambridge (y Aldermaston y CAD Center)" (PDF) . Archivado desde el original (PDF) el 25 de noviembre de 2018 . Consultado el 24 de julio de 2020 .
- ^ Hartley, David, ed. (21 de julio de 1999). "EDSAC 1 y posteriores" . Laboratorio de Computación . Universidad de Cambridge.
- ^ Wheeler, David; Hartley, David (marzo de 1999). "Laboratorio de Computación - Acontecimientos en la historia temprana del Laboratorio de Computación" . Departamento de Informática y Tecnología . Universidad de Cambridge.
- ^ La enciclopedia de lenguajes informáticos archivada el 25 de agosto de 2007 en la Wayback Machine.
- ^ ALGOL 68C