Entendi que seriam os dois primeiros Castores Atarefados encontrados referentes a máquina de Turing. No artigo anterior ele cita que fora encontrado o 5° Castor Atarefado…. Os artigos são muito curtos para assuntos longos e que demandam muitos raciocínios, na minha opinião.

Se a prova for por força bruta, verificando todos os números possíveis, sim, a máquina ficaria calculando para sempre, independente da conjectura ser verdadeira ou não. Mas não existe uma prova que ateste ser impossível achar um programa que consiga encontrar a resposta para a conjectura sem ter que calcular todos os casos. Esta é a esperança de quem estuda este problema.