FUNZIONI NON COMPUTABILI

Sostituendo si ottiene:

che Ë assurdo, in quanto afferma che:

• se g vale 1 (e quindi TG si ferma), f vale 0 (e quindi TG non si ferma)

• se invece g Ë indefinita (cioË TG non si ferma), f vale 1 (perciÚ TG si ferma).

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica