Hispanopedia Wiki
Articulo de referencia

Christopher Strachey

Christopher S. Strachey ( / ˈ s t r eɪ tʃ i / STRAY -chee ; 16 de noviembre de 1916 – 18 de mayo de 1975) fue un científico informático británico. [ 1 ] [ 2 ] [ 3 ] Pionero del ...

Hispanopedia WikiContenido en espanolLectura gratuita

Christopher S. Strachey ( / ˈ s t r eɪ tʃ i / STRAY -chee ; 16 de noviembre de 1916 – 18 de mayo de 1975) fue un científico informático británico. [ 1 ] [ 2 ] [ 3 ] Pionero del diseño de lenguajes de programación , fue uno de los fundadores de la semántica denotacional y el tiempo compartido de computadoras . [ 4 ] Acuñó varios términos que se utilizan ampliamente en la ciencia de la computación, incluyendo polimorfismo y transparencia referencial . [ 5 ] Se le ha atribuido ser posiblemente el primer desarrollador de un videojuego . [ 6 ] Fue miembro de la familia Strachey , muchos de cuyos miembros son y han sido prominentes en el gobierno, las artes, la administración y la academia.

Primeros años y educación

Christopher S. Strachey nació el 16 de noviembre de 1916, hijo de Oliver y Ray Strachey ( de soltera Costelloe), en Hampstead , Inglaterra. Oliver Strachey era hijo de Richard Strachey y bisnieto de Sir Henry Strachey, primer baronet . Su hermana mayor era la escritora Barbara Strachey . En 1919, la familia se mudó al número 51 de Gordon Square . Los Strachey pertenecían al Grupo de Bloomsbury , cuyos miembros incluían a Virginia Woolf , John Maynard Keynes y el tío de Strachey, Lytton Strachey . A los 13 años, Strachey ingresó en la escuela Gresham's , donde mostró destellos de brillantez, pero en general su rendimiento fue deficiente. Fue admitido en el King's College de Cambridge (la misma universidad que Alan Turing ) en 1935, donde continuó descuidando sus estudios. Strachey estudió matemáticas y luego se cambió a física . Al final de su tercer año en Cambridge , Strachey sufrió una crisis nerviosa, posiblemente relacionada con la aceptación de su homosexualidad . Regresó a Cambridge, pero solo logró una calificación de "segunda clase baja" en el Tripos de Ciencias Naturales . [ 7 ]

Carrera

Al no poder continuar sus estudios, Strachey se unió a Standard Telephones and Cables (STC) como físico investigador. Su primer trabajo consistió en proporcionar análisis matemáticos para el diseño de tubos electrónicos utilizados en radares . La complejidad de los cálculos requería el uso de un analizador diferencial . Esta experiencia inicial con una computadora despertó el interés de Strachey, y comenzó a investigar el tema. Su solicitud para un doctorado en la Universidad de Cambridge fue rechazada, y Strachey continuó trabajando en STC durante toda la Segunda Guerra Mundial . Después de la guerra, cumplió una antigua ambición al convertirse en profesor en la escuela St. Edmund's de Canterbury , donde impartió clases de matemáticas y física. Tres años más tarde, en 1949, pudo trasladarse a la prestigiosa escuela Harrow , donde permaneció durante tres años.

Fotografía de Christopher Strachey's Draughts de 1952, evidencia del primer videojuego.
Damas en un monitor CRT de almacenamiento, 1952

