Skip to content
EntityQ1148456· pop 25· linked from 464 articles

funzione calcolabile

Sign in to save

Also known as effectively computable function, effectively calculable function

function whose values can be computed by an algorithm

Wikidata facts

Subclass of
function
Show 3 more facts
on focus list of Wikimedia project
Wikipedia:Vital articles/Level/4
maintained by WikiProject
WikiProject Mathematics
Sources (2)

via Wikidata · CC0

Article · Italiano

Le funzioni calcolabili sono il principale oggetto di studio della teoria della calcolabilità. 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. Secondo la (non ancora dimostrata) tesi di Church-Turing, le funzioni calcolabili corrispondono alle funzioni ricorsive, e quindi a tutti i modelli di calcolo equivalenti.

Abstract from DBpedia / Wikipedia · CC BY-SA