Christopher Strachey

Da Wikipédia, a enciclopédia livre
Ir para a navegação Pular para pesquisar

Christopher Strachey
Christopher Strachey computador printout.jpg
Primeira impressão de computador de Christopher Strachey na Biblioteca Bodleian , Oxford
Nascer(1916-11-16)16 de novembro de 1916
Hampstead , Inglaterra
Morreu18 de maio de 1975 (1975-05-18)(58 anos)
Oxford , Inglaterra
CidadaniaReino Unido
Educaçãoescola de Gresham
alma materUniversidade de Cambridge (BA)
Conhecido porCPL , semântica denotacional , Conceitos Fundamentais em Linguagens de Programação , time-sharing
Pais)Oliver Strachey
Ray Costelloe
carreira científica
CamposCiência da Computação
InstituiçõesUniversidade de Cambridge , Escola
da Universidade de Oxford
St Edmund, Canterbury
Harrow School
Estudantes de doutoradoPeter MossesDavid
Turner

Christopher S. Strachey ( / ˈ s t r i / ; 16 de novembro de 1916 - 18 de maio de 1975) foi um cientista da computação britânico . [1] [2] [3] Ele foi um dos fundadores da semântica denotacional e um pioneiro em design de linguagem de programação e compartilhamento de tempo de computador . [4] Ele também foi creditado como possivelmente o primeiro desenvolvedor de um videogame . [5] Ele era um membro da família Strachey , proeminente no governo, artes, administração e academia.

Início da vida e educação

Christopher Strachey nasceu em 16 de novembro de 1916, filho de Oliver Strachey e Rachel (Ray) Costelloe em Hampstead , Inglaterra. Oliver Strachey era filho de Richard Strachey e bisneto de Sir Henry Strachey, 1º Baronete . Sua irmã mais velha era a escritora Barbara Strachey . Em 1919, a família mudou-se para 51 Gordon Square . Os Stracheys pertenciam ao Bloomsbury Group, cujos membros incluíam Virginia Woolf , John Maynard Keynes e o tio de Christopher, Lytton Strachey . Aos 13 anos, Christopher foi para a Gresham's School , Holtonde mostrou sinais de brilhantismo, mas em geral teve um desempenho ruim. Ele foi admitido no King's College, Cambridge (o mesmo colégio de Alan Turing ) em 1935, onde continuou a negligenciar seus estudos. Strachey estudou matemática e depois transferiu-se para a física . Ao final de seu terceiro ano em Cambridge , Strachey sofreu um colapso nervoso, possivelmente relacionado a aceitar sua homossexualidade. Ele voltou para Cambridge, mas conseguiu apenas um "segundo inferior" no Tripos de Ciências Naturais . [6]

Carreira

Incapaz de continuar seus estudos, Christopher ingressou na Standard Telephones and Cables (STC) como físico pesquisador. Seu primeiro trabalho foi fornecer análises matemáticas para o projeto de tubos de elétrons usados ​​em radares . A complexidade dos cálculos exigiu o uso de um analisador diferencial . Essa experiência inicial com uma máquina de computação despertou o interesse de Strachey e ele começou a pesquisar o assunto. Um pedido de graduação em pesquisa na Universidade de Cambridge foi rejeitado e Strachey continuou a trabalhar no STC durante a Segunda Guerra Mundial . Após a guerra, ele realizou uma ambição de longa data ao se tornar professor na St Edmund's School, Canterbury., ensinando matemática e física. Três anos depois, ele conseguiu se mudar para a mais prestigiosa Harrow School em 1949, onde permaneceu por três anos.

Rascunhos de Christopher Strachey 1952 evidência fotográfica do primeiro videogame
Rascunhos em um CRT de armazenamento, 1952

Em janeiro de 1951, um amigo o apresentou a Mike Woodger, do National Physical Laboratory (NPL). O laboratório construiu com sucesso uma versão reduzida do Automatic Computing Engine (ACE) de Alan Turing, cujo conceito datava de 1945: o Pilot ACE . Nas horas vagas, Strachey desenvolveu um programa para o jogo de damas (também conhecido como "damas"), cuja versão preliminar terminou em maio de 1951. O jogo esgotou completamente a memória do Pilot ACE. O programa de rascunhos tentou ser executado pela primeira vez em 30 de julho de 1951 em NPL, mas não teve sucesso devido a erros de programa. [7] Quando Strachey ouviu falar do Manchester Mark 1, que tinha uma memória muito maior, ele pediu o manual a seu ex-colega Alan Turing e transcreveu seu programa nos códigos de operação daquela máquina por volta de outubro de 1951. No verão de 1952, o programa podia "jogar um jogo completo Damas a uma velocidade razoável". [8] [9] Embora ele não tenha dado a este jogo - que pode ter sido o primeiro videogame - um nome, Noah Wardrip-Fruin o chamou de "MUC Drafts". [10]

