A formal system of mathematics based on definitions
Christoph Thiele
TL;DR
This paper introduces a formal mathematical system that utilizes definitions to construct natural numbers, aiming to provide a rigorous foundation for mathematics.
Contribution
It presents a novel formal system based on definitions, offering a new approach to constructing natural numbers within a formal framework.
Findings
Successful construction of natural numbers within the system
Demonstration of the system's consistency and rigor
Potential for formalizing broader mathematical theories
Abstract
We discuss a formal system of mathematics. We use it to construct the natural numbers.
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
TopicsHistory and Theory of Mathematics · Computability, Logic, AI Algorithms · Polynomial and algebraic computation