3
Arrestare il problema - un problema che mi dà fastidio
Per quanto ne sappia, l'arresto del problema chiede se esiste un programma che decide se un programma viene testato, dati alcuni dati di input (non importa quale programma sia, o quali dati di input che forniamo) verrà chiuso o meno. La risposta a questo problema è "no". In altre parole, …