Alec Nevala-Lee

Thoughts on art, creativity, and the writing life.

Archive for November 19th, 2017

Checking your work

with one comment

As soon as human thought attempts long chains of conclusions, or difficult matters generally, there arises not only the danger of error but also the suspicion of error, because since all details cannot be surveyed with clearness at the same instant one must in the end be satisfied with a belief that nothing has been overlooked since the beginning. Everyone knows how much this is the case even in arithmetic, the most elementary use of mathematics. No one would imagine that the higher parts of mathematics fare better in this respect; on the contrary, in more complicated conclusions the uncertainty and suspicion of hidden errors increases in rapid progression.

How does mathematics manage to rid itself of this inconvenience which attaches to it in the highest degree? By making proofs more rigorous? By giving new rules according to which the old rules shall be applied? Not in the least. A very great uncertainty continues to attach to the result of each single computation. But there are checks. In the realm of mathematics each point may be reached by a hundred different ways; and if each of a hundred ways leads to the same point, one may be sure that the right point has been reached. A calculation without a check is as good as none.

Johann Friedrich Herbart, quoted in Memorabilia Mathematica

Written by nevalalee

November 19, 2017 at 7:30 am

%d bloggers like this: