4 ms·
Only for experts capable of following the proof. For everyone else, it's a magical formula. Not to mention, I very very much doubt that those articles prove ev
by simiones 4y ago
Only for experts capable of following the proof. For everyone else, it's a magical formula.
Not to mention, I very very much doubt that those articles prove every property they present (since I've never seen a math text of any kind do that, essentially).
- Someone 4y agoYou’ll always need some axioms to build on. If you allow that, proofs made using proof assistants prove every property they present. And of course, Principia Mathematica (https://en.wikipedia.org/wiki/Principia_Mathematica https://en.wikipedia.org/wiki/Principia_Mathematica) is a non-computer example. Both get tedious fast if you try to understand a proof from the axioms up. That’s why you’ll rarely find a publication starting from almost zero.