Computability theory

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual Academic discipline Algorithm general topic
rdfs:label	Computability theory
owl:sameAs	dbr:Computability_theory
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_academic_fields http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Outline_of_academic_disciplines http://en.wikipedia.org/wiki/Outline_of_discrete_mathematics http://en.wikipedia.org/wiki/Graduate_Texts_in_Mathematics http://en.wikipedia.org/wiki/Outline_of_computer_science http://en.wikipedia.org/wiki/List_of_algorithm_general_topics
skos:prefLabel	Computability theory
skos:altLabel	computability computable non-computable theory of computation Computability theory#Turing computability Computability theory, computation computability (or recursive) theory computability theorist computability theory computablity theory logic and computability recursion theory Computability theory#Continuous computability theory
is clgo:academicDiscipline of	Valentina Harizanov
is clgo:knownFor of	Valentina Harizanov William Gasarch Robin Gandy Rohit Jivanlal Parikh Yuri Matiyasevich

About: clgr:Computability_theory