Xref: utzoo comp.theory:841 sci.logic:878 sci.math:11667
Path: utzoo!attcan!uunet!lll-winken!uwm.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!dali.cs.montana.edu!milton!aesop
From: aesop@milton.u.washington.edu (Jeff Boscole)
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Re^4: Question About the Four Color Proof
Summary: ? Subtlety of the argument ?
Keywords: computer proof
Message-ID: <4997@milton.u.washington.edu>
Date: 12 Jul 90 17:39:40 GMT
References: <9615@hubcap.clemson.edu> <1212@s8.Morgan.COM>
   <9649@hubcap.clemson.edu>
Organization: University of Washington, Seattle
Lines: 13


In article <9649@hubcap.clemson.edu>
    steve@hubcap.clemson.edu ("Steve" Stevenson) writes:

>... however my interest is in the fact that a computer program is
>involved. In the philosophical sense, has FCT been `proven' if it has an

Forgive me for being dense....  I've attempted to understand these issues
thru Philosophy of Science classes and so forth....  Precisely -where- is
the beef with a "proof by an (unverified.by.hand.calculation) computer
program?"

:=: