Richard's Paradox - Description

Description

The original statement of the paradox, due to Richard (1905), has a relation to Cantor's diagonal argument on the uncountability of the set of real numbers.

The paradox begins with the observation that certain expressions in English unambiguously define real numbers, while other expressions in English do not. For example, "The real number whose integer part is 17 and whose nth decimal place is 0 if n is even and 1 if n is odd" defines the real number 17.1010101..., while the phrase "London is in England" does not define a real number.

Thus there is an infinite list of English phrases (where each phrase is of finite length, but lengths vary in the list) that unambiguously define real numbers; arrange this list by length and then dictionary order, so that the ordering is canonical. This yields an infinite list of the corresponding real numbers: r1, r2, ... . Now define a new real number r as follows. The integer part of r is 0, the nth decimal place of r is 1 if the nth decimal place of rn is not 1, and the nth decimal place of r is 2 if the nth decimal place of rn is 1.

The preceding two paragraphs are an expression in English which unambiguously defines a real number r. Thus r must be one of the numbers rn. However, r was constructed so that it cannot equal any of the rn. This is the paradoxical contradiction.

Read more about this topic:  Richard's Paradox

Famous quotes containing the word description:

    The type of fig leaf which each culture employs to cover its social taboos offers a twofold description of its morality. It reveals that certain unacknowledged behavior exists and it suggests the form that such behavior takes.
    Freda Adler (b. 1934)

    Why does philosophy use concepts and why does faith use symbols if both try to express the same ultimate? The answer, of course, is that the relation to the ultimate is not the same in each case. The philosophical relation is in principle a detached description of the basic structure in which the ultimate manifests itself. The relation of faith is in principle an involved expression of concern about the meaning of the ultimate for the faithful.
    Paul Tillich (1886–1965)

    To give an accurate description of what has never occurred is not merely the proper occupation of the historian, but the inalienable privilege of any man of parts and culture.
    Oscar Wilde (1854–1900)