Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Computable function
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Function whose values can be computed by an algorithm
Property
Value
dbo:
description
funkcio, kies valoroj estas komputeblaj per algoritmo
(eo)
funcție ale cărei valori pot fi calculate de un algoritm
(ro)
funkce, jejíž hodnoty lze spočítat nějakým algoritmem
(cs)
function whose values can be computed by an algorithm
(en)
objectes bàsics d'estudi en la teoria de la computació
(ca)
الدوال
(ar)
dbo:
wikiPageExternalLink
https://academic.oup.com/plms/issue/s2-42/1
dbo:
wikiPageWikiLink
dbr
:Chaitin's_constant
dbr
:Primitive_recursive_function
dbr
:Soundness
dbc
:Computability_theory
dbr
:Function_composition
dbr
:Lambda_calculus
dbr
:Compiler
dbr
:Prime_factor
dbr
:Constant_function
dbr
:Busy_beaver
dbr
:Herbert_Enderton
dbr
:Addition
dbr
:First-order_logic
dbr
:Set_(mathematics)
dbr
:Closure_(mathematics)
dbr
:Finitary_relation
dbr
:If_and_only_if
dbr
:Super-recursive_algorithm
dbr
:Greatest_common_divisor
dbr
:Church–Turing_thesis
dbr
:Effective_method
dbr
:Μ_operator
dbr
:Domain_of_a_function
dbr
:Formal_language
dbr
:Tetration
dbr
:Partial_function
dbr
:Halting_problem
dbr
:Turing_jump
dbr
:Arithmetical_hierarchy
dbr
:Arity
dbr
:Computable_number
dbr
:Diagonal_lemma
dbr
:Algorithm
dbr
:Tag_system
dbr
:David_Hilbert
dbr
:Multiplication
dbr
:Computational_complexity_theory
dbr
:Blum_axioms
dbr
:Ackermann_function
dbr
:Unary_operation
dbr
:Function_problem
dbr
:Turing_degree
dbr
:Register_machine
dbr
:Entscheidungsproblem
dbr
:Theory_of_computation
dbc
:Theory_of_computation
dbr
:General_recursive_function
dbr
:Mathematician
dbr
:Tuple
dbr
:Post–Turing_machine
dbr
:Finitary
dbr
:Kolmogorov_complexity
dbr
:Natural_number
dbr
:Turing_machine
dbr
:Arg_max
dbr
:Exponential_growth
dbr
:Recursively_enumerable
dbr
:Recursive_definition
dbr
:Hypercomputation
dbr
:Model_of_computation
dbr
:Computable_ordinal
dbr
:Semicomputable_function
dbr
:Recursion_theory
dbr
:Μ-recursive_function
dbr
:Hyperarithmetical_theory
dbr
:Peano_arithmetic
dbr
:Effectively_calculable
dbr
:Oracle_(computability)
dbr
:Bézout_coefficient
dbr
:Feasible_computability
dbr
:A._Turing
dbr
:Natural_numbers
dbr
:Gödel_number
dbr
:Computability_theory_(computer_science)
dbr
:Countability
dbr
:Injective
dbr
:Relative_computability
dbr
:Turing-computable_function
dbp:
wikiPageUsesTemplate
dbt
:Mset
dbt
:Main
dbt
:Reflist
dbt
:Math
dbt
:=
dbt
:ComplexityClasses
dbt
:See_also
dbt
:Pi
dbt
:Mvar
dbt
:Mathematical_logic
dbt
:Ordered_list
dbt
:Short_description
dct:
subject
dbc
:Computability_theory
dbc
:Theory_of_computation
gold:
hypernym
dbr
:Objects
rdfs:
label
Computable function
(en)
دالة قابلة للحساب
(ar)
Funció computable
(ca)
Υπολογίσιμη συνάρτηση
(el)
Función computable
(es)
Funzione calcolabile
(it)
計算可能関数
(ja)
Fonction calculable
(fr)
계산 가능 함수
(ko)
Função computável
(pt)
Funkcja obliczalna
(pl)
Вычислимая функция
(ru)
Обчислювана функція
(uk)
可计算函数
(zh)
rdfs:
seeAlso
dbr
:Decider_(Turing_machine)
owl:
sameAs
yago-res
:Computable function
freebase
:Computable function
wikidata
:Computable function
dbpedia-it
:Computable function
dbpedia-fr
:Computable function
dbpedia-zh
:Computable function
dbpedia-ja
:Computable function
dbpedia-pt
:Computable function
dbpedia-he
:Computable function
dbpedia-es
:Computable function
dbpedia-ru
:Computable function
dbpedia-vi
:Computable function
dbpedia-pl
:Computable function
dbpedia-ko
:Computable function
dbpedia-el
:Computable function
dbpedia-ca
:Computable function
dbpedia-ar
:Computable function
dbpedia-ast
:Computable function
dbpedia-gl
:Computable function
dbpedia-simple
:Computable function
dbpedia-sr
:Computable function
dbpedia-uk
:Computable function
dbpedia-global
:Computable function
prov:
wasDerivedFrom
wikipedia-en
:Computable_function?oldid=1291717451&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Computable_function
is
dbo:
wikiPageDisambiguates
of
dbr
:C_(disambiguation)
is
dbo:
wikiPageRedirects
of
dbr
:Effectively_computable
dbr
:Uncomputable
dbr
:Uncomputable_function
dbr
:Computable_predicate
dbr
:Partial_computable_function
dbr
:Non-computable_function
dbr
:Noncomputable_function
dbr
:Incomputable
dbr
:Incomputable_function
dbr
:Turing-computable
dbr
:Turing_computable
dbr
:Provably_total
dbr
:Total_computable_function
is
dbo:
wikiPageWikiLink
of
dbr
:Stanisław_Mazur
dbr
:Chaitin's_constant
dbr
:Graham's_number
dbr
:Hyperoperation
dbr
:Primitive_recursive_function
dbr
:List_of_forcing_notions
dbr
:Subgroup_distortion
dbr
:Computably_enumerable_set
dbr
:Todd–Coxeter_algorithm
dbr
:Enumeration
dbr
:Smn_theorem
dbr
:LOOP_(programming_language)
dbr
:Brainfuck
dbr
:Lambda_calculus
dbr
:Peano_axioms
dbr
:Busy_beaver
dbr
:Recursively_enumerable_language
dbr
:P′′
dbr
:Creative_and_productive_sets
dbr
:Markov's_principle
dbr
:Function_(mathematics)
dbr
:Paris–Harrington_theorem
dbr
:Decidability_(logic)
dbr
:Gödel's_incompleteness_theorems
dbr
:Type_system
dbr
:Robinson_arithmetic
dbr
:R_(complexity)
dbr
:Computable_set
dbr
:Free_variables_and_bound_variables
dbr
:Universal_Turing_machine
dbr
:Function_type
dbr
:Hans_Hermes
dbr
:Goodstein's_theorem
dbr
:Specker_sequence
dbr
:Word_problem_(mathematics)
dbr
:0
dbr
:Computer
dbr
:Church–Turing_thesis
dbr
:Effective_method
dbr
:Turing_completeness
dbr
:Μ_operator
dbr
:Ordinal_number
dbr
:Halting_problem
dbr
:Turing_jump
dbr
:Arithmetical_hierarchy
dbr
:Computable_number
dbr
:Gap_theorem
dbr
:Computability_theory
dbr
:Diagonal_lemma
dbr
:Brouwer–Heyting–Kolmogorov_interpretation
dbr
:Fast-growing_hierarchy
dbr
:Implicit_graph
dbr
:Non-recursive_function
dbr
:Arithmetical_set
dbr
:Equivalence_partitioning
dbr
:Computer_algebra
dbr
:Markov_decision_process
dbr
:Euclid–Mullin_sequence
dbr
:Kurt_Gödel
dbr
:Numbering_(computability_theory)
dbr
:AI-complete
dbr
:Blum_axioms
dbr
:Ackermann_function
dbr
:Stephen_Cole_Kleene
dbr
:Mathematical_logic
dbr
:Langton's_loops
dbr
:RE_(complexity)
dbr
:Reduction_(complexity)
dbr
:Numbering_scheme
dbr
:Reverse_mathematics
dbr
:Glossary_of_areas_of_mathematics
dbr
:Kleene's_recursion_theorem
dbr
:Large_countable_ordinal
dbr
:History_of_the_Church–Turing_thesis
dbr
:History_of_the_function_concept
dbr
:List_of_important_publications_in_mathematics
dbr
:Space_hierarchy_theorem
dbr
:Unifying_theories_in_mathematics
dbr
:Entscheidungsproblem
dbr
:Hardware_acceleration
dbr
:Structured_programming
dbr
:Higher-order_logic
dbr
:List_of_mathematical_functions
dbr
:Rice's_theorem
dbr
:Effective_results_in_number_theory
dbr
:Realizability
dbr
:Undecidable_problem
dbr
:Turing_reduction
dbr
:Bourbaki–Witt_theorem
dbr
:List_of_mathematical_logic_topics
dbr
:Logic_of_Computable_Functions
dbr
:Structural_complexity_theory
dbr
:Subcountability
dbr
:Successor_function
dbr
:Test_vector
dbr
:PA_degree
dbr
:General_recursive_function
dbr
:Philosophy_of_mathematics
dbr
:Constructivism_(philosophy_of_mathematics)
dbr
:Time_complexity
dbr
:Glossary_of_computer_science
dbr
:Kleene's_O
dbr
:Kleene's_T_predicate
dbr
:Kleene–Brouwer_order
dbr
:Ordinal_analysis
dbr
:Ordinal_notation
dbr
:UTM_theorem
dbr
:Kolmogorov_complexity
dbr
:Structured_program_theorem
dbr
:Turing_machine
dbr
:C_(disambiguation)
dbr
:Thoralf_Skolem
dbr
:Algorithm_characterizations
dbr
:Algorithmic_probability
dbr
:Church's_thesis_(constructive_mathematics)
dbr
:Complete_numbering
dbr
:Truth-table_reduction
dbr
:Blum's_speedup_theorem
dbr
:Recursive_function
dbr
:History_of_randomness
dbr
:Orchestrated_objective_reduction
dbr
:Index_set_(computability)
dbr
:BlooP_and_FlooP
dbr
:List_of_types_of_functions
dbr
:Scott–Curry_theorem
dbr
:Hypercomputation
dbr
:Compression_theorem
dbr
:Computable_analysis
dbr
:Computable_isomorphism
dbr
:Constructive_set_theory
dbr
:Mathematical_universe_hypothesis
dbr
:Klam_value
dbr
:Back-and-forth_method
dbr
:Learning_automaton
dbr
:Reversible_cellular_automaton
dbr
:Semi-membership
dbr
:Semicomputable_function
dbr
:Outline_of_logic
dbr
:List_of_inventions_and_discoveries_by_women
dbr
:Reverse_Mathematics:_Proofs_from_the_Inside_Out
dbr
:Penrose–Lucas_argument
dbr
:ELEMENTARY
dbr
:Buchholz_hydra
dbr
:Lazy_linear_hybrid_automaton
dbr
:Hyperarithmetical_theory
dbr
:Myhill_isomorphism_theorem
dbr
:Effectively_computable
dbr
:Uncomputable
dbr
:Uncomputable_function
dbr
:Computable_predicate
dbr
:Partial_computable_function
dbr
:Non-computable_function
dbr
:Noncomputable_function
dbr
:Incomputable
dbr
:Incomputable_function
dbr
:Turing-computable
dbr
:Turing_computable
dbr
:Provably_total
dbr
:Total_computable_function
is
foaf:
primaryTopic
of
wikipedia-en
:Computable_function
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International