Christopher S. Strachey ( / s t r eɪ tʃ i / ; 16 noviembre 1916 a 18 mayo 1975) fue un British científico de la computación . [1] [2] [3] Fue uno de los fundadores de la semántica denotacional y un pionero en el diseño de lenguajes de programación y el tiempo compartido de la computadora . [4] Fue miembro de la familia Strachey , prominente en el gobierno, las artes, la administración y la academia.
Christopher Strachey | |
---|---|
Nació | Hampstead , Inglaterra | 16 de noviembre de 1916
Fallecido | 18 de mayo de 1975 Oxford , Inglaterra | (58 años)
Ciudadanía | Reino Unido |
alma mater | King's College, Cambridge |
Conocido por | CPL , semántica denotacional , conceptos fundamentales en lenguajes de programación |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Cambridge , Universidad de Oxford |
Estudiantes de doctorado | Peter Mosses David Turner |
La vida
Christopher Strachey nació el 16 de noviembre de 1916 de Oliver Strachey y Rachel (Ray) Costelloe en Hampstead , Inglaterra. Oliver Strachey era hijo de Richard Strachey y bisnieto de Sir Henry Strachey, primer baronet . Su hermana mayor fue la escritora Barbara Strachey . En 1919, la familia se mudó al 51 de Gordon Square . Los Strachey pertenecían al Grupo Bloomsbury, cuyos miembros incluían a Virginia Woolf , John Maynard Keynes y el tío de Christopher, Lytton Strachey . A los 13 años, Christopher fue a la escuela de Gresham , Holt , donde mostró signos de brillantez, pero en general se desempeñó mal. Fue admitido en King's College, Cambridge (la misma universidad que Alan Turing ) en 1935, donde continuó descuidando sus estudios. Strachey estudió matemáticas y luego se transfirió a la física . Al final de su tercer año en Cambridge , Strachey sufrió un ataque de nervios, posiblemente relacionado con aceptar su homosexualidad. Regresó a Cambridge pero logró sólo un "segundo inferior" en los Tripos de Ciencias Naturales . [5]
Incapaz de continuar su educación, Christopher se unió a Standard Telephones and Cables (STC) como físico investigador. Su primer trabajo fue proporcionar análisis matemático para el diseño de tubos de electrones utilizados en radares . La complejidad de los cálculos requirió el uso de un analizador diferencial . Esta experiencia inicial con una máquina informática despertó el interés de Strachey y comenzó a investigar el tema. Una solicitud para un título de investigación en la Universidad de Cambridge fue rechazada y Strachey continuó trabajando en STC durante la Segunda Guerra Mundial . Después de la guerra, cumplió una ambición de larga data al convertirse en maestro de escuela en St Edmund's School, Canterbury , enseñando matemáticas y física. Tres años más tarde pudo trasladarse a la más prestigiosa Harrow School en 1949, donde permaneció durante tres años.
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 del Motor de Computación Automática (ACE) de Alan Turing, cuyo concepto databa de 1945: el Pilot ACE . En su tiempo libre Strachey desarrolló un programa para el juego de damas (también conocido como "damas"), que terminó una versión preliminar en mayo de 1951. El juego agotó por completo la memoria del Pilot ACE. El programa de borradores intentó ejecutarse por primera vez el 30 de julio de 1951 en NPL, pero no tuvo éxito debido a errores del programa. [6] Cuando Strachey se enteró de la Manchester Mark 1 , que tenía una memoria mucho más grande, le pidió a su antiguo compañero de estudios Alan Turing el manual y transcribió su programa en los códigos de operación de esa máquina alrededor de octubre de 1951. En el verano de 1952, el programa podía "jugar un juego completo de Drafts a una velocidad razonable". [7] [8]
Strachey programó la primera música interpretada por una computadora; una interpretación del himno nacional británico " God Save the Queen " en la computadora electrónica Mark II Manchester en Manchester, en 1951. Más tarde ese año, una unidad de transmisión externa de la BBC grabó extractos breves de tres piezas : " God Save the Queen "," Baa, Baa, Black Sheep "y" 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 . [9] [10]
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 Servicio de la BBC 's Encuesta Ciencia programa. [11] [12]
Strachey trabajó para la National Research Development Corporation (NRDC) de 1952 a 1959. Mientras trabajaba en el proyecto St. Lawrence Seaway, pudo visitar varios centros de computación en los Estados Unidos y catalogar sus conjuntos de instrucciones . Más tarde, trabajó en la programación tanto de la computadora Elliott 401 como de la computadora Ferranti Pegasus . Junto con Donald B. Gillies , presentó tres patentes en diseño informático, incluido el diseño de registros base para la reubicación de programas. También trabajó en el análisis de vibraciones en aviones, trabajando brevemente con Roger Penrose .
En 1959, Strachey dejó NRDC para convertirse en consultor informático que trabaja para NRDC, EMI , Ferranti y otras organizaciones en una serie de proyectos de gran alcance. Este trabajo incluyó el diseño lógico para computadoras, proporcionando autocodificación y posteriormente el diseño de lenguajes de programación de alto nivel . Para un contrato para producir el código automático para la computadora Ferranti Orion , Strachey contrató a Peter Landin, quien se convirtió en su único asistente durante el período de consultoría de Strachey.
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 de Programación y más tarde como primer profesor de informática de la universidad y miembro del Wolfson College de Oxford . Colaboró con Dana Scott .
Strachey fue elegido miembro distinguido de la British Computer Society en 1971 por su trabajo pionero en informática.
En 1973, Strachey (junto con Robert Milne ) comenzó a escribir un ensayo presentado al concurso del Premio Adams , después de lo cual continuaron trabajando para revisarlo en forma de libro. Se puede ver y escuchar a Strachey en el debate grabado de Lighthill sobre la IA [13] (ver el informe de Lighthill ).
Strachey contrajo una enfermedad diagnosticada como ictericia que, después de un período de aparente recuperación, regresó y murió de hepatitis infecciosa el 18 de mayo de 1975. [14]
Trabaja
Strachey desarrolló el concepto de tiempo compartido en 1959. [15] [16] Presentó una solicitud de patente en febrero de ese año y presentó un documento "Tiempo compartido en grandes computadoras rápidas" en la Conferencia inaugural de procesamiento de información de la UNESCO en París, donde pasó el concepto en JCR Licklider . [17] [18] El Centro de Computación del MIT acredita este artículo en 1963 como "el primer artículo sobre computadoras con tiempo compartido". [4]
Desarrolló el lenguaje de programación combinado (CPL). Su influyente conjunto de notas de clase, Conceptos fundamentales en lenguajes de programación, formalizó la distinción entre los valores L y R (como se ve en el lenguaje de programación C ). Strachey también acuñó el término currying [ cita requerida ] , aunque no inventó el concepto subyacente.
Jugó un papel decisivo en el diseño de la computadora Ferranti Pegasus .
Fue un pionero de los primeros videojuegos creando una versión de borradores para Ferranti Mark 1 .
El macrolenguaje m4 se deriva en gran medida del GPM ( macrogenerador de propósito general ) de Strachey , uno de los primeros lenguajes de macroexpansión . [19]
Legado
El Departamento de Ciencias de la Computación de la Universidad de Oxford tiene una Cátedra de Computación Christopher Strachey, actualmente en manos de Samson Abramsky FRS. [20]
En noviembre de 2016, se llevó a cabo un evento Strachey 100 en la Universidad de Oxford para celebrar el centenario del nacimiento de Strachey, [21] que incluyó una visita en la Biblioteca Weston de Oxford del archivo de Christopher Strachey en la colección de la Biblioteca Bodleian . [22]
Referencias
- ^ Christopher Strachey: informático británico , Encyclopædia Britannica .
- ^ Catálogo de artículos y correspondencia de Christopher Strachey (1916-1975) , The National Archives , Reino Unido.
- ^ Gordon, MJC , Christopher Strachey: Recuerdos de su influencia , cómputo simbólico y de orden superior , 13 (1-2): 65-67, abril de 2000. ISSN 1388-3690 . ( Versión PostScript archivada el 13 de marzo de 2017 en Wayback Machine ).
- ^ a b F. J. Corbató, et al., The Compatible Time-Sharing System A Programmer's Guide (MIT Press, 1963) ISBN 978-0-262-03008-3 . "el primer documento sobre computadoras de tiempo compartido de C. Strachey en la conferencia de procesamiento de información de la UNESCO de junio de 1959"
- ^ Campbell-Kelly, M. (enero de 1985). "Christopher Strachey, 1916-1975: una nota biográfica". IEEE Annals of the History of Computing . 7 (1): 21. doi : 10.1109 / mahc.1985.10001 . S2CID 17188378 .
- ^ "El sacerdocio en juego: juegos de computadora en la década de 1950" . Crean mundos . 22 de enero de 2014 . Consultado el 28 de agosto de 2017 .
- ^ "Qué es la Inteligencia Artificial" . AlanTuring.net . Mayo de 2000 . Consultado el 28 de agosto de 2017 .
- ^ 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). pag. 47. doi : 10.1145 / 800259.808992 .
- ^ "Primera grabación de música generada por computadora - creada por Alan Turing - restaurada" . The Guardian . 26 de septiembre de 2016 . Consultado el 28 de agosto de 2017 .
- ^ "Restauración de la primera grabación de música por ordenador - Blog de sonido y visión" . Biblioteca Británica . 13 de septiembre de 2016 . Consultado el 28 de agosto de 2017 .
- ^ "Encuesta de ciencia - BBC Home Service Basic - 1 de mayo de 1952 - Genoma de la BBC" . BBC . Consultado el 28 de agosto de 2017 .
- ^ "Encuesta de ciencia - BBC Home Service Basic - 8 de mayo de 1952 - Genoma de la BBC" . BBC . Consultado el 28 de agosto de 2017 .
- ^ bilkable (12 de septiembre de 2010), The Lighthill Debate (1973) - part 6 of 6 , consultado el 27 de octubre de 2017
- ^ [1]
- ^ "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 arreglo que preservaría el contacto directo entre el programador y la máquina, sin dejar de lograr la economía de la multiprogramación.
- ^ "Computadora - Tiempo compartido y miniordenadores" . Enciclopedia Británica . 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 llamaron tiempo compartido.
- ^ 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 . Prensa de la Universidad de Oxford. pp. 13 . ISBN 978-0-19-286207-5.
- ^ "Reminiscencias sobre la teoría del tiempo compartido" . jmc.stanford.edu . Consultado el 23 de enero de 2020 .
en 1960 "tiempo compartido" como una frase estaba muy en el aire. Sin embargo, se usó generalmente en mi sentido más que en el sentido de John McCarthy de un objeto similar a CTSS.
- ^ C. Strachey: "Un macrogenerador de propósito general", The Computer Journal , 8 (3): 225–241, 1965.
- ^ "Samson Abramsky" . Reino Unido: Departamento de Ciencias de la Computación, Universidad de Oxford . Consultado el 18 de enero de 2017 .
- ^ "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 .
- ^ Bowen, Jonathan P. (2016). "Conferencia del centenario de Strachey 100: fotografías de Strachey 100" (PDF) . HECHOS DE FACS . Reino Unido: BCS-FACS . 2 : 44–52 . Consultado el 18 de enero de 2017 .
Otras lecturas
- Copeland, BJ Una breve historia de la informática , AlanTuring.net , junio de 2000.
- Lavington, S. The Pegasus Story , Museo de Ciencias , 2000. ISBN 1-900747-40-5 .
- Strachey, C.Un programa imposible , The Computer Journal , 7 (4): 313, enero de 1965.
enlaces externos
- Christopher Strachey en el servidor de bibliografía DBLP
- Christopher Strachey (1916-1975) en Wayback Machine (archivado el 26 de septiembre de 2007) en el Museo Virtual de Computación
- Un simulador del Manchester Mark 1, ejecutando el algoritmo de la carta de amor de Christopher Strachey de 1952
- Una versión web del algoritmo de la carta de amor de Christopher Strachey que muestra listas de palabras
- Computación simbólica y de orden superior Volumen 13, Número 1/2 (abril de 2000) Número especial en memoria de Christopher Strachey
- "Perfiles de pioneros - Christopher Strachey" en Resurrection . El Boletín de la Computer Conservation Society . Número 43 . Verano de 2008. ISSN 0958-7403.
- Documentos Strachey complementarios en la Biblioteca Británica