On coordinatization of mathematics

Peteris Daugulis
DOI: https://doi.org/10.48550/arXiv.1306.0520
2013-06-03
History and Overview
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.
What problem does this paper attempt to address?