Data una riforma R il problema dell'arresto (o della fermata) concerne la possibilità di verificare mediante apposito algoritmo se l'approvazione di R troverà una soluzione o se continuerà ad essere rimandata all'infinito. La risposta di Turing è no, non è possibile approntare alcun algoritmo in grado di abbracciare la complessità italiana nella sua interezza, l'algoritmo ad un certo punto si blocca, entra in conflitto con se stesso, scalda i relè e manda a fuoco la macchina.
Nessun commento:
Posta un commento