En enero de 1951, un amigo le presentó a Mike Woodger del Laboratorio Nacional de Física (NPL). El laboratorio había construido con éxito una versión reducida de la Máquina de Computación Automática (ACE) de Alan Turing, cuyo concepto databa de 1945: la Pilot ACE . En su tiempo libre, Strachey desarrolló un videojuego de damas en mayo de 1951. Este podría haber sido el primer videojuego. El juego agotó por completo la memoria de la Pilot ACE. El programa de damas falló debido a errores de programación cuando se ejecutó por primera vez en el NPL el 30 de julio de 1951. [ 8 ] Cuando Strachey supo de la Manchester Mark 1 , que tenía una memoria mucho mayor, le pidió el manual a su antiguo compañero de estudios, Alan Turing, y transcribió su programa a los códigos de operación de esa máquina alrededor de octubre de 1951. Para el verano de 1952, el programa podía "jugar una partida completa de damas a una velocidad razonable". [ 9 ] [ 10 ] Aunque no le dio un nombre a este juego, Noah Wardrip-Fruin lo llamó "MUC Draughts". [ 11 ]

Strachey programó la primera música por ordenador en Inglaterra: la primera grabación de música interpretada por un ordenador, una versión del himno nacional británico « God Save the King » en el ordenador Ferranti Mark 1 de la Universidad de Manchester , en 1951. Más tarde ese mismo año, una unidad móvil de la BBC grabó allí breves fragmentos de tres piezas : «God Save the King», « Baa, Baa, Black Sheep » e « In the Mood ». Investigadores de la Universidad de Canterbury , Christchurch, restauraron el disco maestro de acetato en 2016 y los resultados pueden escucharse en SoundCloud . [ 12 ] [ 13 ]

Durante el verano de 1952, Strachey programó un generador de cartas de amor para la Ferranti Mark 1 que se conoce como el primer ejemplo de literatura generada por computadora . [ 14 ]

En mayo de 1952, Strachey dio una charla en dos partes sobre "el estudio del control en animales y máquinas" (" cibernética ") para el programa Science Survey del BBC Home Service . [ 15 ] [ 16 ]

Strachey trabajó para la Corporación Nacional de Investigación y Desarrollo (NRDC) de 1952 a 1959. Durante su trabajo en el proyecto de la Vía Marítima del San Lorenzo, pudo visitar varios centros de computación en Estados Unidos y catalogar sus conjuntos de instrucciones . Posteriormente, trabajó en la programación de la computadora Elliott 401 y la Ferranti Pegasus . Junto con Donald B. Gillies , registró tres patentes en diseño informático, incluyendo el diseño de registros base para la reubicación de programas. También trabajó en el análisis de vibraciones en aeronaves, colaborando brevemente con Roger Penrose .

En 1959, Strachey dejó NRDC para convertirse en consultor informático, trabajando para NRDC, EMI , Ferranti y otras organizaciones en diversos proyectos de gran alcance. Este trabajo incluía el diseño lógico de ordenadores, la generación de código automatizado y, posteriormente, el diseño de lenguajes de programación de alto nivel . Para un contrato de generación de código automatizado para el ordenador Ferranti Orion , Strachey contrató a Peter Landin , quien se convirtió en su único asistente durante el tiempo que Strachey trabajó como consultor.

Strachey desarrolló el concepto de tiempo compartido en 1959. [ 17 ] [ 18 ] Presentó una solicitud de patente en febrero de ese año y dio un artículo titulado "Tiempo compartido en computadoras rápidas de gran tamaño" en la conferencia inaugural de Procesamiento de la Información de la UNESCO en París, donde le pasó el concepto a JCR Licklider . [ 19 ] [ 20 ] Este artículo es reconocido por el Centro de Computación del MIT en 1963 como "el primer artículo sobre computadoras de tiempo compartido". [ 4 ]

En 1962, sin dejar de ser consultor, aceptó un puesto en la Universidad de Cambridge .

En 1965, Strachey aceptó un puesto en la Universidad de Oxford como primer director del Grupo de Investigación en Programación y más tarde como primer profesor de informática de la universidad y miembro del Wolfson College de Oxford . [ 21 ] Colaboró ​​con Dana Scott .

Strachey fue elegido miembro distinguido de la British Computer Society en 1971 por su trabajo pionero en ciencias de la computación. [ 22 ]

