Può esistere un numero che contenga la soluzione ad ogni problema numerico? E se contiene tale verità, è possibile conoscerlo? Per rispondere ad una simile domanda dobbiamo andare indietro nel tempo fino al 1936, quando il matematico e crittoanalista britannico Alan Turing scrisse un articolo in cui per la prima volta descrisse quella che da allora fu chiamata “ macchina di Turing ”. Schema di una macchina di Turing Si tratta di una macchina ipotetica in grado di compiere dei calcoli eseguendo una serie di istruzioni predefinite. Dal concetto di macchina di Turing sono stati sviluppati i moderni computer . Turing non si limitò a dire cosa potesse fare una macchina del genere, ma ne descrisse anche i limiti mostrando che doveva anche esistere una serie infinita di numeri che non era possibile generare con nessun procedimento automatico. Turing li chiamò “numeri incomputabili”. Immaginiamo di avere una macchina di Turing con de...
La conoscenza a portata di mano