Sabe-se que com um conjunto contável de algoritmos (caracterizado por um número de Gödel), não podemos computar (construir um algoritmo binário que verifique a pertença) todos os subconjuntos de N.
Uma prova poderia ser resumida como: se pudéssemos, então o conjunto de todos os subconjuntos de N seria contável (poderíamos associar a cada subconjunto o número de Gödel do algoritmo que o computa). Como isso é falso, prova o resultado.
Esta é uma prova de que gosto, pois mostra que o problema é equivalente aos subconjuntos de N que não são contáveis.
Agora eu gostaria de provar que o problema de parada não é solucionável usando apenas esse mesmo resultado (incontabilidade de subconjuntos de N), porque acho que esses são problemas muito próximos. É possível provar dessa maneira?
Respostas:
O teorema da parada, o teorema de Cantor (o não isomorfismo de um conjunto e seu conjunto de potências) e o teorema da incompletude de Goedel são todas instâncias do teorema de ponto fixo de Lawvere, que diz que para qualquer categoria fechada cartesiana, se houver um mapa epimórfico então todo tem um ponto fixo.e:A→(A⇒B) f:B→B
Para uma boa introdução a essas idéias, consulte este post de Andrej Bauer .
fonte