On a hitherto unexploited extension of the finitary standpoint (Q1139043)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On a hitherto unexploited extension of the finitary standpoint |
scientific article |
Statements
On a hitherto unexploited extension of the finitary standpoint (English)
0 references
1980
0 references
finitary standpoint
0 references
consistency of classical number theory
0 references
computable function of finite simple type
0 references
