🚀 go-pugleaf

In article <1318@oravax.UUCP> harper@oravax.UUCP (Douglas Harper) writes:
>In article <19983@netnews.upenn.edu>, aaron@grad2.cis.upenn.edu (Aaron Watters) writes:

>| Proof
>| theories are primarily an abstract object of mathematical discussion
>| and not a used mathematical technique.
>|   -aaron
>
>Mr. Watters is apparently unaware of the widespread use of proof theory
>in pure and applied logic.  
I geuss I am.  I know these people STUDY proof theories -- that's not
the same as using it.  By `use' I did not mean `prove things about.'

>Two applications that readers of this
>newsgroup will immediately recognize are automated theorem proving and
>program verification.

I said `seldom' not `never.'  These uses are hardly widespread
-- especially not by real mathematicians.  
	--aaron

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