实数里面绝大部分数都是无法被认识的,因为不可定义数占了实数里的绝大部分。
我们把"可定义数"定义为"一切可以被语言描述的数",这里的语言包含数学语言、自然语言、计算机语言等各种有限语言集合。例如,定义所有偶数为"所有能被2整除的数",这样的定义就把形如2,4,6,8,...,2n,...给完整定义了。所以它们中的每一个都是"可定义数"。从定义得知,"可定义数"本身是可数的,因为用来定义"可定义数"的语言里本身只有有限个符号,我们把所有这些定义按照字典顺序排列起来,就把所有能想到的"可定义数"映射到了自然数集上,而自然数是可数数,所以"可定义数"是可数的。由于可数数在在实数里的少得可怜,因此实数里几乎都是"不可定义数",什么意思呢?就是对于实数里的绝大部分数,无论是人还是计算机,都是无法理解和描述的,能理解和描述的最多只是那些"可定义数"。那么数学史上谁发现了第一个"不可定义数"?答案是,从来没人发现,以后也不会找到实数里的"不可定义数",尽管"不可定义数"占了实数里的绝大部分。