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:Abstract_machine dbr:List_of_undecidable_problems dbr:Automata_theory dbr:Petri_net dbr:Brainfuck dbc:Computability_theory dbr:Lambda_calculus dbr:Context-free_language dbr:Optimization_problem dbr:Recursively_enumerable_language dbr:P′′ dbr:Markov_algorithm dbr:Pumping_lemma_for_regular_languages dbr:Number_theory dbr:Modular_arithmetic dbr:Recursive_language dbr:Function_composition_(computer_science) dbr:Multitape_Turing_machine dbr:Search_problem dbr:Church–Turing_thesis dbr:Formal_language dbr:Concurrency_(computer_science) dbr:Combinatory_logic dbr:Halting_problem dbr:Nondeterministic_finite_automaton dbr:Computability_theory dbr:Deterministic_finite_automaton dbr:Algorithm dbr:Grammar dbr:Programming_language dbr:Finite-state_machine dbr:Computer_science dbr:Chomsky_hierarchy dbr:Pigeonhole_principle dbr:Regular_expression dbr:Computational_complexity_theory dbr:Context-free_grammar dbr:Mathematical_logic dbr:Function_problem dbr:Register_machine dbr:Pushdown_automaton dbr:Regular_language dbr:Theory_of_computation dbr:Rice's_theorem dbr:Undecidable_problem dbc:Theory_of_computation dbr:String_(computer_science) dbr:Computational_problem dbr:Gödel_numbering dbr:Turing_machine dbr:Post_canonical_system dbr:Beta_reduction dbr:Decision_problem dbr:Pumping_lemma_for_context-free_languages dbr:Hypercomputation dbr:Model_of_computation dbr:Computability_logic dbr:Parallel_random-access_machine dbr:Recursion_theory dbr:Μ-recursive_function dbr:String_rewriting_system dbr:Mu-recursive_function dbr:Primality_testing dbr:Primitive_recursion dbr:Hypercomputer dbr:Important_publications_in_computability dbr:Turing-computable_function
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Cite_book dbt:Main dbt:Redirect dbt:Math dbt:= dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Theory_of_computation
gold:hypernym	dbr:Ability
rdfs:label	Computability (en) الحاسوبية (ar) Berechenbarkeit (de) Computabilità (it) Berekenbaarheid (nl) Computabilidade (pt) Обчислюваність (uk) 可计算性 (zh)
owl:sameAs	freebase:Computability wikidata:Computability dbpedia-it:Computability dbpedia-nl:Computability dbpedia-de:Computability dbpedia-zh:Computability dbpedia-pt:Computability dbpedia-he:Computability dbpedia-fa:Computability dbpedia-als:Computability dbpedia-ar:Computability dbpedia-bg: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:Abstract_machine dbr:Brouwer_fixed-point_theorem dbr:Norman_Shapiro dbr:Divine_Proportions:_Rational_Trigonometry_to_Universal_Geometry dbr:Tal_Rabin dbr:Lambda_calculus dbr:Number_theory dbr:Discrete_mathematics dbr:Outline_of_discrete_mathematics dbr:Shimer_Great_Books_School dbr:Automated_theorem_proving dbr:Maximal_set dbr:Church–Turing_thesis dbr:Turing_completeness dbr:List_of_computer_science_conferences dbr:Scott_Aaronson dbr:Index_of_philosophy_articles_(A–C) dbr:Computability_theory dbr:Ada_Lovelace dbr:Algorithm dbr:Quantum_computing dbr:Certificate_(complexity) dbr:Effective_topos dbr:Edward_F._Moore dbr:Field-programmable_gate_array dbr:Complexity_class dbr:Glossary_of_areas_of_mathematics dbr:David_Harel dbr:Successor_function dbr:Shadows_of_the_Mind dbr:Israel_Institute_for_Advanced_Studies dbr:Turing_machine dbr:New_media dbr:List_of_computer_scientists dbr:Andrzej_Grzegorczyk dbr:Computability_logic dbr:Computable_analysis dbr:Computable_model_theory dbr:Louis_Hodes dbr:Read-only_Turing_machine dbr:General_purpose_analog_computer dbr:Heidelberg_University_Faculty_of_Mathematics_and_Computer_Science dbr:Kazem_Sadegh-Zadeh dbr:Queue_automaton dbr:Vladik_Kreinovich dbr:Michel_Raynal dbr:Well-structured_transition_system dbr:Cubical_complex dbr:Primality_Testing_for_Beginners dbr:Solomonoff's_theory_of_inductive_inference dbr:Oron_Shagrir dbr:Logics_for_computability dbr:Cop-win_graph 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