Taking formalism seriously (Q1317509)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Taking formalism seriously |
scientific article |
Statements
Taking formalism seriously (English)
0 references
5 May 1994
0 references
The goal of this article is to promote the author's view of foundations of mathematics. He states that he is currently working on deriving a contradiction in Robinson's system \(Q\). By Herbrand's theorem this would imply inconsistency of number theoretic computations with polynomials, and this seems even much less plausible than even inconsistency of first- order arithmetic.
0 references
foundations of mathematics
0 references
contradiction
0 references
Robinson's system \(Q\)
0 references
inconsistency
0 references
number theoretic computations
0 references
