Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424)
From MaRDI portal
scientific article; zbMATH DE number 2214771
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Diagonalisation and Church's Thesis: Kleene's Homework |
scientific article; zbMATH DE number 2214771 |
Statements
Diagonalisation and Church's Thesis: Kleene's Homework (English)
0 references
17 October 2005
0 references
diagonal arguments
0 references
genesis of computability theory
0 references
Church's thesis
0 references
