funzione calcolabile
Sign in to saveAlso known as effectively computable function, effectively calculable function
function whose values can be computed by an algorithm
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
Connections
computability theory
Entity
semantic theory of truth
Entity
natural number
Entity
mathematical logic
Entity
injection
Entity
countable set
Entity
computational complexity theory
Entity
first-order logic
Entity
Peano axioms
Entity
formal system
Entity
recursive set
Entity
μ-recursive function
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
effective method
Entity
ground expression
Entity
diagram
Entity
logic
Entity
Alan Turing
Entity