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:
“Today, the notion of progress in a single line without goal or limit seems perhaps the most parochial notion of a very parochial century.”
—Lewis Mumford (1895–1990)
“An entertainment is something which distracts us or diverts us from the routine of daily life. It makes us for the time being forget our cares and worries; it interrupts our conscious thoughts and habits, rests our nerves and minds, though it may incidentally exhaust our bodies. Art, on the other hand, though it may divert us from the normal routine of our existence, causes us in some way or other to become conscious of that existence.”
—Sir Herbert Read (1893–1968)
“... there are persons who seem to have overcome obstacles and by character and perseverance to have risen to the top. But we have no record of the numbers of able persons who fall by the wayside, persons who, with enough encouragement and opportunity, might make great contributions.”
—Mary Barnett Gilson (1877–?)