Article View: comp.theory
Article #2036Re: Proof theory (was Re: Academic legend)
From: Douglas Harper
Date: Tue, 06 Feb 1990 03:15
Date: Tue, 06 Feb 1990 03:15
23 lines
1447 bytes
1447 bytes
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_
Technical Details
Message-ID:
<1319@oravax.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!mailrus!cornell!oravax!harperReferences:
<20433@watdragon.waterloo.edu> <2072@rex.cs.tulane.edu> <20010@netnews.upenn.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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