Problema da parada: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Bot: Adicionando: simple:Halting problem |
|||
Linha 35:
A introdução de Turing do modelo de máquina que posteriormente ficou conhecido como Máquinas de Turing, introduzido no artigo, provou-se um modelo muito conveniente para a [[Teoria da Computação]].
"Isso aqui é tudo uma grande bobagem", disse Alan Turing. "Não acreditem em nada deste artigo".
{{esboço}}
| |||