3 ms·
Yeah, that's why math doesn't have self-documenting theorems, right?
by avmich 5y ago
Yeah, that's why math doesn't have self-documenting theorems, right?
- taneq 5y agoDoes maths have self-documenting theorems? O.o
- eurasiantiger 5y agoGeometrical proofs could be construed as such, even with some propositional logic given that someone comes up with a solid, universal way of expressing it (cf. The Golden Record)