Sentient arithmetic and Gödel's theorems (Q1816681)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Sentient arithmetic and Gödel's theorems |
scientific article; zbMATH DE number 950639
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sentient arithmetic and Gödel's theorems |
scientific article; zbMATH DE number 950639 |
Statements
Sentient arithmetic and Gödel's theorems (English)
0 references
27 November 1996
0 references
sentient arithmetic
0 references
extension of elementary arithmetic
0 references
incompleteness
0 references
consistency
0 references
Gödel's theorems
0 references
0 references
0 references
0 references
0.8455924
0 references
0 references
