Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: $Revision: 1.6.2.14 $; site uiucdcs.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxj!ihnp4!inuxc!pur-ee!uiucdcs!kaufman
From: kaufman@uiucdcs.UUCP
Newsgroups: net.jokes
Subject: Re: e: reatnsl log
Message-ID: <9900301@uiucdcs.UUCP>
Date: Sat, 22-Sep-84 14:29:00 EDT
Article-I.D.: uiucdcs.9900301
Posted: Sat Sep 22 14:29:00 1984
Date-Received: Wed, 26-Sep-84 08:00:49 EDT
References: <3679@decwrl.UUCP>
Lines: 18
Nf-ID: #R:decwrl:-367900:uiucdcs:9900301:000:899
Nf-From: uiucdcs!kaufman    Sep 22 13:29:00 1984

The proof that all horses are white and Alexander the Great didn't exist:

Induction:  Base step - A set of zero horses contains no non-white horses.

Induction step - Suppose all sets of n horses contain only white horses.  Add
a horse to make a set of n+1 horses.  Removing any horse from that set makes a
set of n horses, which therefore contains only white horses.  Since any horse
can be removed from the set of n+1 horses to bring this property, we must
conclude that all horses in a set of n+1 horses are white.

Now, we all know that Alexander the Great had an infinite number of limbs.
But legend also has it that he rode a black horse.  But all horses are white,
so Alexander the Great couldn't have possibly existed.

-Ken Kaufman (uiucdcs!kaufman) - an original member of ROFNAR
"Man then went on to prove that black is white, and proceeded to get run over
 at the next zebra crossing."