3 ms·
I am sad to bring sad tidings but... This is very beautiful, it just puts the burden of the proof on a more abstract setting, which may be more difficult to gra
by pfortuny 7y ago
I am sad to bring sad tidings but... This is very beautiful, it just puts the burden of the proof on a more abstract setting, which may be more difficult to grasp.
(This is just a comment on the "graphical proofs", they are beautiful but they cannot be "proofs" unless you provide the background).
- mathgenius 7y agoIt's turtles all the way down: https://graphicallinearalgebra.net/2015/06/09/matrices-diagrammatically/ https://graphicallinearalgebra.net/2015/06/09/matrices-diagr...
- Certhas 7y agoThese are not "graphical proofs" in the sense of pictures that suggest patterns in mathatical relations. This is (or can be) a formal graphical language for (a branch of) mathematics. Like any formal language it's not self evident how or why it works and needs to be rigourously defined.