Re: JSH: The circular argument

On 2008-04-12, JSH <jstevh@[EMAIL PROTECTED]
> wrote:
> The only goddamn area in the world left where people get away with
> claiming that computers are too stupid and primitive to check them!!!

Who programs the computers?  Would you trust that they were programmed
correctly, operating correctly, and providing correct output?  What
language will they accept, and would you accept that the proof was
translated correctly into that form?  How long will it take to run?

Both humans and computers suck at verification.  Large numbers of
humans working independently suck much less than any number of
computers, at present.


> Which is why you refuse to actually push computerized checking.

Mathematics is one of the very few areas in which computerized
checking is being pushed.  There are increasingly many proposed proofs
that likely cannot be verified any other way.


- Tim