Xref: utzoo sci.math:11632 sci.logic:873 comp.theory:829
Path: utzoo!attcan!uunet!tut.cis.ohio-state.edu!pt.cs.cmu.edu!valdes
From: valdes+@cs.cmu.edu (Raul Valdes-Perez)
Newsgroups: sci.math,sci.logic,comp.theory
Subject: Re: Question about the Four Color Proof
Message-ID: <9844@pt.cs.cmu.edu>
Date: 9 Jul 90 14:24:25 GMT
References: <9578@hubcap.clemson.edu> <26843@netnews.upenn.edu>
Organization: School of Computer Science, Carnegie Mellon
Lines: 16

In article <26843@netnews.upenn.edu> aaron@grad2.cis.upenn.edu.UUCP (Aaron Watters) writes:
> ...
>Just thought I'd point out that the proof is in no sense any
>more formal than most other proofs you'll find out there,

I always thought that computer programs were formal objects, and 
that a computer was a formal system (`formal' doesn't entail 
`correct').  Isn't that one sense?



--
Raul E. Valdes-Perez			valdes@cs.cmu.edu
School of Computer Science		(412) 268-7698
Carnegie Mellon University
Pittsburgh, PA 15213