The Full Wiki

More info on Recursion theory

Recursion theory: Trending topics

Advertisements
  

The following are the current most viewed articles on Wikipedia within Wikipedia's Recursion theory category. Think of it as a What's Hot list for Recursion theory. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank Topic Wikipedia views
1 Turing machine 2,847 Sparkline of topic views for 2 weeks
2 Lambda calculus 2,078 Sparkline of topic views for 2 weeks
3 Computation 1,240 Sparkline of topic views for 2 weeks
4 Church–Turing thesis 1,233 Sparkline of topic views for 2 weeks
5 Entscheidungsproblem 1,153 Sparkline of topic views for 2 weeks
6 Recursion (computer science) 1,135 Sparkline of topic views for 2 weeks
7 Decision problem 1,068 Sparkline of topic views for 2 weeks
8 Computability theory 933 Sparkline of topic views for 2 weeks
9 Halting problem 900 Sparkline of topic views for 2 weeks
10 Ackermann function 745 Sparkline of topic views for 2 weeks
11 Algorithm examples 600 Sparkline of topic views for 2 weeks
12 Effective method 583 Sparkline of topic views for 2 weeks
13 Kolmogorov complexity 428 Sparkline of topic views for 2 weeks
14 Busy beaver 393 Sparkline of topic views for 2 weeks
15 Computable function 361 Sparkline of topic views for 2 weeks
16 Primitive recursive function 292 Sparkline of topic views for 2 weeks
17 Algorithm characterizations 252 Sparkline of topic views for 2 weeks
18 Turing degree 207 Sparkline of topic views for 2 weeks
19 Oracle machine 196 Sparkline of topic views for 2 weeks
20 Recursively enumerable set 182 Sparkline of topic views for 2 weeks
21 Computable number 169 Sparkline of topic views for 2 weeks
22 Von Neumann universal constructor 167 Sparkline of topic views for 2 weeks
23 Recursive language 130 Sparkline of topic views for 2 weeks
24 Recursive set 107 Sparkline of topic views for 2 weeks
25 List of undecidable problems 94 Sparkline of topic views for 2 weeks
26 Μ-recursive function 89 Sparkline of topic views for 2 weeks
27 Reverse mathematics 64 Sparkline of topic views for 2 weeks
28 Arithmetical hierarchy 63 Sparkline of topic views for 2 weeks
29 Post correspondence problem 60 Sparkline of topic views for 2 weeks
30 Kleene's recursion theorem 58 Sparkline of topic views for 2 weeks
31 ELEMENTARY 57 Sparkline of topic views for 2 weeks
32 Turing reduction 54 Sparkline of topic views for 2 weeks
33 König's lemma 42 Sparkline of topic views for 2 weeks
34 Many-one reduction 38 Sparkline of topic views for 2 weeks
35 Μ operator 37 Sparkline of topic views for 2 weeks
36 Smn theorem 32 Sparkline of topic views for 2 weeks
37 Fast-growing hierarchy 31 Sparkline of topic views for 2 weeks
38 History of the Church–Turing thesis 28 Sparkline of topic views for 2 weeks
39 Reduction (recursion theory) 27 Sparkline of topic views for 2 weeks
40 Analytical hierarchy 25 Sparkline of topic views for 2 weeks
41 Arithmetical set 25 Sparkline of topic views for 2 weeks
42 Course-of-values recursion 22 Sparkline of topic views for 2 weeks
43 Computability logic 21 Sparkline of topic views for 2 weeks
44 Truth-table reduction 20 Sparkline of topic views for 2 weeks
45 Effective dimension 20 Sparkline of topic views for 2 weeks
46 Church–Turing–Deutsch principle 18 Sparkline of topic views for 2 weeks
47 Richardson's theorem 18 Sparkline of topic views for 2 weeks
48 Bounded quantifier 18 Sparkline of topic views for 2 weeks
49 McCarthy Formalism 18 Sparkline of topic views for 2 weeks
50 Gödel numbering for sequences 18 Sparkline of topic views for 2 weeks
51 Maximal set 18 Sparkline of topic views for 2 weeks
52 Chain rule for Kolmogorov complexity 16 Sparkline of topic views for 2 weeks
53 Automatic group 16 Sparkline of topic views for 2 weeks
54 Grzegorczyk hierarchy 16 Sparkline of topic views for 2 weeks
55 Post's theorem 15 Sparkline of topic views for 2 weeks
56 Index set (recursion theory) 15 Sparkline of topic views for 2 weeks
57 Double recursion 15 Sparkline of topic views for 2 weeks
58 Alpha recursion theory 14 Sparkline of topic views for 2 weeks
59 Recursive languages and sets 14 Sparkline of topic views for 2 weeks
60 List of computability and complexity topics 13 Sparkline of topic views for 2 weeks
61 Numbering (computability theory) 13 Sparkline of topic views for 2 weeks
62 Computable analysis 13 Sparkline of topic views for 2 weeks
63 Myhill isomorphism theorem 12 Sparkline of topic views for 2 weeks
64 Craig's theorem 12 Sparkline of topic views for 2 weeks
65 Utm theorem 11 Sparkline of topic views for 2 weeks
66 Recursive ordinal 11 Sparkline of topic views for 2 weeks
67 Hyperarithmetical theory 11 Sparkline of topic views for 2 weeks
68 PA degree 11 Sparkline of topic views for 2 weeks
69 Recursively inseparable sets 10 Sparkline of topic views for 2 weeks
70 Computation in the limit 9 Sparkline of topic views for 2 weeks
71 Description number 9 Sparkline of topic views for 2 weeks
72 Turing jump 8 Sparkline of topic views for 2 weeks
73 Simple set 7 Sparkline of topic views for 2 weeks
74 Tarski–Kuratowski algorithm 7 Sparkline of topic views for 2 weeks
75 Low (computability) 7 Sparkline of topic views for 2 weeks
76 High (computability) 7 Sparkline of topic views for 2 weeks
77 Computable isomorphism 6 Sparkline of topic views for 2 weeks
78 Kleene's T predicate 6 Sparkline of topic views for 2 weeks
79 Büchi's Problem 6 Sparkline of topic views for 2 weeks
80 Hardy hierarchy 6 Sparkline of topic views for 2 weeks
81 Complete numbering less than 5 views
82 Low basis theorem less than 5 views
83 Effective Polish space less than 5 views
84 Π01 class less than 5 views
85 Computable measure theory less than 5 views
86 Computability and complexity topics less than 5 views
87 Undecidable problems less than 5 views
88 Creative and productive sets less than 5 views
89 Trakhtenbrot's theorem less than 5 views
90 Martin measure less than 5 views
91 Forcing (recursion theory) less than 5 views
92 Automatic semigroup less than 5 views
93 Primitive recursive functional less than 5 views
94 Slow-growing hierarchy less than 5 views

Subcategories

Parent categories


Encyclopedia

From Wikipedia, the free encyclopedia

This category is for articles about recursion theory, also called computability theory, which is a branch of mathematical logic concerned with generalizations of the notion of computable function, and with related concepts such as Turing degrees.

Related information about computability theory in computer science is described in the theory of computation article and is categorized in Category:Theory of computation

The main article for this category is Recursion theory.

Subcategories

This category has the following 6 subcategories, out of 6 total.

C

E

L

T

Pages in category "Recursion theory"

The following 99 pages are in this category, out of 99 total. This list may not reflect recent changes (learn more).

*

A

B

C

D

E

E cont.

F

G

H

I

K

L

M

M cont.

N

O

P

R

S

T

U

V

W

Μ


Advertisements






Got something to say? Make a comment.
Your name
Your email address
Message