Em 1948, John von Neumann afirma, como resposta a um questionamento surgido durante uma de suas palestras: “Você insiste que há algo que uma máquina não pode fazer. Se você me disser precisamente o que é que uma máquina não pode fazer, então eu sempre posso fazer uma máquina que fará exatamente isso!”
A afirmação de von Neumann tem com base a tese de:
Escolha uma:
a.
Church-Turing, que afirma que qualquer procedimento formalizável pode ser realizado por uma máquina de Turing, ou seja, por um computador genérico.
b.
Comerauer, criador da linguagem PROLOG
c.
Uhr e Vossler, que criaram um programa de reconhecimento de padrões que avalia e ajusta seus próprios operadores
d.
Nilsson, que afirma que qualquer computador pode substituir um humano.
e.
Weizbaum, do MIT, que criou o programa ELIZA, capaz de compreender sintaticamente um conjunto de sentenças.
Soluções para a tarefa
Respondido por
31
A - Church-Turing, que afirma que qualquer procedimento formalizável pode ser realizado por uma máquina de Turing, ou seja, por um computador genérico.
Perguntas interessantes