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

1 byte removido ,  01h18min de 8 de dezembro de 2011
m
</div>
 
Neste caso, o ''programa i'' se refere ao programa ''i'' em uma [[enumeração]] de todos os programas de um modelo [[Turing- completa|Turing completo]] fixo de computação.
A prova segue estabelecendo que totaltoda função parcial computável com dois argumentos se diferencia da função necessária ''h''. Com esta finalidade, dada qualquer função parcial computável binária ''f'', a seguinte [[função parcial]] ''g'' também é computável por um certo programa ''e'':
:<math>g(i) =
\begin{cases}
9

edições