Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Computability_theory> ?p ?o }
- Computability_theory wikiPageWikiLink Reverse_mathematics.
- Computability_theory wikiPageWikiLink Rices_theorem.
- Computability_theory wikiPageWikiLink Robert_I._Soare.
- Computability_theory wikiPageWikiLink Rod_Downey.
- Computability_theory wikiPageWikiLink S._Barry_Cooper.
- Computability_theory wikiPageWikiLink Second-order_arithmetic.
- Computability_theory wikiPageWikiLink Semi-membership.
- Computability_theory wikiPageWikiLink Set_theory.
- Computability_theory wikiPageWikiLink Simple_set.
- Computability_theory wikiPageWikiLink Stephen_Cole_Kleene.
- Computability_theory wikiPageWikiLink Tarskis_undefinability_theorem.
- Computability_theory wikiPageWikiLink Theodore_Slaman.
- Computability_theory wikiPageWikiLink Theory_of_computation.
- Computability_theory wikiPageWikiLink Transactions_of_the_American_Mathematical_Society.
- Computability_theory wikiPageWikiLink Transcomputational_problem.
- Computability_theory wikiPageWikiLink Truth-table_reduction.
- Computability_theory wikiPageWikiLink Turing_degree.
- Computability_theory wikiPageWikiLink Turing_jump.
- Computability_theory wikiPageWikiLink Turing_machine.
- Computability_theory wikiPageWikiLink Turing_reduction.
- Computability_theory wikiPageWikiLink Uncountable_set.
- Computability_theory wikiPageWikiLink Universal_Turing_machine.
- Computability_theory wikiPageWikiLink William_Boone_(mathematician).
- Computability_theory wikiPageWikiLink Word_problem_for_groups.
- Computability_theory wikiPageWikiLink Yuri_Matiyasevich.
- Computability_theory wikiPageWikiLink Μ-recursive_function.
- Computability_theory wikiPageWikiLinkText "Computability theory".
- Computability_theory wikiPageWikiLinkText "Computability theory#Continuous computability theory".
- Computability_theory wikiPageWikiLinkText "computability theorist".
- Computability_theory wikiPageWikiLinkText "computability theory".
- Computability_theory wikiPageWikiLinkText "computability".
- Computability_theory wikiPageWikiLinkText "computable".
- Computability_theory wikiPageWikiLinkText "logic and computability".
- Computability_theory wikiPageWikiLinkText "non-computable".
- Computability_theory wikiPageWikiLinkText "theory of computation".
- Computability_theory wikiPageWikiLinkText "uncomputable".
- Computability_theory wikiPageUsesTemplate Template:Citation.
- Computability_theory wikiPageUsesTemplate Template:Cite_journal.
- Computability_theory wikiPageUsesTemplate Template:Citeseerx.
- Computability_theory wikiPageUsesTemplate Template:Computer_science.
- Computability_theory wikiPageUsesTemplate Template:For.
- Computability_theory wikiPageUsesTemplate Template:Main.
- Computability_theory wikiPageUsesTemplate Template:Mathematical_logic.
- Computability_theory wikiPageUsesTemplate Template:Portal.
- Computability_theory wikiPageUsesTemplate Template:Reflist.
- Computability_theory subject Category:Computability_theory.
- Computability_theory subject Category:Mathematical_logic.
- Computability_theory hypernym Branch.
- Computability_theory type Organisation.
- Computability_theory type Field.
- Computability_theory type Redirect.
- Computability_theory type Concept.
- Computability_theory comment "Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.The basic questions addressed by recursion theory are \"What does it mean for a function on the natural numbers to be computable?\" and \"How can noncomputable functions be classified into a hierarchy based on their level of noncomputability?\".".
- Computability_theory label "Computability theory".
- Computability_theory sameAs Q818930.
- Computability_theory sameAs نظرية_الحسبانية.
- Computability_theory sameAs Изчислителна_теория.
- Computability_theory sameAs গণনীয়তা_তত্ত্ব_(কম্পিউটার_বিজ্ঞান).
- Computability_theory sameAs Teoria_de_la_computabilitat.
- Computability_theory sameAs Teorie_vyčíslitelnosti.
- Computability_theory sameAs Beregnelighed.
- Computability_theory sameAs Berechenbarkeitstheorie.
- Computability_theory sameAs Θεωρία_υπολογισιμότητας.
- Computability_theory sameAs Teoría_de_la_computabilidad.
- Computability_theory sameAs نظریه_رایانشپذیری.
- Computability_theory sameAs תורת_הרקורסיה.
- Computability_theory sameAs Teorija_izračunljivosti_(računarstvo).
- Computability_theory sameAs Teoria_della_calcolabilità.
- Computability_theory sameAs 計算可能性理論.
- Computability_theory sameAs 계산_가능성_이론.
- Computability_theory sameAs Theoria_facultatis_calculandi.
- Computability_theory sameAs တွက်ချက်နိုင်စွမ်းသီအိုရီ.
- Computability_theory sameAs Teoria_obliczalności.
- Computability_theory sameAs Teoria_da_computabilidade.
- Computability_theory sameAs m.014c37.
- Computability_theory sameAs Теория_вычислимости.
- Computability_theory sameAs Teorija_izračunljivosti_(računarstvo).
- Computability_theory sameAs Computability_theory.
- Computability_theory sameAs Teória_vypočítateľnosti.
- Computability_theory sameAs Теорија_израчунљивости_(рачунарство).
- Computability_theory sameAs Beräkningsteori.
- Computability_theory sameAs ทฤษฎีการคำนวณได้.
- Computability_theory sameAs Hesap_kuramı.
- Computability_theory sameAs Теорія_обчислюваності.
- Computability_theory sameAs Q818930.
- Computability_theory sameAs 可计算性理论.
- Computability_theory wasDerivedFrom Computability_theory?oldid=707719702.
- Computability_theory isPrimaryTopicOf Computability_theory.