Article View: comp.theory
Article #2024Re: Academic legend (was Re: Answers...)
From: Douglas Harper
Date: Fri, 02 Feb 1990 21:01
Date: Fri, 02 Feb 1990 21:01
16 lines
1098 bytes
1098 bytes
In article <2072@rex.cs.tulane.edu>, fs@rex.cs.tulane.edu (Frank Silbermann) writes:
> A notation is but a language, and a proof theory
^^^^^^^^^^^^^^
> merely a way of verifying one's hypotheses.
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
You can't have meant what I read this to mean, that proof theory is
used solely to determine whether or not one's hypotheses hold in an
intended model. Could you please restate this?
--
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:
<1312@oravax.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!oravax!harperReferences:
<20433@watdragon.waterloo.edu> <2072@rex.cs.tulane.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!oravax!harper From: harper@oravax.UUCP (Douglas Harper) Newsgroups: comp.theory Subject: Re: Academic legend (was Re: Answers...) Message-ID: <1312@oravax.UUCP> Date: 2 Feb 90 21:01:48 GMT References: <20433@watdragon.waterloo.edu> <2072@rex.cs.tulane.edu> Organization: Odyssey Research Associates, Ithaca NY Lines: 16 Summary: Please clarify "verifying one's hypotheses"