28 Jul
2003
28 Jul
'03
11:25 p.m.
When a long computer calculation is an important part of the proof of a mathematical theorem, we should ask for proof (preferably both computer-checked and hand checked) that the program does the advertised calculation. For example, we want a proof that if the calculation comes out, the four color conjecture is true.