John Alan Robinson

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa
Translation Latin Alphabet.svg
Este artigo ou seção está a ser traduzido de «John Alan Robinson» na Wikipédia em inglês. Ajude e colabore com a tradução.

John Alan Robinson (Halifax, 9 de março de 1930[1] - Portland (Maine), 5 de agosto de 2016[2]) foi um filósofo (por formação), matemático e cientista da computação . Ele era Professor Emérito Universitário da Universidade de Syracuse, Estados Unidos.

A maior contribuição de Alan Robinson é para os fundamentos da prova automática de teoremas. Seu algoritmo de unificação eliminou uma fonte de explosão combinatória nos provadores da resolução; também preparou o terreno na programação lógica de paradigma, em particular na língua prolog. Robinson recebeu o Prêmio Herbrand de 1996 nas distintas contribuições para raciocínio automático.

Referências

  1. «John Alan Robinson CV» (PDF). upm.es (em espanhol). Consultado em 12 de agosto de 2016. 
  2. «Obituary» (em inglês). New York Times. Consultado em 17 de agosto de 2016. 
Ícone de esboço Este artigo sobre filosofia/um(a) filósofo(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.
Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.
Ícone de esboço Este artigo sobre um(a) cientista da computação é um esboço. Você pode ajudar a Wikipédia expandindo-o.