Questions tagged [kolmogorov-complexity]
The kolmogorov-complexity tag has no usage guidance.
1
question
11
votes
3
answers
695
views
natural metrics for proof length
I am trying to make my way into Homotopy Type Theory(HoTT) where a mathematician may view proofs as paths. Intuitively, this leads me to the idea of a metric on the space of mathematical propositions. ...