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:
Secondo la (indimostrabile) [[tesi di Church-Turing]], la [[Classe (insiemistica)|classe]] delle funzioni calcolabili è equivalente alla classe delle funzioni definite da
|