Considere o seguinte programa:
Este programa produz a sequência Collatz 5n+1, que fica 7, 36, 18, 9, 46, 23, 116, 58, 29,… Atualmente, ninguém conhece seu destino.(Esta última conclusão significa que, se a entrada X for um programa de categoria C, o GeniusBot (X) também é um programa de categoria C).Ele continua tentando novos valores para A, B, C e N, tentando números cada vez maiores à medida que progride com o tempo.Se o número de estados acessíveis para um programa for limitado, independentemente da entrada, esse programa não poderá se tornar um programa de categoria C para qualquer entrada.A variável x começa com 1, depois se torna 2, depois 1, depois 2, e isso continua para sempre.
Fonte: https://www.lifeiscomputation.com/it-is-not-intelligent-if-it-always-halts/
