Wednesday, November 30, 2016

[vvtilfue] Prove that it works

The typical way mathematical proof is taught in education is unpleasant, perhaps partly due to the pointlessness of it.  Adjust it by introducing proofs with tangible outcomes:

Easiest is computer programs: Prove that the program works and does not crash.  A geometric proof might be used to show that a mechanical device will actually do what it is supposed to do.  Such proofs are more satisfying: the effort in proving it had a point.

Unfortunately most engineering is not done with mathematical rigor.

No comments :