Xref: utzoo comp.theory:847 sci.logic:883 sci.math:11681
Path: utzoo!attcan!uunet!mcsun!ukc!servax0!essex.ac.uk!alan
From: alan@essex.ac.uk [Alan M Stanier]
Newsgroups: comp.theory,sci.logic,sci.math
Subject: Re: Re^4: Question About the Four Color Proof
Message-ID: <3883@servax0.essex.ac.uk>
Date: 13 Jul 90 09:46:57 GMT
References: <9615@hubcap.clemson.edu> <1212@s8.Morgan.COM> <9649@hubcap.clemson.edu> <4997@milton.u.washington.edu>
Sender: news@servax0.essex.ac.uk
Reply-To: barefeet@essex.ac.uk
Organization: University of Essex Computing Service, Colchester CO4 3SQ, UK
Lines: 15

In a blatant attempt to disturb the Universe, aesop@milton.u.washington.edu (Jeff Boscole) just said
}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?"

"where is the beef?" Sorry, I don't understand this colloquialism. [ I can
imagine it meaning "Where is the substance to ..." or "What is the objection
to ..." ] Could someone translate this question into English English?

--
  Alan M Stanier   | email barefeet@sx.ac.uk | These opinions void where
tel +44 206-872153 |   fax +44 206-860585    | prohibited by local laws.