Funzione calcolabile: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Proprietà: Corretta grammatica
Etichette: Modifica da mobile Modifica da applicazione mobile
Nessun oggetto della modifica
Etichette: Modifica visuale Modifica da mobile Modifica da web per mobile
Riga 6:
== Proprietà ==
Una funzione calcolabile è in generale una [[funzione parziale]]
:<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