Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!mailrus!cornell!oravax!harper
From: harper@oravax.UUCP (Douglas Harper)
Newsgroups: comp.theory
Subject: Re: Proof theory (was Re: Academic legend)
Summary: I'm taking it outside.  Email me if you're interested.
Message-ID: <1319@oravax.UUCP>
Date: 6 Feb 90 03:15:18 GMT
References: <20433@watdragon.waterloo.edu> <2072@rex.cs.tulane.edu> <20010@netnews.upenn.edu>
Organization: Odyssey Research Associates, Ithaca NY
Lines: 23

In article <20010@netnews.upenn.edu>, aaron@grad2.cis.upenn.edu (Aaron Watters) writes:

[Several things with which I disagree.]

I have sent him email rather than publicly continue a discussion which
doesn't seem to generate much interest within the readership of this
newsgroup.  If future postings show me wrong, I'll rejoin the public
discussion.

> PS: Still waiting for the formal spec and verification of the
>  triangle program.-a.

He will have it, but it will take some time to build the theory up from
the axioms.  The verification in terms of a specification governed by
that theory is already completed.  I intend to post the final version
in sci.logic.  If enough people request it in the meantime, I'll
cross-post it here when it's done.

-- 
Douglas Harper                     oravax!harper@cu-arpa.cs.cornell.edu
"Gimme eat."..."Give *everybody* eat!"
	-- Major _____ de Coverley
		-- Joseph Heller, _CATCH-22_