Diferenças entre edições de "Problema da parada"

99 bytes adicionados ,  00h52min de 11 de dezembro de 2008
m (Bot: Adicionando: simple:Halting problem)
 
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}}
Utilizador anónimo