All horses are the same color

From Wikipedia, the free encyclopedia
Jump to: navigation, search

The horse paradox is a falsidical paradox that arises from flawed demonstrations, which purport to use mathematical induction, of the statement All horses are the same color. There is no actual contradiction, as these arguments have a crucial flaw that makes them incorrect. This example was used by Joel E. Cohen as an example of the subtle errors that can occur in attempts to prove statements by induction.[1]

The argument[edit]

The argument is proof by induction. First we establish a base case for one horse (n=1). We then prove that if n horses have the same color, then n+1 horses must also have the same color.

Base case: One horse[edit]

The case with just one horse is trivial. If there is only one horse in the "group", then clearly all horses in that group have the same color.

Inductive step[edit]

Assume that n horses always are the same color. Let us consider a group consisting of n+1 horses.

First, exclude the last horse and look only at the first n horses; all these are the same color since n horses always are the same color. Likewise, exclude the first horse and look only at the last n horses. These too, must also be of the same color. Therefore, the first horse in the group is of the same color as the horses in the middle, who in turn are of the same color as the last horse. Hence the first horse, middle horses, and last horse are all of the same color, and we have proven that:

  • If n horses have the same color, then n+1 horses will also have the same color.

We already saw in the base case that the rule ("all horses have the same color") was valid for n=1. The inductive step showed that since the rule is valid for n=1, it must also be valid for n=2, which in turn implies that the rule is valid for n=3 and so on.

Thus in any group of horses, all horses must be the same color.[2]

Explanation[edit]

The argument above makes the implicit assumption that the two subsets of horses to which the induction assumption is applied have a common element. This is not true when the original set (prior to either removal) only contains two horses.

Let the two horses be horse A and horse B. When horse A is removed, it is true that the remaining horses in the set are the same color (only horse B remains). If horse B is removed instead, this leaves a different set containing only horse A, which may or may not be the same color as horse B.

The problem in the argument is the assumption that because each of these two sets contains only one color of horses, the original set also contained only one color of horses. Because there are no common elements (horses) in the two sets, it is unknown whether the two horses share the same color. The proof forms a falsidical paradox; it seems to show something manifestly false by valid reasoning, but in fact the reasoning is flawed.

References[edit]

  1. ^ Cohen, Joel E. (1961), "On the nature of mathematical proof", Opus . Reprinted in A Random Walk in Science (R. L. Weber, ed.), Crane, Russak & Co., 1973.
  2. ^ "All Horses are the Same Color". Harvey Mudd College Department of Mathematics. Retrieved 6 January 2013. 

See also[edit]

References[edit]