Funzione calcolabile: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Corretto: "Le funzioni calcolabili sono l'analogo formale della nozione intuitiva di algoritmo, nel senso che una funzione è calcolabile se esiste un algoritmo che può svolgere il compito della funzione stessa, cioè se dato un input del dominio della funzione, questa è in grado di restituire il corrispondente output. " |
m correzione piccolo errore riguardante la dimostrabilità della tesi di Church-Turing |
||
Riga 8:
:<math>f: \mathbb{N} \to \mathbb{N}</math>
Secondo la (
* le [[funzione ricorsiva|funzioni ricorsive]]
| |||