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."