What I am trying to convey is writing software is better than writing maths, just like medieval music notation vs modern notation. Programming is better than proving because most proofs are mere tautologies or artificial constraints. This is why theorem provers in code rely on term rewriting.
A triangle has a sum of 180 ? Well how about if you push the triangle inside out. In code you can easily run a more complex simulation which gives you all possible values of the sum ... which is why ascertaining useful facts like 180 ad-nausea is boring at best. In fact most mathematics if it can't be simulated can't exist.
A triangle has a sum of 180 ? Well how about if you push the triangle inside out. In code you can easily run a more complex simulation which gives you all possible values of the sum ... which is why ascertaining useful facts like 180 ad-nausea is boring at best. In fact most mathematics if it can't be simulated can't exist.