ProV Logo
0

On coordinatization of mathematics
Daugulis, Peteris...
On coordinatization of mathematics by Daugulis, Peteris ( Author )
Australian National University
25-08-2023
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.
-
Article
pdf
29.34 KB
English
-
MYR 0.01
-
http://arxiv.org/abs/1306.0520
Share this eBook