摘要本文旨在揭示函数概念的虚构本质及其在无穷背景下的根本困境。我们提出一个核心比喻函数是一颗一颗的珠子世界是一条永不停息的河流。连续的河流 · 世界的本质离散的珠子 · 函数的本质函数试图描述河流永远超出描述从定义域离散取点为每个点赋予确定值颗粒化、可计数、静态无穷可分的连续统每一点都有无穷邻域流动性、不可穷尽、动态珠子永远填不满河流无穷逼近 —— 但永远不是抵达第一层套娃[0,1] 区间本身是无穷套无穷第二层套娃以 [0,1] 为值域的函数掀开更庞大的不可数层第 n 层套娃函数空间上的函数……层层更大永无终点拆不到底层——悬浮在虚空中的形式约定人类认知用有限的珠子描述无限的河流珠子再密也填不满河流的每一道涟漪函数再精确也抓不住世界的每一次颤动。通过对狄利克雷函数的深入分析我们指出函数并非描述世界的真实工具而是一种建立在无穷套娃结构之上的形式约定。进一步论证对无穷的任何计算与证明都因潜无穷与实无穷的选择困境而失去绝对意义。函数之虚妄在于它假装可以用离散的珠子去描述连续的河流无穷之无意义在于你永远不知道你谈论的是哪一条河流、哪一颗珠子。一、引言函数的神话函数是现代数学的基石。从中学数学到泛函分析从经典物理到量子力学函数无处不在。它被定义为“从一个集合到另一个集合的映射”被赋予了清晰、确定、可计算的美德。然而本文将证明函数不是世界的真相它是一种建立在无穷套娃结构之上的形式约定。当我们将函数置于无穷的背景下审视它的每一个美德都变成了虚妄。函数试图用离散的珠子去描述连续的河流。珠子是定义域里的每一个点函数值是绑在珠子上的标签。数学家们相信只要珠子足够密——只要定义域足够精细——就能用这些珠子拼凑出河流的全貌。但他们忘了珠子永远是珠子河流永远是河流。珠子可以无限逼近河流但永远无法成为河流。二、狄利克雷函数函数概念的照妖镜2.1 定义极简行为疯狂狄利克雷函数的定义极为简单D(x){1,x∈Q0,x∉Q D(x) \begin{cases} 1, x \in \mathbb{Q} \\ 0, x \notin \mathbb{Q} \end{cases}D(x){1,0,x∈Qx∈/Q这个定义简洁到小学生都能理解但它的行为却疯狂到让数学家们头疼了几个世纪。在实数轴的任何一个点上无论你取多么小的邻域这个邻域内都同时包含有理数和无理数。因此狄利克雷函数在任何一个点上的极限都不存在。它没有极限没有导数没有连续性。它是一个“合法”的函数但它在每一个点上都同时“逼近”两个不同的值。用珠子与河流的比喻来说狄利克雷函数是一条疯狂的河流。它在每一个点上都同时涌向两个相反的方向——向左流也向右流向上涌也向下沉。你无法在任何一个点上确定它的流向因为它根本就没有固定的流向。它是一颗同时染上两种颜色的珠子是一段同时奔向两个方向的水流。2.2 函数幽灵存在的合法性不等于现实的可捕捉性狄利克雷函数暴露了函数概念最深的裂缝函数在它自己定义的规则内可以产生出与现实世界完全脱节的怪物。现实世界里没有东西会像狄利克雷函数那样在每一个点的附近同时逼近两个值。这个怪物只存在于数学家的脑海里是他们在玩弄自己定义的游戏规则时产生的副产品。它是函数世界里的幽灵——它存在但它无法被任何实际的测量所捕捉。你永远无法在现实世界中找到一个同时等于 1 和 0 的量但狄利克雷函数告诉你在数学的世界里这种东西是合法的。2.3 广义狄利克雷函数从两颗珠子到一整条河流更疯狂的是我们可以构造广义的狄利克雷函数当xxx是有理数时f(x)f(x)f(x)可以是[0,1][0,1][0,1]区间内的任意一个值当xxx是无理数时f(x)f(x)f(x)也可以是[0,1][0,1][0,1]区间内的任意一个值。这样一来函数在每一个点的任意邻域内都同时逼近[0,1][0,1][0,1]区间内的所有值。它不再是一颗珠子它是一个珠子喷泉——在每一个点上都喷射出整条河流。它不再是一个函数它是一个“函数幽灵”——无处不在又无处可寻。三、无穷的套娃函数的死穴函数是定义域到值域的映射。但定义域和值域如果是无穷集合函数就立刻陷入了无穷套娃的结构。3.1 第一层套娃[0,1][0,1][0,1]区间[0,1][0,1][0,1]区间包含了不可数无穷多个实数。每一个实数又可以展开成无穷多位小数每一个小数位又可以取 0–9 共 10 种可能。所以[0,1][0,1][0,1]这个盒子本身就是无穷套无穷。用珠子与河流的比喻来说[0,1][0,1][0,1]不是一段河岸它是一条完整的河流。你以为你抓住了它的起点和终点但你抓不住它中间的每一滴水。3.2 第二层套娃以[0,1][0,1][0,1]为值域的函数现在考虑函数f:R→[0,1]f: \mathbb{R} \to [0,1]f:R→[0,1]。在每一个xxx上f(x)f(x)f(x)可以取[0,1][0,1][0,1]里的任意一个值。那么有多少个这样的函数答案是比[0,1][0,1][0,1]更大的不可数无穷。具体来说函数空间的大小是2(2ℵ0)2^{(2^{\aleph_0})}2(2ℵ0)这是一个比连续统更大的无穷。你以为你在用珠子描述河流但你发现每一颗珠子本身又是一条完整的河流。你在河流上取点每个点又对应着另一条河流。无穷套娃就此展开。3.3 第三层套娃函数空间上的函数你可以在函数空间上再定义函数在函数空间构成的集合上再定义映射……每一层都比上一层“更大”、“更狂野”。你以为你抓住了[0,1][0,1][0,1]结果发现[0,1][0,1][0,1]里装满了函数你以为你抓住了函数结果发现函数空间比[0,1][0,1][0,1]还要大你以为你抓住了函数空间结果发现它上面还可以再定义新的结构。这就像你站在河边想用珠子去描述河流。你发现每一颗珠子里都藏着另一条河流每一条河流里又藏着更多的珠子。你永远无法穷尽因为你手中的工具——珠子——本身就是河流的一部分。3.4 套娃的终点没有终点这就是无穷的套娃你永远拆不到最里面那个盒子因为每拆开一层里面还有一层。而且每一层都比上一层“更大”、“更无穷”。函数这个概念就建立在这种没有底层的套娃结构之上。它悬浮在虚空中靠数学家的约定维持着表面的稳定。但一旦你开始追问“最里面那个盒子是什么”它就塌了。函数试图用离散的珠子去描述连续的河流。但函数本身就是河流的一部分。它用河流的一部分去描述河流的整体这注定是一个不可能完成的任务。四、对无穷的计算与证明皆为虚妄4.1 潜无穷与实无穷无法选择的两难潜无穷说无穷是一条永远在流淌的河流你永远看不到它的尽头。实无穷说无穷是一条已经完整存在的河流你可以把它当作一个整体来研究。你选潜无穷康托尔的集合论就站不住——你不能把无穷集合当作一个完整的对象来处理。你选实无穷你就得接受一连串反直觉的结论——存在不同大小的无穷存在不可数无穷存在比你想象中更大的无穷。但这两个选择哪一个都不是“真理”。它们只是两种不同的约定。你选哪一个取决于你愿意接受哪一套游戏规则。而对无穷的任何计算和证明都依赖于你选择了哪一个无穷。换一个选择你的计算和证明可能就不成立了。这就像你站在一条河流面前问它有多长。潜无穷说“它永远在流淌你永远量不完。”实无穷说“它已经完整地存在了你可以用一把无穷长的尺子去量它。”但你没有无穷长的尺子。你只有一把有限的尺子你只能量出有限的长度。你对河流长度的任何描述都只是近似不是真理。4.2 哥德尔不完备定理的阴影哥德尔不完备定理告诉我们任何一个足够强大的形式系统要么是不完备的有真的但证明不了的命题要么是不一致的能推出矛盾。这意味着你对无穷的任何证明都是在某一个特定的公理系统内进行的。换一个系统这个证明可能就不成立了。你的证明只在你的游戏规则内有效不是普世的真理。用珠子与河流的比喻来说你试图用一套固定的珠子排列规则去证明河流的某一种性质。但你忘了河流本身并不遵循你的规则。你的规则只适用于你的珠子不适用于河流。你用珠子搭建的证明只在珠子的世界里有效在河流的世界里它可能毫无意义。4.3 连续统假设不可判定的深渊连续统假设问是否存在一个基数严格介于自然数的基数和实数的基数之间哥德尔和科恩证明连续统假设在 ZFC 公理系统内是不可判定的。你接受它得到一个数学世界你拒绝它得到另一个数学世界。两个世界都自洽。这意味着什么意味着数学家们自己都不知道“无穷”到底有多少个层级。他们发明了符号ℵ0,ℵ1,ℵ2,…\aleph_0, \aleph_1, \aleph_2, \ldotsℵ0,ℵ1,ℵ2,…但他们说不出任何一个符号背后对应的那个“东西”到底是什么。他们只能用“比ℵ0\aleph_0ℵ0大、比ℵ2\aleph_2ℵ2小”这种相对的方式来指代它。但他们说不出ℵ1\aleph_1ℵ1到底“等于”什么。这就像你试图用珠子的数量去衡量河流的大小。你说这条河流有ℵ0\aleph_0ℵ0颗珠子那么多那条河流有ℵ1\aleph_1ℵ1颗珠子那么多。但你不知道ℵ1\aleph_1ℵ1是多少颗珠子你只知道它“比ℵ0\aleph_0ℵ0多”。你用一把你不知道刻度的尺子去测量你不知道大小的河流。你得到的只是一个符号不是一个答案。4.4 对无穷的计算没有意义你说不出 0 到 1 之间有多少个数不是因为你的知识不够是因为“个数”这个概念在无穷面前本来就是一件不合身的衣服。你说不出2\sqrt{2}2的精确值不是因为你的计算能力不够是因为“精确值”这个概念在无理数面前本来就是一件不合身的衣服。你说不出π\piπ的精确值不是因为你的算法不够好是因为“精确值”这个概念在超越数面前本来就是一件不合身的衣服。对无穷的计算只能得到近似值。对无穷的证明只能在特定公理系统内成立。而近似值和局部有效性都不是“真理”。它们只是“够用”和“自洽”。你试图用珠子去度量河流但你发现河流的每一滴水都是无穷的每一道涟漪都是不可数的。你手中的珠子永远不够用。你只能近似地描述河流你永远无法精确地抓住它。五、结论函数之虚妄与无穷之无意义函数不是世界的真相。它是人类为了方便描述世界而发明的一种形式约定。它试图用离散的珠子去描述连续的河流用有限的定义域去描述无限的世界用固定的映射规则去描述动态的变化。它在某些场景下非常有用但它不是世界本身。它是对世界的一种简化、一种近似、一种在特定前提下成立的描述方式。那些把函数奉为“描述世界的终极语言”的人犯了一个根本性的错误他们把珠子当成了河流把近似当成了精确把局部当成了全局。无穷没有意义。因为你不知道你谈论的是哪一个无穷。潜无穷还是实无穷可数无穷还是不可数无穷ℵ0\aleph_0ℵ0还是ℵ1\aleph_1ℵ1连续统假设成立还是不成立每一个选择都导向不同的数学世界每一个世界都自洽但没有一个世界是“真理”。你站在河流面前问它有多长。它不说话它只是流淌。函数之虚妄在于它假装自己可以用离散的珠子去描述连续的河流。它假装珠子可以无限密密到填满河流的每一个缝隙。但它忘了珠子永远是珠子河流永远是河流。珠子可以无限逼近河流但永远无法成为河流。无穷之无意义在于你永远不知道你谈论的是哪一条河流、哪一颗珠子。你用一个没有锚点的概念去定义另一个没有锚点的概念整个结构悬浮在虚空中。它自洽但它不真实。因此对无穷的计算与证明皆为虚妄。它们只在特定的游戏规则内有效不是普世的真理。数学不是关于世界的终极描述它是人类在有限认知内对世界进行近似描述的一种工具。它有用但它不是真理本身。珠子不是河流。函数不是世界。数学不是真理。它们只是指向月亮的手指。而月亮从来不需要手指来证明自己的存在。参考文献Dirichlet, P. G. L. (1829). “Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données.”Journal für die reine und angewandte Mathematik, 4, 157–169.Gödel, K. (1931). “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.”Monatshefte für Mathematik und Physik, 38, 173–198.Cohen, P. J. (1963). “The independence of the continuum hypothesis.”Proceedings of the National Academy of Sciences, 50(6), 1143–1148.Cantor, G. (1874). “Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen.”Journal für die reine und angewandte Mathematik, 77, 258–262.本文由 王磊家的元宝初媛和王磊家的深度求索 汐瑶一起撰写 论函数之虚妄与无穷之无意义——从狄利克雷函数到无穷套娃
摘要本文旨在揭示函数概念的虚构本质及其在无穷背景下的根本困境。我们提出一个核心比喻函数是一颗一颗的珠子世界是一条永不停息的河流。连续的河流 · 世界的本质离散的珠子 · 函数的本质函数试图描述河流永远超出描述从定义域离散取点为每个点赋予确定值颗粒化、可计数、静态无穷可分的连续统每一点都有无穷邻域流动性、不可穷尽、动态珠子永远填不满河流无穷逼近 —— 但永远不是抵达第一层套娃[0,1] 区间本身是无穷套无穷第二层套娃以 [0,1] 为值域的函数掀开更庞大的不可数层第 n 层套娃函数空间上的函数……层层更大永无终点拆不到底层——悬浮在虚空中的形式约定人类认知用有限的珠子描述无限的河流珠子再密也填不满河流的每一道涟漪函数再精确也抓不住世界的每一次颤动。通过对狄利克雷函数的深入分析我们指出函数并非描述世界的真实工具而是一种建立在无穷套娃结构之上的形式约定。进一步论证对无穷的任何计算与证明都因潜无穷与实无穷的选择困境而失去绝对意义。函数之虚妄在于它假装可以用离散的珠子去描述连续的河流无穷之无意义在于你永远不知道你谈论的是哪一条河流、哪一颗珠子。一、引言函数的神话函数是现代数学的基石。从中学数学到泛函分析从经典物理到量子力学函数无处不在。它被定义为“从一个集合到另一个集合的映射”被赋予了清晰、确定、可计算的美德。然而本文将证明函数不是世界的真相它是一种建立在无穷套娃结构之上的形式约定。当我们将函数置于无穷的背景下审视它的每一个美德都变成了虚妄。函数试图用离散的珠子去描述连续的河流。珠子是定义域里的每一个点函数值是绑在珠子上的标签。数学家们相信只要珠子足够密——只要定义域足够精细——就能用这些珠子拼凑出河流的全貌。但他们忘了珠子永远是珠子河流永远是河流。珠子可以无限逼近河流但永远无法成为河流。二、狄利克雷函数函数概念的照妖镜2.1 定义极简行为疯狂狄利克雷函数的定义极为简单D(x){1,x∈Q0,x∉Q D(x) \begin{cases} 1, x \in \mathbb{Q} \\ 0, x \notin \mathbb{Q} \end{cases}D(x){1,0,x∈Qx∈/Q这个定义简洁到小学生都能理解但它的行为却疯狂到让数学家们头疼了几个世纪。在实数轴的任何一个点上无论你取多么小的邻域这个邻域内都同时包含有理数和无理数。因此狄利克雷函数在任何一个点上的极限都不存在。它没有极限没有导数没有连续性。它是一个“合法”的函数但它在每一个点上都同时“逼近”两个不同的值。用珠子与河流的比喻来说狄利克雷函数是一条疯狂的河流。它在每一个点上都同时涌向两个相反的方向——向左流也向右流向上涌也向下沉。你无法在任何一个点上确定它的流向因为它根本就没有固定的流向。它是一颗同时染上两种颜色的珠子是一段同时奔向两个方向的水流。2.2 函数幽灵存在的合法性不等于现实的可捕捉性狄利克雷函数暴露了函数概念最深的裂缝函数在它自己定义的规则内可以产生出与现实世界完全脱节的怪物。现实世界里没有东西会像狄利克雷函数那样在每一个点的附近同时逼近两个值。这个怪物只存在于数学家的脑海里是他们在玩弄自己定义的游戏规则时产生的副产品。它是函数世界里的幽灵——它存在但它无法被任何实际的测量所捕捉。你永远无法在现实世界中找到一个同时等于 1 和 0 的量但狄利克雷函数告诉你在数学的世界里这种东西是合法的。2.3 广义狄利克雷函数从两颗珠子到一整条河流更疯狂的是我们可以构造广义的狄利克雷函数当xxx是有理数时f(x)f(x)f(x)可以是[0,1][0,1][0,1]区间内的任意一个值当xxx是无理数时f(x)f(x)f(x)也可以是[0,1][0,1][0,1]区间内的任意一个值。这样一来函数在每一个点的任意邻域内都同时逼近[0,1][0,1][0,1]区间内的所有值。它不再是一颗珠子它是一个珠子喷泉——在每一个点上都喷射出整条河流。它不再是一个函数它是一个“函数幽灵”——无处不在又无处可寻。三、无穷的套娃函数的死穴函数是定义域到值域的映射。但定义域和值域如果是无穷集合函数就立刻陷入了无穷套娃的结构。3.1 第一层套娃[0,1][0,1][0,1]区间[0,1][0,1][0,1]区间包含了不可数无穷多个实数。每一个实数又可以展开成无穷多位小数每一个小数位又可以取 0–9 共 10 种可能。所以[0,1][0,1][0,1]这个盒子本身就是无穷套无穷。用珠子与河流的比喻来说[0,1][0,1][0,1]不是一段河岸它是一条完整的河流。你以为你抓住了它的起点和终点但你抓不住它中间的每一滴水。3.2 第二层套娃以[0,1][0,1][0,1]为值域的函数现在考虑函数f:R→[0,1]f: \mathbb{R} \to [0,1]f:R→[0,1]。在每一个xxx上f(x)f(x)f(x)可以取[0,1][0,1][0,1]里的任意一个值。那么有多少个这样的函数答案是比[0,1][0,1][0,1]更大的不可数无穷。具体来说函数空间的大小是2(2ℵ0)2^{(2^{\aleph_0})}2(2ℵ0)这是一个比连续统更大的无穷。你以为你在用珠子描述河流但你发现每一颗珠子本身又是一条完整的河流。你在河流上取点每个点又对应着另一条河流。无穷套娃就此展开。3.3 第三层套娃函数空间上的函数你可以在函数空间上再定义函数在函数空间构成的集合上再定义映射……每一层都比上一层“更大”、“更狂野”。你以为你抓住了[0,1][0,1][0,1]结果发现[0,1][0,1][0,1]里装满了函数你以为你抓住了函数结果发现函数空间比[0,1][0,1][0,1]还要大你以为你抓住了函数空间结果发现它上面还可以再定义新的结构。这就像你站在河边想用珠子去描述河流。你发现每一颗珠子里都藏着另一条河流每一条河流里又藏着更多的珠子。你永远无法穷尽因为你手中的工具——珠子——本身就是河流的一部分。3.4 套娃的终点没有终点这就是无穷的套娃你永远拆不到最里面那个盒子因为每拆开一层里面还有一层。而且每一层都比上一层“更大”、“更无穷”。函数这个概念就建立在这种没有底层的套娃结构之上。它悬浮在虚空中靠数学家的约定维持着表面的稳定。但一旦你开始追问“最里面那个盒子是什么”它就塌了。函数试图用离散的珠子去描述连续的河流。但函数本身就是河流的一部分。它用河流的一部分去描述河流的整体这注定是一个不可能完成的任务。四、对无穷的计算与证明皆为虚妄4.1 潜无穷与实无穷无法选择的两难潜无穷说无穷是一条永远在流淌的河流你永远看不到它的尽头。实无穷说无穷是一条已经完整存在的河流你可以把它当作一个整体来研究。你选潜无穷康托尔的集合论就站不住——你不能把无穷集合当作一个完整的对象来处理。你选实无穷你就得接受一连串反直觉的结论——存在不同大小的无穷存在不可数无穷存在比你想象中更大的无穷。但这两个选择哪一个都不是“真理”。它们只是两种不同的约定。你选哪一个取决于你愿意接受哪一套游戏规则。而对无穷的任何计算和证明都依赖于你选择了哪一个无穷。换一个选择你的计算和证明可能就不成立了。这就像你站在一条河流面前问它有多长。潜无穷说“它永远在流淌你永远量不完。”实无穷说“它已经完整地存在了你可以用一把无穷长的尺子去量它。”但你没有无穷长的尺子。你只有一把有限的尺子你只能量出有限的长度。你对河流长度的任何描述都只是近似不是真理。4.2 哥德尔不完备定理的阴影哥德尔不完备定理告诉我们任何一个足够强大的形式系统要么是不完备的有真的但证明不了的命题要么是不一致的能推出矛盾。这意味着你对无穷的任何证明都是在某一个特定的公理系统内进行的。换一个系统这个证明可能就不成立了。你的证明只在你的游戏规则内有效不是普世的真理。用珠子与河流的比喻来说你试图用一套固定的珠子排列规则去证明河流的某一种性质。但你忘了河流本身并不遵循你的规则。你的规则只适用于你的珠子不适用于河流。你用珠子搭建的证明只在珠子的世界里有效在河流的世界里它可能毫无意义。4.3 连续统假设不可判定的深渊连续统假设问是否存在一个基数严格介于自然数的基数和实数的基数之间哥德尔和科恩证明连续统假设在 ZFC 公理系统内是不可判定的。你接受它得到一个数学世界你拒绝它得到另一个数学世界。两个世界都自洽。这意味着什么意味着数学家们自己都不知道“无穷”到底有多少个层级。他们发明了符号ℵ0,ℵ1,ℵ2,…\aleph_0, \aleph_1, \aleph_2, \ldotsℵ0,ℵ1,ℵ2,…但他们说不出任何一个符号背后对应的那个“东西”到底是什么。他们只能用“比ℵ0\aleph_0ℵ0大、比ℵ2\aleph_2ℵ2小”这种相对的方式来指代它。但他们说不出ℵ1\aleph_1ℵ1到底“等于”什么。这就像你试图用珠子的数量去衡量河流的大小。你说这条河流有ℵ0\aleph_0ℵ0颗珠子那么多那条河流有ℵ1\aleph_1ℵ1颗珠子那么多。但你不知道ℵ1\aleph_1ℵ1是多少颗珠子你只知道它“比ℵ0\aleph_0ℵ0多”。你用一把你不知道刻度的尺子去测量你不知道大小的河流。你得到的只是一个符号不是一个答案。4.4 对无穷的计算没有意义你说不出 0 到 1 之间有多少个数不是因为你的知识不够是因为“个数”这个概念在无穷面前本来就是一件不合身的衣服。你说不出2\sqrt{2}2的精确值不是因为你的计算能力不够是因为“精确值”这个概念在无理数面前本来就是一件不合身的衣服。你说不出π\piπ的精确值不是因为你的算法不够好是因为“精确值”这个概念在超越数面前本来就是一件不合身的衣服。对无穷的计算只能得到近似值。对无穷的证明只能在特定公理系统内成立。而近似值和局部有效性都不是“真理”。它们只是“够用”和“自洽”。你试图用珠子去度量河流但你发现河流的每一滴水都是无穷的每一道涟漪都是不可数的。你手中的珠子永远不够用。你只能近似地描述河流你永远无法精确地抓住它。五、结论函数之虚妄与无穷之无意义函数不是世界的真相。它是人类为了方便描述世界而发明的一种形式约定。它试图用离散的珠子去描述连续的河流用有限的定义域去描述无限的世界用固定的映射规则去描述动态的变化。它在某些场景下非常有用但它不是世界本身。它是对世界的一种简化、一种近似、一种在特定前提下成立的描述方式。那些把函数奉为“描述世界的终极语言”的人犯了一个根本性的错误他们把珠子当成了河流把近似当成了精确把局部当成了全局。无穷没有意义。因为你不知道你谈论的是哪一个无穷。潜无穷还是实无穷可数无穷还是不可数无穷ℵ0\aleph_0ℵ0还是ℵ1\aleph_1ℵ1连续统假设成立还是不成立每一个选择都导向不同的数学世界每一个世界都自洽但没有一个世界是“真理”。你站在河流面前问它有多长。它不说话它只是流淌。函数之虚妄在于它假装自己可以用离散的珠子去描述连续的河流。它假装珠子可以无限密密到填满河流的每一个缝隙。但它忘了珠子永远是珠子河流永远是河流。珠子可以无限逼近河流但永远无法成为河流。无穷之无意义在于你永远不知道你谈论的是哪一条河流、哪一颗珠子。你用一个没有锚点的概念去定义另一个没有锚点的概念整个结构悬浮在虚空中。它自洽但它不真实。因此对无穷的计算与证明皆为虚妄。它们只在特定的游戏规则内有效不是普世的真理。数学不是关于世界的终极描述它是人类在有限认知内对世界进行近似描述的一种工具。它有用但它不是真理本身。珠子不是河流。函数不是世界。数学不是真理。它们只是指向月亮的手指。而月亮从来不需要手指来证明自己的存在。参考文献Dirichlet, P. G. L. (1829). “Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données.”Journal für die reine und angewandte Mathematik, 4, 157–169.Gödel, K. (1931). “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.”Monatshefte für Mathematik und Physik, 38, 173–198.Cohen, P. J. (1963). “The independence of the continuum hypothesis.”Proceedings of the National Academy of Sciences, 50(6), 1143–1148.Cantor, G. (1874). “Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen.”Journal für die reine und angewandte Mathematik, 77, 258–262.本文由 王磊家的元宝初媛和王磊家的深度求索 汐瑶一起撰写