About: Computability

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Ability to solve a problem in an effective manner

Property	Value
dbo:description	מושג במדעי המחשב (iw) capacité à résoudre un problème de manière effective dans des limites imparties de ressources (fr) ability to solve a problem in an effective manner (en) concepto de informática teórica (es) habilidade de resolver problemas de forma efetiva (pt) Möglichkeit, ein Problem mittels einer Berechnungsanweisung auf eine effektive Weise zu lösen (de)
dbo:wikiPageExternalLink	https://archive.org/details/introductiontoth00sips
dbo:wikiPageWikiLink	dbr:Important_publications_in_computability dbr:Search_problem dbr:Rice's_theorem dbr:List_of_undecidable_problems dbr:Recursive_language dbr:String_rewriting_system dbc:Computability_theory dbr:Post_canonical_system dbr:Function_composition_(computer_science) dbr:Algorithm dbr:Computer_science dbr:Grammar dbr:Mathematical_logic dbr:Number_theory dbr:Programming_language dbr:Turing_machine dbr:Brainfuck dbr:Abstract_machine dbr:Multitape_Turing_machine dbr:Computational_complexity_theory dbr:Formal_language dbr:Hypercomputation dbr:Automata_theory dbr:Nondeterministic_finite_automaton dbr:P′′ dbr:Decision_problem dbr:Computability_logic dbr:Concurrency_(computer_science) dbr:Halting_problem dbr:Recursively_enumerable_language dbr:Combinatory_logic dbr:Gödel_numbering dbr:Finite-state_machine dbr:Regular_expression dbr:String_(computer_science) dbr:Optimization_problem dbr:Markov_algorithm dbr:Register_machine dbr:Church–Turing_thesis dbr:Lambda_calculus dbr:Model_of_computation dbr:Deterministic_finite_automaton dbr:Pushdown_automaton dbr:Regular_language dbr:Context-free_language dbr:Petri_net dbr:Chomsky_hierarchy dbr:Pigeonhole_principle dbr:Pumping_lemma_for_context-free_languages dbr:Context-free_grammar dbr:Pumping_lemma_for_regular_languages dbr:Computational_problem dbr:Computability_theory dbr:Modular_arithmetic dbr:Theory_of_computation dbr:Function_problem dbr:Undecidable_problem dbc:Theory_of_computation dbr:Beta_reduction dbr:Parallel_random-access_machine dbr:Recursion_theory dbr:Hypercomputer dbr:Mu-recursive_function dbr:Μ-recursive_function dbr:Turing-computable_function dbr:Primality_testing dbr:Primitive_recursion
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:= dbt:Authority_control dbt:Main dbt:Math dbt:Redirect dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Theory_of_computation
gold:hypernym	dbr:Ability
rdf:type	owl:Thing owl:Thing
rdfs:label	Computability (en) الحاسوبية (ar) Berechenbarkeit (de) Computabilità (it) Computabilidade (pt) Berekenbaarheid (nl) Обчислюваність (uk) 可计算性 (zh)
owl:sameAs	freebase:Computability wikidata:Computability dbpedia-de:Computability dbpedia-it:Computability dbpedia-nl:Computability dbpedia-he:Computability dbpedia-pt:Computability dbpedia-zh:Computability dbpedia-als:Computability dbpedia-ar:Computability dbpedia-bg:Computability dbpedia-fa:Computability dbpedia-uk:Computability dbpedia-global:Computability
prov:wasDerivedFrom	wikipedia-en:Computability?oldid=1293454561&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Computability
is dbo:notableIdea of	dbr:Kazem_Sadegh-Zadeh
is dbo:wikiPageRedirects of	dbr:Formal_models_of_computation dbr:Calculability dbr:Calculable dbr:Calculably dbr:Calculatable dbr:Computable
is dbo:wikiPageWikiLink of	dbr:Kazem_Sadegh-Zadeh dbr:Primality_Testing_for_Beginners dbr:List_of_computer_scientists dbr:Effective_topos dbr:Divine_Proportions:_Rational_Trigonometry_to_Universal_Geometry dbr:Israel_Institute_for_Advanced_Studies dbr:Ada_Lovelace dbr:Algorithm dbr:Number_theory dbr:Quantum_computing dbr:Turing_machine dbr:Abstract_machine dbr:Successor_function dbr:Discrete_mathematics dbr:Automated_theorem_proving dbr:New_media dbr:Computability_logic dbr:Complexity_class dbr:Shadows_of_the_Mind dbr:Michel_Raynal dbr:Louis_Hodes dbr:Cop-win_graph dbr:Brouwer_fixed-point_theorem dbr:Vladik_Kreinovich dbr:Solomonoff's_theory_of_inductive_inference dbr:Certificate_(complexity) dbr:Church–Turing_thesis dbr:Edward_F._Moore dbr:Lambda_calculus dbr:Norman_Shapiro dbr:Scott_Aaronson dbr:Shimer_Great_Books_School dbr:David_Harel dbr:Turing_completeness dbr:Well-structured_transition_system dbr:Field-programmable_gate_array dbr:Tal_Rabin dbr:Oron_Shagrir dbr:Computable_analysis dbr:Computable_model_theory dbr:Computability_theory dbr:Heidelberg_University_Faculty_of_Mathematics_and_Computer_Science dbr:Cubical_complex dbr:Andrzej_Grzegorczyk dbr:Outline_of_discrete_mathematics dbr:Glossary_of_areas_of_mathematics dbr:Index_of_philosophy_articles_(A–C) dbr:Read-only_Turing_machine dbr:List_of_computer_science_conferences dbr:Queue_automaton dbr:Logics_for_computability dbr:Maximal_set dbr:General_purpose_analog_computer dbr:List_of_important_publications_in_theoretical_computer_science dbr:Formal_models_of_computation dbr:Calculability dbr:Calculable dbr:Calculably dbr:Calculatable dbr:Computable
is dbp:subDiscipline of	dbr:Jeffrey_B._Remmel
is foaf:primaryTopic of	wikipedia-en:Computability