Notion Does Not Exhaust "unambiguously Described" Numbers
Not every number that we would informally say has been unambiguously described, is definable in the above sense. For example, if we can enumerate all such definable numbers by the Gödel numbers of their defining formulas then we can use Cantor's diagonal argument to find a particular real that is not first-order definable in the same language. The argument can be made as follows:
Suppose that in a mathematical language L, it is possible to enumerate all of the defined numbers in L. Let this enumeration be defined by the function G: W → R, where G(n) is the real number described by the nth description in the sequence. Using the diagonal argument, it is possible to define a real number x, which is not equal to G(n) for any n. This means that there is a language L' that defines x, which is undefinable in L.
Read more about this topic: Definable Real Number
Famous quotes containing the words notion, exhaust and/or numbers:
“I do not deny the existence of material substance merely because I have no notion of it, but because the notion of it is inconsistent, or in other words, because it is repugnant that there should be a notion of it.”
—George Berkeley (1685–1753)
“Only the really plain people know about love—the very fascinating ones try so hard to create an impression that they very soon exhaust their talents.”
—Katharine Hepburn (b. 1909)
“The principle of majority rule is the mildest form in which the force of numbers can be exercised. It is a pacific substitute for civil war in which the opposing armies are counted and the victory is awarded to the larger before any blood is shed. Except in the sacred tests of democracy and in the incantations of the orators, we hardly take the trouble to pretend that the rule of the majority is not at bottom a rule of force.”
—Walter Lippmann (1889–1974)