TL;DR
This paper argues that contemporary mathematics, including Peano arithmetic, is inconsistent and aims to establish a new, solid foundation for mathematics to enable reliable further development.
Contribution
It introduces a new approach to foundational mathematics by addressing inconsistencies in existing systems and constructing more reliable foundational frameworks.
Findings
Identification of inconsistencies in Peano arithmetic
Development of a consistent mathematical foundation
Initial steps towards rebuilding mathematical foundations
Abstract
The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeochemistry and Elemental Analysis · Extraction and Separation Processes