No label defined (Q4274278)
From MaRDI portal
scientific article; zbMATH DE number 480999
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 480999 |
Statements
13 December 1993
0 references
computability
0 references
decidability
0 references
computable function
0 references
Turing machines
0 references
WHILE- programs
0 references
\(\mu\)-recursiveness
0 references
Church's thesis
0 references
recursively enumerable relations
0 references
arithmetical hierarchy
0 references
Thue systems
0 references
word problem
0 references
applications to metamathematics
0 references
Gödel's incompleteness theorems
0 references
Church's undecidability theorem
0 references
relative recursiveness
0 references
degrees of unsolvability
0 references
functionals
0 references