Date: Mon, 27 Jan 1997 22:20:02 -0800 (PST) From: John-Mark Gurney <jmg@nike.efn.org> To: freebsd-bugs Subject: Re: bin/2600: fortunes : fortunes2 Lite2 merge Message-ID: <199701280620.WAA22993@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR bin/2600; it has been noted by GNATS.
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
Date: Mon, 27 Jan 1997 22:12:37 -0800 (PST)
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?199701280620.WAA22993>