John McCarthy

John McCarthy (2006)

John McCarthy (nascido em 4 de Setembro de, 1927 em Boston , Massachusetts , † 23 de de Outubro de, 2011 em Palo Alto , Califórnia ) foi um americano lógico, cientista da computação e autor. Ele é o inventor da linguagem de programação LISP . Por suas contribuições significativas para o campo da inteligência artificial , McCarthy recebeu o Prêmio Turing em 1971 e o Prêmio Kyoto em 1988 . Em 1991, ele foi premiado com a Medalha Nacional de Ciência .

Vida

McCarthy recebeu seu diploma de Bacharel em Ciências em matemática pelo Instituto de Tecnologia da Califórnia em 1948 . Ele obteve seu doutorado três anos depois, em 1951, na Universidade de Princeton, com Solomon Lefschetz ( Operadores de projeção e equações diferenciais parciais ). Depois de ficar na Stanford University , Dartmouth College e Massachusetts Institute of Technology , ele foi professor em Stanford desde 1962, onde se aposentou em 2000. Ele foi ativo como professor emérito na Universidade de Stanford até sua morte e frequentemente fazia comentários sobre eventos mundiais em fóruns da Internet de uma perspectiva matemático-científica.

O primeiro aluno de PhD de McCarthy foi Raj Reddy , que mais tarde também ganhou o Prêmio Turing. McCarthy também foi supervisor de doutorado da vencedora do Prêmio Turing, Barbara Liskov .

De 1957 a 1959 ele foi promovido a Sloan Fellow no campo das Ciências Físicas. Ele foi membro da American Academy of Arts and Sciences (1974), da American Association for the Advancement of Science , da American Mathematical Society e da Association for Computing Machinery . Em 1987 foi admitido na National Academy of Engineering e em 1989 na National Academy of Sciences . Ele foi presidente da American Association for Artificial Intelligence de 1983 a 1984 e atuou no conselho editorial do Artificial Intelligence Journal desde 1975 .

Ele escreveu contos nos quais o desenvolvimento da IA ​​desempenha um papel.

McCarthy era ateu. Citar:

“Respondendo à insistência de Richard Dawkins em seus colegas ateus para 'assumirem', menciono que sou realmente ateu. Para se considerar ateu, não é necessário reivindicar uma prova de que não existem deuses. Basta pensar que a evidência sobre a questão dos deus está quase no mesmo estado que a evidência sobre a questão do lobisomem. "

ato

A primeira conferência sobre inteligência artificial, a Conferência de Dartmouth , ocorreu no verão de 1956. Em 1955, McCarthy cunhou o termo inteligência artificial no pedido de financiamento da Fundação Rockefeller para esta conferência . McCarthy é o inventor da linguagem de programação LISP , cujo design ele apresentou em 1960 na revista Communications of the ACM . LISP foi uma das primeiras implementações de um cálculo lógico em um computador.

Ele também é creditado com a invenção do algoritmo alfa-beta , que fez uma contribuição decisiva para a força de jogo dos programas de xadrez, e o primeiro algoritmo de marcação e varredura para coleta automática de lixo.

Outros

O Prêmio John McCarthy do IJCAI é concedido a cientistas em meio de carreira em inteligência artificial.

literatura

  • Vladimir Lifschitz: John McCarthy (1927-2011). In: Nature , Volume 480, 2011, p. 40.

Links da web

Commons : John McCarthy  - coleção de imagens, vídeos e arquivos de áudio

documentos de suporte

  1. tweet da Stanford Engineering
  2. a b c ((Requiescat) in (pace)): Sobre a morte de John McCarthy . heise.de, 25 de outubro de 2011; Recuperado em 25 de outubro de 2011.
  3. jmc / personal Stanford University
  4. ^ McCarthy e outros: Uma proposta para o projeto de pesquisa do verão de Dartmouth na inteligência artificial . ( Memento de 30 de setembro de 2008 no Internet Archive ) Agosto de 1955, p. 1 (pedido de financiamento)