On coordinatization of mathematics
Peteris Daugulis
TL;DR
This paper discusses developing a theory to measure the value and complexity of mathematical implications and proofs, aiming to improve research guidance, publication standards, and education.
Contribution
It introduces the concept of a coordinatization theory for mathematics, addressing measurement of implications and proofs, which is a novel approach in mathematical foundations.
Findings
Proposes a framework for measuring mathematical implications and proofs
Highlights potential applications in research, publishing, and education
Discusses implementation challenges and motivations
Abstract
The problem of advancing coordinatization of mathematics is considered. The need to develop a theory for measuring value and complexity of mathematical implications and proofs is discussed including motivations, benefits and implementation problems. Examples of mathematical considerations for such a theory are given. Arguments supporting such an advance related to applications in mathematical research guidance, publication standards and education are given.
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 · Mathematical and Theoretical Analysis · Polynomial and algebraic computation