En 1973, Strachey (junto con Robert Milne ) comenzó a escribir un ensayo que presentaron al concurso del Premio Adams , tras lo cual continuaron trabajando en su revisión para convertirlo en un libro. Strachey participó en el debate de Lighthill de 1973 sobre Inteligencia Artificial con John McCarthy y otros [ 23 ] (véase el informe de Lighthill ).

Desarrolló el Lenguaje de Programación Combinado (CPL). Su influyente conjunto de apuntes de clase, Conceptos Fundamentales en Lenguajes de Programación, formalizó la distinción entre valores L y R (como se observa en el lenguaje de programación C ). Strachey también acuñó el término currificación , aunque no inventó el concepto subyacente.

Desempeñó un papel fundamental en el diseño del ordenador Ferranti Pegasus .

El lenguaje de macros m4 deriva en gran medida del GPM ( General Purpose Macrogenerator ) de Strachey, uno de los primeros lenguajes de expansión de macros . [ 24 ]

Strachey contrajo una enfermedad diagnosticada como ictericia , que, tras un período de aparente recuperación, reapareció, y murió de hepatitis infecciosa el 18 de mayo de 1975. [ 17 ] Tras su muerte, Strachey fue sucedido por Sir Tony Hoare como jefe del Grupo de Investigación de Programación en Oxford, a partir de 1977.

Legado

El Departamento de Ciencias de la Computación de la Universidad de Oxford cuenta con una Cátedra Christopher Strachey de Computación , [ 25 ] [ 26 ] que ha sido ocupada por los siguientes:

En 1995, se establecieron las Conferencias Strachey de Ciencias de la Computación en la Universidad de Oxford en memoria de Strachey. [ 21 ] En noviembre de 2016, se celebró un evento Strachey 100 en la Universidad de Oxford para celebrar el centenario del nacimiento de Strachey, [ 29 ] incluyendo una visita a la Biblioteca Weston de Oxford del archivo de Christopher Strachey que se conserva en la colección de la Biblioteca Bodleiana . [ 30 ]

