Xref: utzoo sci.math:11588 sci.logic:865 comp.theory:825
Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!cs.utexas.edu!usc!zaphod.mps.ohio-state.edu!swrinde!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: sci.math,sci.logic,comp.theory
Subject: Question about the Four Color Proof
Message-ID: <9578@hubcap.clemson.edu>
Date: 5 Jul 90 20:13:34 GMT
Organization: Clemson University, Clemson, SC
Lines: 13

Recently, I asked for some comments about proving programs correct. One of
the respondants claimed that there had been a long standing bug in the program
which only recently had been discovered and corrected. Does anyone have
a reference to this or can anyone refute the claim?

Thanks


-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906