2 Oct
2005
2 Oct
'05
1:59 p.m.
At 02:01 AM 10/2/2005, dasimov@earthlink.net, math-fun wrote:
It may, however, still be about as hard as ever for a human to verify that the original computer proof was valid. ...
That's true. But do you trust a human to be more accurate than a computer at those tedious details? I remember in the mid 80s when the office I was working in got its first computer. I told them to check some output. They started checking the computer's arithmetic. I said "No, you don't need to check the computer's addition - check to make sure you entered it correctly."