Date: Mon, 27 Jan 1997 22:12:37 -0800 (PST) From: John-Mark Gurney <jmg@nike.efn.org> To: J Wunsch <joerg_wunsch@uriah.heep.sax.de> Cc: freebsd-bugs@freefall.freebsd.org, freebsd-gnats-submit@freefall.freebsd.org Subject: Re: bin/2600: fortunes : fortunes2 Lite2 merge Message-ID: <Pine.NEB.3.95.970127220912.4031L-100000@hydrogen.nike.efn.org> In-Reply-To: <199701280130.RAA04976@freefall.freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Mon, 27 Jan 1997, J Wunsch wrote: > Looking into everything, this one is the only real addition that > remains: > > --- /usr/src/games/fortune/datfiles/fortunes2 Wed Jan 8 21:39:07 1997 > +++ src/games/fortune/datfiles/fortunes2 Mon Jan 3 09:58:38 1994 > @@ -36422,6 +36424,26 @@ > trivially equivalent, so the only important n are n less than n. We can > take n = n (from above), so it's true for n+1 becuase it's just about n. > QED. (QED translates from the Latin as "So what?") > +% > +Proof techniques #2: Proof by Oddity. > + SAMPLE: To prove that horses have an infinite number of legs. > +[1] Horses have an even number of legs. > +[2] They have two legs in back and fore legs in front. > +[3] This makes a total of six legs, > + which certainly is an odd number of legs for a horse. > +[4] But the only number that is both odd and even is infinity. > +[5] Therefore, horses must have an infinite number of legs. > + > +Topics is be covered in future issues include proof by: > + intimidation, > + gesticulation (handwaving), > + "try it; it works", > + constipation (I was just sitting there and...), > + blatant assertion, > + changing all the 2's to n's, > + mutual consent, > + lack of a counterexample, and, > + "it stands to reason". > % > Proper treatment will cure a cold in seven days, > but left to itself, a cold will hang on for a week. but this fortune was removed in r1.3 for fortune2 because it was a duplicate from fortune... plus it has that same mistake that fortune has... it should be "Topics to be covered in ..." instead of "Topic is be converted in ..." John-Mark gurney_j@efn.org http://resnet.uoregon.edu/~gurney_j/ Modem/FAX: (541) 683-6954 (FreeBSD Box) Live in Peace, destroy Micro$oft, support free software, run FreeBSD (unix)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.NEB.3.95.970127220912.4031L-100000>