This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of "computation" and "recursion" has been long and contentious. This article provides detail of that debate and discovery from Peano's axioms in 1889 through recent discussion of the meaning of "axiom".
| Property | Value |
|---|
| dbpprop:abstract
|
- This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of "computation" and "recursion" has been long and contentious. This article provides detail of that debate and discovery from Peano's axioms in 1889 through recent discussion of the meaning of "axiom".
|
| dbpprop:reference
| |
| rdfs:comment
|
- This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of "computation" and "recursion" has been long and contentious. This article provides detail of that debate and discovery from Peano's axioms in 1889 through recent discussion of the meaning of "axiom".
|
| rdfs:label
|
- History of the Church–Turing thesis
|
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
