Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site rabbit.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!alice!rabbit!ark
From: ark@rabbit.UUCP (Andrew Koenig)
Newsgroups: net.math
Subject: Re: Re: 4-color CONJECTURE
Message-ID: <3108@rabbit.UUCP>
Date: Fri, 31-Aug-84 14:09:58 EDT
Article-I.D.: rabbit.3108
Posted: Fri Aug 31 14:09:58 1984
Date-Received: Sat, 1-Sep-84 12:49:53 EDT
References: <13900004@hp-pcd.UUCP>
Organization: AT&T Bell Laboratories, Murray Hill
Lines: 10

Joseph Albert claims:

"Even assuming that the algorithm and its coding is provably correct,
calling its execution a proof simply baffles me ... The non-zero
probability that there was a hardware error implies there is a
non-zero probability that the "proof" is wrong."

I seem to recall that one of the referees wrote a completely new
implementation of the algorithm from scratch and ran it on a different
machine, getting the same results.