Question

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.

Answer 1

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.