Computability theory

Known as: Recursion theory, Turing computability, Theory of computability 
Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable… (More)
Is this relevant?
Review
2015
Review
2015
The central notions in this book are those of the algorithm and computation, not a particular algorithm for a particular problem… (More)
Is this relevant?
2011
2011
This paper presents a mechanisation of some basic computability theory. The mechanisation uses two models: the recursive… (More)
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
My first contact with the area was in 1996 when I still worked at the University of Chicago. Back then, my main interest was in… (More)
Is this relevant?
2009
2009
Change your habit to hang or waste the time to only chat with your friends. It is done by your everyday, don't you feel bored… (More)
Is this relevant?
2005
2005
The connections between mathematical logic and combinatorics have a rich history. This paper focuses on one aspect of this… (More)
Is this relevant?
2004
2004
Let M be a smooth, compact manifold of dimension n ≥ 5 and sectional curvature |K| ≤ 1. Let Met(M) = Riem(M)/Diff(M) be the space… (More)
Is this relevant?
1978
1978
Denotational semantics was introduced by Strachey as a means of defining semantics of programming languages. It's mathematical… (More)
Is this relevant?
Highly Cited
1963
Highly Cited
1963
As a result of the work of Turing, Post, Kleene and Church [1, 2, 3, 9, 10, l l 12, 17, 18] it is now widely accepted ~ that the… (More)
  • figure 1
Is this relevant?
Highly Cited
1959
Highly Cited
1959
Computation is sure to become one of the most important of the sciences. This is because it is the science of how machines can be… (More)
  • figure 1
  • figure 2
Is this relevant?