Funzione calcolabile: differenze tra le versioni

Versione delle 02:15, 28 lug 2005

Versione delle 09:10, 4 ago 2005

Riga 7:

:<math>f:\subseteq \mathbb{N} \to \mathbb{N}</math>

Secondo la (indimostrabile) [[tesi di Church-Turing]], la [[Classe (insiemistica)|classe]] delle funzioni calcolabili è equivalente alla classe delle funzioni definite da

* le [[funzione ricorsiva|funzioni ricorsive]]