2
Quali sono i programmi molto brevi con stato di arresto sconosciuto?
Questo programma a 579 bit nel calcolo binario Lambda ha uno stato di arresto sconosciuto: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Cioè, non è noto se questo programma termina o meno. Per determinarlo, devi risolvere la congettura di Collatz - o, almeno, per tutti i numeri fino a …