Publicaciones

  • Strachey, Christopher (1952). "Programas lógicos o no matemáticos" . Actas de la reunión nacional de la ACM de 1952. Toronto: ACM. págs. 46–49 . doi : 10.1145/800259.808992 . 
  • Strachey, Christopher (1954). "La máquina 'pensante'". Encounter . págs. 25–31 . 
  • Strachey, Christopher (1959). "Programme-Controlled Time Sharing" . Proceedings of the IEE - Part B: Electronic and Communication Engineering . 106 (29): 462. doi : 10.1049/pi-b-2.1959.0311 .
  • Strachey, Christopher (1959). "Sobre cómo calcular la raíz cuadrada de un número complejo" . The Computer Journal . 2 (2): 89. doi : 10.1093/comjnl/2.2.89 .
  • Strachey, Christopher (1959). "Time Sharing in Large, Fast Computers" . Actas de la 1.ª Conferencia Internacional sobre Procesamiento de la Información . París: UNESCO . págs. 336–341 . 
  • Strachey, Christopher (1960). "Dos contribuciones a las técnicas de problemas de colas" . The Computer Journal . 3 (2): 114– 116. doi : 10.1093/comjnl/3.2.114 .
  • Strachey, Christopher (1961). "Operaciones bit a bit" . Communications of the ACM . 4 (3): 146. doi : 10.1145/366199.366254 . S2CID 7359297 . 
  • Strachey, Christopher; Wilkes, Maurice (1961). "Algunas propuestas para mejorar la eficiencia de ALGOL 60" . Communications of the ACM . 4 (11): 488– 491. doi : 10.1145/366813.366816 . S2CID 8757176 . 
  • Strachey, Christopher; Francis, John (1961). "La reducción de una matriz a forma codiagonal mediante eliminaciones" . The Computer Journal . 4 (2): 168– 176. doi : 10.1093/comjnl/4.2.168 .
  • Strachey, Christopher (1962). "Reseñas de libros" . The Computer Journal . 5 (2): 152– 153. doi : 10.1093/comjnl/5.2.152 .
  • Barron, David; Buxton, John; Hartley, David; Nixon, Eric; Strachey, Christopher (1963). "Las principales características de CPL" . The Computer Journal . 6 (2): 134– 143. doi : 10.1093/comjnl/6.2.134 .
  • Strachey, Christopher (1965). "Un programa imposible" . The Computer Journal . 7 (4): 313. doi : 10.1093/comjnl/7.4.313 .
  • Strachey, Christopher (1965). "Un macrogenerador de propósito general" . The Computer Journal . 8 (3): 225– 241. doi : 10.1093/comjnl/8.3.225 .
  • Strachey, Christopher (1966). "Análisis de sistemas y programación" . Scientific American . Vol.  215, n.º  3, págs. 112-127 . 
  • Strachey, Christopher (1966). "Hacia una semántica formal". Actas de la Conferencia de Trabajo de la IFIP sobre Lenguajes de Descripción Formal . Ámsterdam: North Holland. pp. 198–220 . 
  • Strachey, Christopher (1967). Conceptos fundamentales en lenguajes de programación (Informe técnico). Apuntes de clase para la Escuela Internacional de Verano de Programación de Computadoras en Copenhague.También: Strachey, Christopher (2000). "Conceptos fundamentales en lenguajes de programación" . Higher-Order and Symbolic Computation . 13 ( 1–2 ): 11–49 . doi : 10.1023/A:1010000313106 . S2CID 14124601 . 
  • Scott, Dana; Strachey, Christopher (1971). Hacia una semántica matemática para lenguajes de programación (Informe técnico). Laboratorio de Computación de la Universidad de Oxford, Grupo de Investigación en Programación. PRG06.También: Scott, Dana; Strachey, Christopher (1971). "Hacia una semántica matemática para lenguajes de programación". Actas del Simposio sobre Computadoras y Autómatas . Nueva York: Instituto Politécnico de Brooklyn . págs. 19-46 . 
  • Strachey, Christopher (1972). "Variedades de lenguajes de programación". Actas del Simposio Internacional de Computación . Venecia: Fundación Cini . págs. 222–233 . También: Strachey, Christopher (1973). Las variedades del lenguaje de programación (Informe técnico). Laboratorio de Computación de la Universidad de Oxford, Grupo de Investigación en Programación. PRG10.
  • Stoy, Joseph; Strachey, Christopher (1972). "OS6: un sistema operativo experimental para una computadora pequeña. Parte 1: principios generales y estructura" . The Computer Journal . 15 (2): 117–124 . doi : 10.1093/comjnl/15.2.117 .
  • Stoy, Joseph; Strachey, Christopher (1972). "OS6: un sistema operativo experimental para una computadora pequeña. Parte 2: entrada/salida y sistema de archivos" . The Computer Journal . 15 (3): 195–203 . doi : 10.1093/comjnl/15.3.195 .
  • Strachey, Christopher; Stoy, Joseph (1972). El texto de OSPub (Informe técnico). Laboratorio de Computación de la Universidad de Oxford, Grupo de Investigación en Programación. PRG09.
  • Strachey, Christopher; Wadsworth, Christopher (1974). Continuaciones: Una semántica matemática para manejar saltos completos (Informe técnico). Laboratorio de Computación de la Universidad de Oxford, Grupo de Investigación en Programación. PRG11.También: Strachey, Christopher; Wadsworth, Christopher (2000). "Continuaciones: una semántica matemática para manejar saltos completos" . Higher-Order and Symbolic Computation . 13 ( 1–2 ): 135–152 . doi : 10.1023/A:1010026413531 . S2CID 10673265 . 
  • Milne, Robert; Strachey, Christopher (1976). Una teoría de la semántica de los lenguajes de programación . Nueva York: Springer. ISBN 978-1-5041-2833-9.

