baez@x.ucr.edu (john baez) (02/10/90)
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. >Mr. Watters is apparently unaware of the widespread use of proof theory >in pure and applied logic. Two applications that readers of this >newsgroup will immediately recognize are automated theorem proving and >program verification. Oy, what a straight line. Readers of other newsgroups will immediately recognize that this will drive Watters into a fury. Let the battle begin again!