6 citations
1 paper · 2 filters
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…