Xref: utzoo comp.theory:830 sci.logic:875 sci.math:11636
Path: utzoo!attcan!uunet!lll-winken!sol.ctr.columbia.edu!samsung!emory!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re^2: Question About the Four Color Proof
Message-ID: <9615@hubcap.clemson.edu>
Date: 9 Jul 90 18:53:27 GMT
References: <786@qusunu.queensu.CA>
Organization: Clemson University, Clemson, SC
Lines: 14

blostein@qucis.queensu.ca (Dorothea Blostein) writes:

>Apparently there has been some discussion about the correctness of the
>programs used to prove the four color theorem.  As far as I know, there
>has not been "a long standing bug in the program which only recently had been
>discovered and corrected".

Thanks for the informed response. 

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