6 citations
1 paper · 1 filter
Peteris Daugulis
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 d…