domenica 8 settembre 2024

The halting problem

Quando comincia a menare il torrone, l'algoritmo di Google non si ferma più, è andato avanti per giorni con il Bayesian e Sharon Verzeni, adesso è il turno di Maria Rosaria Boccia, e non la pianterà finché non ce la farà uscire dalle orecchie. "Il problema dell'arresto (o problema della fermata) chiede se sia sempre possibile, descritto un algoritmo e un determinato ingresso finito, stabilire se l'algoritmo in questione termina o continua la sua esecuzione all'infinito." La risposta è che continua la sua esecuzione all'infinito, e per arrestare la macchina bisogna staccarle la spina, tagliarle i cavi, sminuzzarle tutti i transistor e sotterrare i pezzi in un bunker di cemento armato a duecento metri sotto il livello del mare.

Nessun commento:

Posta un commento