|
gptkbp:instanceOf
|
gptkb:academic
branch of mathematical logic
branch of theoretical computer science
|
|
gptkbp:alsoKnownAs
|
recursion theory
|
|
gptkbp:hasApplication
|
gptkb:artificial_intelligence
gptkb:information_theory
gptkb:logic
gptkb:mathematics
gptkb:programming_language
gptkb:set_theory
automata theory
computer science
cryptography
model theory
proof theory
recursion theory
theoretical computer science
automated theorem proving
decision problems
formal verification
logic programming
algorithmic randomness
philosophy of computation
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Computability theory
|
|
gptkbp:notableIdea
|
gptkb:Rice's_theorem
gptkb:Post_correspondence_problem
gptkb:universal_Turing_machine
gptkb:arithmetical_hierarchy
gptkb:recursion_theorem
halting problem
reduction
Turing degree
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
|