4 ms·
These 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
by Certhas 7y ago
These 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.