Incompleteness, Mechanism, and Optimism (Q4227855)
From MaRDI portal
scientific article; zbMATH DE number 1247609
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Incompleteness, Mechanism, and Optimism |
scientific article; zbMATH DE number 1247609 |
Statements
Incompleteness, Mechanism, and Optimism (English)
0 references
29 September 1999
0 references
Church's thesis
0 references
incompleteness
0 references
Gödel's theorems
0 references
mechanist
0 references
Turing machine
0 references
recursively ensumerable
0 references
