数字到底是什么？为什么 1 不是一根棍子

作者：lihao技术文章发布：2026-10-18数学与物理直觉 · 第 02 期

通过配对计数、不同进制和测量单位，区分对象、数目与记号；说明“一个什么”为什么是计数前必须回答的问题。

棍子会断，数1会不会跟着断

桌上放一根棍子，纸上写一个1。把棍子折成两段，桌上物体的计数可能改变；纸上的墨迹擦掉，数字记号消失了。但这些变化并不意味着数学中的数1被折断或擦掉。

日常所说“数字”常混指三个层面：被数的对象，表示数量的数，以及书写数的记号。本文用“数”指数量或结构中的对象，用“数码、数词或数字记号”指表达形式；这是一项说明约定，不强迫所有日常用语都如此严格。

区分它们，才能回答为什么一根棍子可以代表1，却不是数1本身。代表关系允许换材料：石子、刻痕和手指都可以用于计数。

计数先选择单位与对象边界

两只杯子、两本书和两次敲门，没有相同的物理材料，却可以分别与两个位置一一配对。对于有限集合，如果能和{甲、乙}建立一一对应，我们就可以说它有两个元素。

这个做法抓住“同样多”，但没有在本篇解决全部自然数基础。集合论可以给出一种构造，其他理论也能采用别的基础；数是否就是某个特定集合，仍属于进一步的哲学问题。[1]

再看那根被折断的棍子：若单位是完整原棍，它仍可能算一根原物的残件；若单位是分离的木段，就有两段。不是算术矛盾，而是计数对象与同一性条件改变。先问“一个什么”，才能确定该数哪些对象。

把数与写法分开，进制就不神秘

十进制的10与二进制的10写法相同，数值却分别是十与二。前者是1×10+0，后者是1×2+0。数十三可以写成十进制13，也可写成二进制1101，即8+4+1。

进制规定位置的权重，数码是用于写数的符号。换进制通常改变表示，不改变被表示的整数。罗马数字、中文数词与现代位置记数法也有不同规则，不能只盯着字形判断数量。

欧几里得《几何原本》第VII卷先定义单位，再把数界定为由单位组成的多。[2] 在这种古典安排里，单位与数的地位不同；现代通常把1也作为自然数。这个差异提醒我们，不要假定所有时代的“数”概念完全一样。

计数与测量，又有什么不同

计数杯子得到3，通常是一个无量纲的基数；测量棍长得到1米，表达的是某个长度与所选单位的关系。相同长度也可写成100厘米，数值改变，长度并未改变。

两根各1米的棍子，只有在首尾对齐、不重叠且讨论总长度时，才自然相加为2米。若问把它们捆在一起有多长，结果不由1+1单独决定。算式正确与对象如何组合，是两个层次。

物理长度还伴随测量不确定性。标称1米并不保证无限精度；若每次测量受刻度与方法影响，就要保留误差来源。有限集合的精确计数与连续量的有限精度测量，不能因为都写数字就混为一谈。

零、负数与分数为什么值得单独解释

空集合提供一种“没有元素”的计数情形；负数可以用来表达方向、差额或整数结构；分数可以表达分割后的比例或两个量的比。它们并非都能直接靠“拿几根棍子”解释。

这说明最初的计数直觉是入口，而不是整个数系的完整定义。扩展数系时，需要说明新对象、相等关系和运算规则，以及旧规则在什么条件下保留。不能只说“现实里看不见，所以不存在”，也不能只说“能写出符号，所以一定有合理对象”。

最强异议是：若数不是具体东西，以上不还是靠语言绕圈吗？回应是，本篇只建立了具体对象与表示的区分，并给出有限配对的可操作标准；抽象对象的存在地位仍然开放，不借一个计数例子宣称已经解决。

不同的自然数集合构造，为什么不让算术分裂

在一种常见集合论构造中，0取为空集，1取为只包含0的集合，2取为包含0与1的集合。另一种递归构造可以让每个后继只包住前一个对象。两者的0与1相同，但从2起集合结构已经不同；它们仍可承载相应的自然数次序与运算。

这说明，选出一种方便的基础表示，不必就认定日常算术中的每个数只能“真正等于”那一个具体集合。我们可以通过结构中的对应关系比较实现，关注哪些运算与关系被保持。[1，关于集合论基础与结构主义的讨论]

程序中的对象也有一种相似但有限的类比：同一抽象序列可以用数组或链表表示，表示不同不妨碍它们满足同一接口。数学对象的本体论并不因此化约为程序实现，但类比能帮助区分抽象性质与某个选定编码。

