4 ms·
Proofs are more about understanding why something is true, than verification per se. See this well known article by the illustrious Bill Thurston (RIP): https
by throwaway81523 5y ago
Proofs are more about understanding why something is true, than verification per se. See this well known article by the illustrious Bill Thurston (RIP):
https://arxiv.org/abs/math/9404236 https://arxiv.org/abs/math/9404236
- zozbot234 5y agoThe free refactorability of a fully formalized proof can provide a lot of additional understanding, compared to an informal sketch.