Perguntas com a marcação «incompleteness»

5
Existe alguma relação concreta entre o teorema da incompletude de Gödel, o problema da parada e as máquinas de Turing universais?
Sempre pensei vagamente que a resposta à pergunta acima era afirmativa nas seguintes linhas. O teorema da incompletude de Gödel e a indecidibilidade do problema de parada são resultados negativos sobre a decidibilidade e estabelecidos por argumentos diagonais (e na década de 1930); portanto, eles devem, de alguma forma, ser …



Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.