Referencias

  1. ↑ Christopher Strachey: científico informático británico , Encyclopædia Britannica .
  2. ↑ Catálogo de los documentos y correspondencia de Christopher Strachey (1916–1975) , Archivos Nacionales , Reino Unido.
  3. ↑ Gordon, MJC , Christopher Strachey: Recuerdos de su influencia , Higher-Order and Symbolic Computation , 13(1–2):65–67, abril de 2000. ISSN 1388-3690 . ( Versión PostScript archivada el 13 de marzo de 2017 en Wayback Machine ). 
  4. 1 2 F. J. Corbató, et al., El sistema de tiempo compartido compatible: Guía del programador (MIT Press, 1963) ISBN 978-0-262-03008-3"El primer artículo sobre computadoras de tiempo compartido, presentado por C. Strachey en la conferencia de Procesamiento de la Información de la UNESCO en junio de 1959".
  5. ↑ Strachey, Christopher (1967). Conceptos fundamentales en lenguajes de programación (Informe técnico). Apuntes de clase para la Escuela Internacional de Verano de Programación de Computadoras en Copenhague.
  6. ↑ "Pioneros de la informática - Christopher Strachey" . IEEE Computer History . Archivado del original el 5 de abril de 2021.
  7. ↑ Campbell-Kelly, M. (enero de 1985). "Christopher Strachey, 1916–1975: una nota biográfica". IEEE Annals of the History of Computing . 7 (1): 21. Bibcode : 1985IAHC....7a..19C . doi : 10.1109/mahc.1985.10001 . S2CID 17188378 . 
  8. ↑ "El sacerdocio en juego: los videojuegos en la década de 1950" . They Create Worlds . 22 de enero de 2014. Consultado el 28 de agosto de 2017 .
  9. ↑ "¿Qué es la Inteligencia Artificial?" . AlanTuring.net . Mayo de 2000. Consultado el 28 de agosto de 2017 .
  10. ↑ Strachey, CS (septiembre de 1952). Programas lógicos o no matemáticos . ACM '52: Actas de la Reunión Nacional de la ACM de 1952 (Toronto). pág. 47. doi : 10.1145/800259.808992 . 
  11. ↑ Wardrip-Fruin, Noah (diciembre de 2020). Cómo come Pac-Man (1.ª ed.). Cambridge, MA: The MIT Press. pág. 121. ISBN   9780262044653.
  12. ↑ "Restauran la primera grabación de música generada por ordenador, creada por Alan Turing" . The Guardian . 26 de septiembre de 2016. Consultado el 28 de agosto de 2017 .
  13. ↑ "Restaurando la primera grabación de música por ordenador – Blog de sonido e imagen" . Biblioteca Británica . 13 de septiembre de 2016. Consultado el 28 de agosto de 2017 .
  14. ↑ Rettberg, Jill Walker (3 de octubre de 2021). "Interfaces especulativas: cómo la literatura electrónica utiliza la interfaz para hacernos pensar sobre la tecnología" . Electronic Book Review . doi : 10.7273/1XSG-NV26 .
  15. ↑ "Encuesta científica – BBC Home Service Basic – 1 de mayo de 1952" . BBC Genome . BBC . Mayo de 1952. Archivado del original el 27 de octubre de 2014. Consultado el 28 de agosto de 2017 .
  16. ↑ "Encuesta científica – BBC Home Service Basic – 8 de mayo de 1952" . BBC Genome . BBC. 8 de mayo de 1952. Archivado del original el 28 de agosto de 2017. Consultado el 28 de agosto de 2017 .
  17. 1 2 "Pioneros de la informática: Christopher Strachey" . history.computer.org . Consultado el 23 de enero de 2020. Lo que Strachey propuso en su concepto de tiempo compartido fue un acuerdo que preservaría el contacto directo entre el programador y la máquina, al tiempo que lograría la economía de la multiprogramación.
  18. ↑ "Computer – Time-shared and minicomputers" . Encyclopedia Britannica . Consultado el 23 de enero de 2020. En 1959, Christopher Strachey en el Reino Unido y John McCarthy en los Estados Unidos describieron de forma independiente algo que denominaron tiempo compartido.
  19. ↑ Gillies, James M.; Gillies, James; Gillies, James y Cailliau Robert; Cailliau, R. (2000). Cómo nació la web: La historia de la World Wide Web . Oxford University Press . pp. 13. ISBN  978-0-19-286207-5.
  20. ↑ "Reminiscencias sobre la teoría del tiempo compartido" . jmc.stanford.edu . Consultado el 23 de enero de 2020. En 1960 , el término "tiempo compartido" estaba muy de moda. Sin embargo, se usaba generalmente en mi sentido, más que en el sentido que le daba John McCarthy de un objeto similar al CTSS.
  21. 1 2 "Las conferencias Strachey en ciencias de la computación" . Reino Unido: Departamento de Ciencias de la Computación, Universidad de Oxford . Consultado el 18 de abril de 2026 .
  22. ↑ "Lista de Miembros Distinguidos" . BCS . Consultado el 18 de abril de 2026 .
  23. ↑ bilkable (12 de septiembre de 2010), El debate de Lighthill (1973) – parte 6 de 6 , YouTube , consultado el 27 de octubre de 2017(Nota: véase entre los minutos 6:45 y 11:5 de la grabación).
  24. ↑ C. Strachey: "Un macrogenerador de propósito general", The Computer Journal , 8 (3):225–241, 1965.
  25. 1 2 "Cátedra Christopher Strachey de Informática" . Departamento de Ciencias de la Computación, Universidad de Oxford . 5 de noviembre de 2021. Consultado el 18 de enero de 2024 .
  26. ↑ "Christopher Strachey, Profesor de Informática" . Universidad de Oxford . 28 de octubre de 2021. Consultado el 18 de enero de 2024 .
  27. ↑ "Samson Abramsky" . Reino Unido: Departamento de Ciencias de la Computación, Universidad de Oxford . Consultado el 18 de enero de 2017 .
  28. ↑ "Bienvenida a nuestra nueva Cátedra Strachey, Profesora Nobuko Yoshida" . Departamento de Ciencias de la Computación, Universidad de Oxford . 29 de junio de 2022. Consultado el 18 de enero de 2024 .
  29. ↑ "Strachey 100: Celebrando la vida y la investigación de Christopher Strachey" . Reino Unido: Departamento de Ciencias de la Computación, Universidad de Oxford . 2016. Consultado el 18 de enero de 2017 .
  30. ↑ Bowen, Jonathan P. (2016). "Conferencia del Centenario de Strachey 100: Fotografías de Strachey 100" (PDF) . FACS FACTS . 2. Reino Unido: BCS-FACS : 44–52 . Recuperado el 18 de enero de 2017 .(También aquí .)

Lecturas adicionales

  • Barron, David (verano de 2008). "Perfiles de pioneros: Christopher Strachey" . Resurrección (43). Computer Conservation Society . ISSN 0958-7403 . 
  • Copeland, Jack (junio de 2000). "Una breve historia de la informática" . AlanTuring.net .
  • Danvy, Olivier; Talcott, Carolyn, eds. (abril de 2000). "Número especial en memoria de Christopher Strachey" . Higher-Order and Symbolic Computation . 13 (1/2).
  • Lavington, S. (2000). La historia de Pegaso . Museo de Ciencias . ISBN 1-900747-40-5.
  • Christopher Strachey en el servidor de bibliografía DBLP
  • Christopher Strachey (1916–1975) en la Wayback Machine (archivado el 26 de septiembre de 2007) en el Museo Virtual de la Informática.
  • Un simulador del Manchester Mark 1, ejecutando el algoritmo Love Letter de Christopher Strachey de 1952.
  • Una versión web del algoritmo de cartas de amor de Christopher Strachey que muestra listas de palabras.
  • Documentos complementarios de Strachey conservados en la Biblioteca Británica.