A new reading and comparative interpretation of Gödel’s completeness (1930) and incompleteness (1931) theorems

Логико-Философские Штудии 13 (2):187-188 (2016)
  Copy   BIBTEX

Abstract

Peano arithmetic cannot serve as the ground of mathematics for it is inconsistent to infinity, and infinity is necessary for its foundation. Though Peano arithmetic cannot be complemented by any axiom of infinity, there exists at least one (logical) axiomatics consistent to infinity. That is nothing else than a new reading at issue and comparative interpretation of Gödel’s papers (1930; 1931) meant here. Peano arithmetic admits anyway generalizations consistent to infinity and thus to some addable axiom(s) of infinity. The most utilized example of those generalizations is the complex Hilbert space. Any generalization of Peano arithmetic consistent to infinity, e.g. the complex Hilbert space, can serve as a foundation for mathematics to found itself and by itself.

Author's Profile

Vasil Penchev
Bulgarian Academy of Sciences

Analytics

Added to PP
2020-05-28

Downloads
57 (#65,330)

6 months
12 (#59,513)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?