所以，“1不是棍子”并不等于“1必须是某种唯一集合”。本篇要求的是分清层次，而不是把一个过于具体的答案替换成另一个未经辩护的答案。

相等与一一对应，各自比较什么

两个有限集合元素相同，叫集合相等；元素不同却能一一配对，叫具有相同基数。例如{甲、乙}与{杯子A、杯子B}不是同一个集合，但都含两个元素。计数抽取的是后一类数量关系。

如果配对漏掉一件物品，或让一件物品对应两次，就没有建立一一对应。日常清点中的重复计数与遗漏，本质上就在破坏这项对应。先确定“同一件物品”怎样辨认，是精确计数的前提。

排序又是另一种关系。同样两本书，可以有先读A再读B，也可以反过来；基数同为2，顺序不同。基数问题问有多少，序数或次序问题问排在何处，不能由同样多推出顺序相同。

在无限集合上，一一对应还会产生超出有限直觉的结果，例如自然数与偶数可以配对。那需要更明确的集合与函数概念；本篇只把它作为后续问题，不用“部分一定少于整体”的有限口号阻止进一步分析。

为什么1米加1秒没有普通的直接相加

同样写着1，长度与时间是不同量。若要相加，必须先有同类量与共同单位；1米+100厘米可换成2米，1米+1秒却不是一个通常定义的长度或时间。这不是算术失败，而是运算对象没有满足规则。

比例还需区分纯数与带单位比值。两段长度之比可以无量纲；速度是长度除以时间，保留相应量纲。把所有量都存成浮点数，并不会消除这些区别，只会把检查责任交给程序与使用者。

由此可以回看最初的棍子：棍子的个数、长度、质量和价格都能用数表达，却是不同问题。说“这根棍子是1”，省略了所选属性与单位，不能作为完整定义。

数让不同对象共享数量结构；单位和模型又把结构接回世界。理解这个来回关系，比只背“数是抽象概念”更能帮助我们识别实际推导中的错误。

精确数与测量值混在一起，误差怎样被放大

若一段长度的估计值记为L=1.00米，标准不确定度u(L)=0.01米，换成厘米后应写成100厘米，标准不确定度相应为1厘米。单位转换不能凭空提高精度；多写小数位也不会增加仪器提供的信息。标准不确定度以标准差的形式表达，并不是保证真值落入某区间的最大误差界。[3]

再设正方形面积A=L²。按一阶不确定度传播，在不确定度相对较小、线性近似适用时，u(A)≈|2L|u(L)，这里约为0.02平方米。若报告扩展不确定度，还应说明覆盖因子及覆盖概率所依据的假设；有覆盖概率的区间，不能直接写成绝不会越界的保证。[3]

若另外构造一个确定区间，明确假定边长满足0.99米≤L≤1.01米，那么由平方函数在正数范围内的单调性，面积必在0.9801到1.0201平方米之间。后一结论依赖额外给定的区间约束，不能仅由u(L)=0.01米推出。

这里1、2等整数在代数关系中可精确使用，测量得到的1.00却带有经验不确定性。两种数写在同一行，不代表它们具有相同证据地位。把测量值当成无限精度真值，会让后续计算看似严密却失去现实依据。

这段推导不是重新定义数，而是展示抽象数怎样参与量的表达。数、单位、测量方法与模型条件共同决定我们能对结果说到多精确。

一次可以自己完成的核对

拿两组不同物件，不移动它们也尝试一一配对；把同一数写成不同进制；把同一长度换成不同单位。每次分别记录对象、规则与记号发生了什么变化。

这些例子表明：数帮助我们抽出数量与结构，记号帮助我们表达，实物帮助我们建立联系。混淆三者，既会误读古代数学，也会在程序的数据表示和现实测量中误判结果。

来源、证据与阅读路线

1. Stanford Encyclopedia of Philosophy：Philosophy of Mathematics，基础与对象解释的争议
2. 欧几里得《几何原本》第VII卷定义1、2；本文明确区分古典术语与现代自然数用法
3. JCGM 100:2008，2.3.1、2.3.5—2.3.6及第5—6节：标准不确定度、扩展不确定度、覆盖因子与一阶传播；不把不确定度直接解释为确定误差界

证据范围：计数、表示和单位以构造例子分析；不确定度传播与确定区间分别按各自假设推导，所列数值不是一次实际测量报告。

版本1.2 · 2026-10-18：完成事实、条件与引用复核，逐篇明确证据方法；有实质缺口处补齐推导、反例或原题。原网址与首次发布日期保留。