Xref: utzoo comp.theory:843 sci.logic:880 sci.math:11675
Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cornell!oravax!ian
From: ian@oravax.UUCP (Ian Sutherland)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Question About the Four Color Proof
Message-ID: <1593@oravax.UUCP>
Date: 12 Jul 90 22:13:31 GMT
References: <9615@hubcap.clemson.edu> <1212@s8.Morgan.COM> <9649@hubcap.clemson.edu> <4997@milton.u.washington.edu>
Reply-To: ian@oravax.odyssey.UUCP (Ian Sutherland)
Organization: Odyssey Research Associates, Ithaca, New York
Lines: 15

In article <4997@milton.u.washington.edu> aesop@milton.u.washington.edu (Jeff Boscole) writes:
>Precisely -where- is
>the beef with a "proof by an (unverified.by.hand.calculation) computer
>program?"

I don't understand the meaning of "(unverified.by.hand.calculation)".
The beef with a proof by computer program is that computer programs
that have not been rigorously checked for correctness are more likely
to be in error than proofs written out by human beings (even as prone
as the latter are to errors ...).
-- 
Ian Sutherland		ian%oravax.uucp@cu-arpa.cs.cornell.edu

Sans Peur		If Janet Bell (formerly of Northwestern) reads
			this, please get in touch with me.