John McCarthy
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
- Literatura de e sobre John McCarthy no catálogo da Biblioteca Nacional Alemã
- Site de McCarthy na Universidade de Stanford
- ((Requiescat) in (pace)): Sobre a morte de John McCarthy . heise.de, 25 de outubro de 2011
- John McCarthy. O pai da nuvem do computador está morto . Spiegel Online netzwelt
- Personalidades da ciência da computação - John McCarthy . Informatik Aktuell (revista)
- John McCarthy . Museu da História do Computador
documentos de suporte
- ↑ tweet da Stanford Engineering
- ↑ 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.
- ↑ jmc / personal Stanford University
- ^ 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)
dados pessoais | |
---|---|
SOBRENOME | McCarthy, John |
PEQUENA DESCRIÇÃO | Cientista da computação americano, inventor da linguagem de programação LISP |
DATA DE NASCIMENTO | 4 de setembro de 1927 |
LOCAL DE NASCIMENTO | Boston , Massachusetts |
DATA DA MORTE | 23 de outubro de 2011 |
Lugar da morte | Palo Alto , Califórnia |