Considere o seguinte programa:
Este programa produz a sequência Collatz 5n+1 que é como 7, 36, 18, 9, 46, 23, 116, 58, 29,… Atualmente, ninguém sabe seu destino.(Esta última conclusão significa que se a entrada X for um programa de categoria C, 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 avança no tempo.Se o número de estados alcançáveis para um programa for limitado, independente da entrada, então esse programa não pode 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/
