The way I see it ... Most mathematicians nowadays use mathematica or matlab or even python, proving my point. The notation is medieval ... and probably the only reason it survives is because of form factors of paper.
> Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part of physics where experiments are cheap.
I see simulating as a part of the experiment. If the proof is wrong it wouldn't last a seconds worth of simulation. I suppose a proof in essence is a pattern or an invariant of the system ... but most proofs have really no meat to them. The notation is merely intimidating like obfuscated code.
> Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part of physics where experiments are cheap.
https://www.uni-muenster.de/Physik.TP/~munsteg/arnold.html
I see simulating as a part of the experiment. If the proof is wrong it wouldn't last a seconds worth of simulation. I suppose a proof in essence is a pattern or an invariant of the system ... but most proofs have really no meat to them. The notation is merely intimidating like obfuscated code.