FUNZIONI NON COMPUTABILI

Questo problema Ë perfettamente definito, ma non Ë computabile (nel caso generale).

Dimostrazione

Sia M líinsieme di tutte le Macchine di Turing

e X líinsieme di tutti i possibili ingressi.

Sia poi:

x _ X un generico dato di ingresso
m _ M una generica Macchina di Turing.

Diapositiva precedente Diapositiva successiva Torna alla prima diapositiva Visualizza versione grafica