Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.2 9/18/84; site ur-tut.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!qantel!lll-crg!gymble!umcp-cs!seismo!rochester!ur-tut!mopa From: mopa@ur-tut.UUCP (Mike Opacity) Newsgroups: net.jokes.d,net.misc Subject: Re: Wanted: list of proof methodologies Message-ID: <229@ur-tut.UUCP> Date: Sat, 16-Nov-85 14:36:50 EST Article-I.D.: ur-tut.229 Posted: Sat Nov 16 14:36:50 1985 Date-Received: Thu, 21-Nov-85 05:12:25 EST References: <21@Cascade.ARPA> <805@osu-eddie.UUCP> Reply-To: mopa@ur-tut.UUCP (Mike Opacity) Distribution: net Organization: Univ. of Rochester Computing Center Lines: 14 Xref: watmath net.jokes.d:1230 net.misc:8915 Summary: How to cage a lion. I remember reading this in a column by Ed Zern a few years ago: How to cage a lion: step 1) get a reasonable size cage. 2) Place the cage somewhere. 3) get into the cage. 4) perform a simple inversion and the lion is caged. -- Mike Opacity UUCP: {allegra,seismo,decvax}!rochester!ur-tut!mopa BITNET: mopa@uorvm USNAIL: PO 28355 River Station, Rochester NY 14627