No label defined (Q4953873)
From MaRDI portal
scientific article; zbMATH DE number 1446592
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1446592 |
Statements
14 May 2000
0 references
mathematics as game
0 references
logicism
0 references
intuitionism
0 references
symbolism
0 references
tautology
0 references
mathematics as calculus
0 references
decision problem
0 references
foundations
0 references
machine intelligence
0 references
Church's thesis
0 references
Turing
0 references
Wittgenstein
0 references
philosophy of mathematics
0 references