Strachey programou a primeira música executada por um computador; uma versão do hino nacional britânico " God Save the King " no Mark II Manchester Electronic Computer em Manchester, em 1951. Mais tarde naquele ano, pequenos trechos de três peças foram gravados lá por uma unidade de transmissão externa da BBC : "God Save the King ", " Baa, Baa, Black Sheep ", e " In the Mood ". Pesquisadores da Universidade de Canterbury , em Christchurch, restauraram o disco master de acetato em 2016 e os resultados podem ser ouvidos no SoundCloud . [11] [12]

Em maio de 1952, Strachey deu uma palestra em duas partes sobre "o estudo do controle em animais e máquinas" (" cibernética ") para o programa Science Survey do BBC Home Service . [13] [14]

Strachey trabalhou para a National Research Development Corporation (NRDC) de 1952 a 1959. Enquanto trabalhava no projeto St. Lawrence Seaway, ele pôde visitar vários centros de computação nos Estados Unidos e catalogar seus conjuntos de instruções . Mais tarde, ele trabalhou na programação do computador Elliott 401 e do computador Ferranti Pegasus . Juntamente com Donald B. Gillies , ele registrou três patentes em design de computação, incluindo o design de registradores de base para realocação de programas. Ele também trabalhou na análise de vibração em aeronaves, trabalhando brevemente com Roger Penrose .

Em 1959, Strachey deixou o NRDC para se tornar um consultor de informática trabalhando para o NRDC, EMI , Ferranti e outras organizações em vários projetos abrangentes. Este trabalho incluiu o design lógico para computadores, fornecendo autocode e posteriormente o design de linguagens de programação de alto nível . Para um contrato para produzir o código automático para o computador Ferranti Orion , Strachey contratou Peter Landin , que se tornou seu único assistente durante o período de consultoria de Strachey.

Em 1962, ainda como consultor, aceitou um cargo na Universidade de Cambridge .

Em 1965, Strachey aceitou um cargo na Universidade de Oxford como o primeiro diretor do Programming Research Group e mais tarde o primeiro professor de ciência da computação da universidade e membro do Wolfson College, Oxford . Ele colaborou com Dana Scott .

Strachey foi eleito membro distinto da British Computer Society em 1971 por seu trabalho pioneiro em ciência da computação.

Em 1973, Strachey (junto com Robert Milne ) começou a escrever um ensaio submetido à competição do Prêmio Adams , após o qual eles continuaram trabalhando para revisá-lo em forma de livro. Strachey pode ser visto e ouvido no debate gravado em Lighthill sobre IA [15] (ver relatório Lighthill ).

Strachey contraiu uma doença diagnosticada como icterícia que, após um período de aparente recuperação, voltou e ele morreu de hepatite infecciosa em 18 de maio de 1975. [16]

Strachey desenvolveu o conceito de compartilhamento de tempo em 1959. [17] [18] Ele entrou com um pedido de patente em fevereiro daquele ano e apresentou um artigo "Time Sharing in Large Fast Computers" na Conferência inaugural de Processamento de Informação da UNESCO em Paris, onde foi aprovado o conceito para JCR Licklider . [19] [20] Este artigo é creditado pelo Centro de Computação do MIT em 1963 como "o primeiro artigo sobre computadores com tempo compartilhado". [4]

Ele desenvolveu a Linguagem de Programação Combinada (CPL). Seu influente conjunto de notas de aula Conceitos fundamentais em linguagens de programação formalizou a distinção entre valores L e R (como visto na linguagem de programação C ). Strachey também cunhou o termo currying , embora não tenha inventado o conceito subjacente .

Ele foi fundamental no projeto do computador Ferranti Pegasus .

Ele foi um pioneiro dos primeiros videogames criando uma versão de rascunhos para o Ferranti Mark 1 .

A linguagem macro m4 deriva muito do GPM ( General Purpose Macrogenerator ) de Strachey, uma das primeiras linguagens de expansão de macro . [21]

Legado

O Departamento de Ciência da Computação da Universidade de Oxford possui a Cátedra Christopher Strachey de Computação, atualmente ocupada por Samson Abramsky FRS. [22]

Em novembro de 2016, um evento Strachey 100 foi realizado na Universidade de Oxford para comemorar o centenário do nascimento de Strachey, [23] incluindo uma exibição na Biblioteca Weston em Oxford do arquivo de Christopher Strachey mantido na coleção da Biblioteca Bodleian . [24]

Publicações

