Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10 5/3/83; site umn-cs.UUCP Path: utzoo!linus!decvax!ittvax!dcdwest!sdcsvax!akgua!whuxle!spuxll!abnjh!u1100a!pyuxn!pyuxww!gamma!ulysses!mhuxj!ihnp4!stolaf!umn-cs!herndon From: herndon@umn-cs.UUCP (Robert Herndon) Newsgroups: net.jokes Subject: Re: math proofs Message-ID: <547@umn-cs.UUCP> Date: Fri, 28-Sep-84 21:01:41 EDT Article-I.D.: umn-cs.547 Posted: Fri Sep 28 21:01:41 1984 Date-Received: Tue, 2-Oct-84 04:03:20 EDT Sender: notes@umn-cs.UUCP Organization: Computer Science Dept., U of Minn, Mpls, MN Lines: 11 Nf-ID: #R:ihuxq:-122400:umn-cs:6100027:000:339 Nf-From: umn-cs!herndon Sep 28 18:02:00 1984 I seem to recall that several years ago there was a paper published on novel proof methods. Included were proofs by - circular cross reference - nonexistent reference and several others. Unfortunately I don't know the name of the paper. If anyone knows, could he/she mail it to me or post it to the net? Robert Herndon