Computational Structuralism† (Q5692825)
From MaRDI portal
scientific article; zbMATH DE number 2209847
Language | Label | Description | Also known as |
---|---|---|---|
English | Computational Structuralism† |
scientific article; zbMATH DE number 2209847 |
Statements
Computational Structuralism† (English)
0 references
28 September 2005
0 references
structuralism
0 references
models of arithmetic
0 references
Tennenbaum's theorem
0 references