Referências

  1. ^ Christopher Strachey: cientista da computação britânico , Encyclopædia Britannica .
  2. Catálogo dos papéis e correspondência de Christopher Strachey (1916 - 1975) , The National Archives , Reino Unido.
  3. ^ Gordon, MJC , Christopher Strachey: Recollections of His Influence , Higher-Order and Symbolic Computation , 13(1–2):65–67, abril de 2000. ISSN 1388-3690 . ( Versão PostScript arquivada em 13 de março de 2017 na Wayback Machine .) 
  4. ^ 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 . "o primeiro artigo sobre computadores de tempo compartilhado por C. Strachey na conferência de processamento de informações da UNESCO em junho de 1959" 
  5. ^ Brown, Stuart (4 de outubro de 2019). "O primeiro videogame" . YouTube . Arquivado do original em 4 de outubro de 2019 . Acesso em 19 de janeiro de 2022 .
  6. ^ Campbell-Kelly, M. (janeiro de 1985). "Christopher Strachey, 1916-1975: uma nota biográfica". IEEE Annals of the History of Computing . 7 (1): 21. doi : 10.1109/mahc.1985.10001 . S2CID 17188378 . 
  7. ^ "O sacerdócio em jogo: jogos de computador na década de 1950" . Eles criam mundos . 22 de janeiro de 2014 . Acesso em 28 de agosto de 2017 .
  8. ^ "O que é Inteligência Artificial" . AlanTuring.net . Maio de 2000 . Acesso em 28 de agosto de 2017 .
  9. ^ Strachey, CS (setembro de 1952). Programas lógicos ou não matemáticos . ACM '52: Anais do Encontro Nacional ACM de 1952 (Toronto). pág. 47. doi : 10.1145/800259.808992 .
  10. ^ Wardrip-Fruin, Noah (dezembro de 2020). Como o Pac-Man come (1 ed.). Cambridge, MA: The MIT Press. pág. 121. ISBN 9780262044653.
  11. ^ "Primeira gravação de música gerada por computador - criada por Alan Turing - restaurada" . O Guardião . 26 de setembro de 2016 . Acesso em 28 de agosto de 2017 .
  12. ^ "Restaurando a primeira gravação de música de computador - Blog de som e visão" . Biblioteca Britânica . 13 de setembro de 2016 . Acesso em 28 de agosto de 2017 .
  13. ^ "Science Survey - BBC Home Service Basic - 1 de maio de 1952 - BBC Genome" . BBC . Acesso em 28 de agosto de 2017 .
  14. ^ "Science Survey - BBC Home Service Basic - 8 de maio de 1952 - BBC Genome" . BBC . Acesso em 28 de agosto de 2017 .
  15. ^ bilkable (12 de setembro de 2010), The Lighthill Debate (1973) – parte 6 de 6 , acessado em 27 de outubro de 2017
  16. ^ "Pioneiros do computador - Christopher Strachey" .
  17. ^ "Pioneiros do computador - Christopher Strachey" . history.computer.org . Acesso em 23 de janeiro de 2020 . O que Strachey propôs em seu conceito de compartilhamento de tempo foi um arranjo que preservaria o contato direto entre o programador e a máquina, enquanto ainda alcançava a economia da multiprogramação.
  18. ^ "Computador - Compartilhamento de tempo e minicomputadores" . Enciclopédia Britânica . Acesso em 23 de janeiro de 2020 . Em 1959, Christopher Strachey, no Reino Unido, e John McCarthy, nos Estados Unidos, descreveram independentemente algo que chamaram de compartilhamento de tempo.
  19. ^ Gillies, James M.; Gilies, James; Gillies, James e Cailliau Robert; Cailliau, R. (2000). Como a Web nasceu: a história da World Wide Web . Imprensa da Universidade de Oxford. pág.  13 . ISBN 978-0-19-286207-5.
  20. ^ "Reminiscências sobre a teoria do tempo compartilhado" . jmc.stanford.edu . Acesso em 23 de janeiro de 2020 . em 1960, 'tempo compartilhado' como uma frase estava muito no ar. Foi, no entanto, geralmente usado no meu sentido, e não no sentido de John McCarthy de um objeto semelhante ao CTSS.
  21. ^ C. Strachey: "A General Purpose Macrogenerator", The Computer Journal , 8 (3):225–241, 1965.
  22. ^ "Samson Abramsky" . Reino Unido: Departamento de Ciência da Computação, Universidade de Oxford . Acesso em 18 de janeiro de 2017 .
  23. ^ "Strachey 100: Celebrando a vida e a pesquisa de Christopher Strachey" . Reino Unido: Departamento de Ciência da Computação, Universidade de Oxford . 2016 . Acesso em 18 de janeiro de 2017 .
  24. ^ Bowen, Jonathan P. (2016). "Strachey 100 Centenary Conference: Fotografias de Strachey 100" (PDF) . FATOS FAC . Reino Unido: BCS-FACS . 2 : 44–52 . Acesso em 18 de janeiro de 2017 .

Leitura adicional

Links externos