Dire che la funzione
f: N Æ S
Ë computabile
significa dire che
líinsieme S puÚ essere effettivamente costruito (per enumerazione) appunto calcolando elemento per elemento la funzione f.
Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |