Path: 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"

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_