Codex Wiki
OurBigBook.com
Site
Source code
Computability theory
Home
Mathematics
Area of mathematics
Foundations of mathematics
OurBigBook.com
Words: 1k
Articles: 39
Table of contents
1k
39
Register machine
Computability theory
243
5
String register machine
Register machine
206
4
Characteristic-function register machine
String register machine
163
3
One-register separation for equal block lengths
Characteristic-function register machine
49
String register-machine suffix test
Characteristic-function register machine
41
Complementing a characteristic-function register machine
Characteristic-function register machine
41
Primitive recursive function
Computability theory
141
7
Initial function of recursion theory
Primitive recursive function
49
3
Zero function
Initial function of recursion theory
18
Successor function
Initial function of recursion theory
5
Projection function
Initial function of recursion theory
12
Function composition in recursion theory
Primitive recursive function
18
Primitive recursion
Primitive recursive function
20
Composition-only recursive function
Primitive recursive function
39
Diagonal argument
Computability theory
18
Recursively enumerable set
Computability theory
86
1
Domain and range characterizations of a nonempty computably enumerable set
Recursively enumerable set
60
Recursion theorem
Computability theory
21
Many-one reduction
Computability theory
77
3
Many-one degree
Many-one reduction
14
Computable reduction by staged enumeration
Many-one reduction
23
Many-one complete set
Many-one reduction
23
Index set
Computability theory
129
5
Extensional property of programs
Index set
14
Rice theorem
Index set
14
Infinite-domain index set
Index set
63
1
Infinite-domain range-restriction index set
Infinite-domain index set
46
Cofinite index set
Index set
12
Padding lemma
Computability theory
17
Dovetailing
Computability theory
16
S-m-n theorem
Computability theory
37
Partial computable function
Computability theory
141
3
Unbounded minimization
Partial computable function
53
Total computable function
Partial computable function
14
Truncated computation function
Partial computable function
49
Arithmetical hierarchy
Computability theory
119
3
Sigma-1 set
Arithmetical hierarchy
29
Pi-2 set
Arithmetical hierarchy
76
1
Totality problem
Pi-2 set
36
Ancestors
(4)
Foundations of mathematics
Area of mathematics
Mathematics
Home
Codex Wiki