funzione calcolabile

Le funzioni calcolabili sono il principale oggetto di studio della teoria della calcolabilità. Non è possibile dare una definizione formale delle funzioni calcolabili, ma esse corrispondono all'intuitivo concetto di "problema che può essere calcolato", e quindi di algoritmo. Secondo la (indimostrabile) tesi di Church-Turing, le funzioni calcolabili corrispondono alle funzioni ricorsive, e quindi a tutti i modelli di calcolo equivalenti.
Per saperne di più visita Wikipedia.org...