|
gptkbp:instanceOf
|
gptkb:academic
gptkb:branch_of_mathematical_logic
gptkb:branch_of_theoretical_computer_science
|
|
gptkbp:alsoKnownAs
|
recursion theory
|
|
gptkbp:hasApplication
|
gptkb:theoretical_computer_science
gptkb:artificial_intelligence
gptkb:information_theory
gptkb:logic
gptkb:mathematics
gptkb:programming_language
gptkb:set_theory
gptkb:model_theory
gptkb:algorithmic_randomness
gptkb:decision_problems
automata theory
computer science
cryptography
proof theory
recursion theory
automated theorem proving
formal verification
logic programming
philosophy of computation
|
|
gptkbp:notableIdea
|
gptkb:Rice's_theorem
gptkb:Turing_degree
gptkb:reduction
gptkb:Post_correspondence_problem
gptkb:universal_Turing_machine
gptkb:arithmetical_hierarchy
gptkb:recursion_theorem
halting problem
computable number
mu-recursive function
oracle machine
partial recursive function
primitive recursive function
recursively enumerable language
|
|
gptkbp:notablePerson
|
gptkb:Alan_Turing
gptkb:Alonzo_Church
gptkb:Emil_Post
gptkb:Hartley_Rogers_Jr.
gptkb:Kurt_Gödel
gptkb:Martin_Davis
gptkb:Stephen_Kleene
gptkb:Andrey_Kolmogorov
gptkb:Yuri_Matiyasevich
|
|
gptkbp:relatedTo
|
gptkb:Gödel's_incompleteness_theorems
gptkb:complexity_theory
gptkb:lambda_calculus
gptkb:logic
automata theory
algorithm theory
|
|
gptkbp:studies
|
gptkb:Church–Turing_thesis
recursively enumerable sets
Turing machines
computable functions
decidability
recursive functions
computational problems
degrees of unsolvability
|
|
gptkbp:bfsParent
|
gptkb:Gödel_numbering
|
|
gptkbp:bfsLayer
|
5
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Computability theory
|