数学爱好者总是喜欢称赞数学严谨的特点,但实际上,数学的严谨往往取决于使用它的人,而非数学本身。如果你没有学习过数学的某些概念,那么你初次遇见相关的表达时往往很难看懂。这样的现象可以证明数学没有统一的定义和语法,这些全部都是由创造某些概念的数学家按照自己的喜好定义出来的。接下来,我会举几个例子来让你体会一下这种混乱。
无规则命名
同样是函数,三角函数可以有三个字母,但是别的大多数不行。在书写的时候,多字母的函数或是其他符号会产生歧义,而数学将其解释为“约定俗成”。
绝大部分人没法直接用手写出衬线字体,书写时,“
上面的表达可能有些不太严谨,毕竟数学没有严格的类型,所以
另外,既然
含糊不清的语法
数学家很喜欢创造语法,但是他们似乎想不出很多漂亮的语法和符号,所以相同的符号放在类似的地方所表示的意义需要通过上下文来推测,下面是一个例子:
如果不知道
看起来好像和返回类型没什么关系?但是数学没有明确指出
然而这样的理解是不对的,其实原始式子只是省略了一个乘号,跟
这一例子不仅反映出数学家爱简写的坏习惯,而且说明数学中相同的符号、相同的语法具有多重含义。不是说简写不好,而是有歧义的简写没有杜绝造成简写的弊端充分显现。
高度复用且极富歧义的符号
学过数列的朋友们都知道
让我们来看下面这个表达:
这时候你能清楚地知道
这里
事实上,如果不是我给出了“
更令人难以理解的是,很多人会推荐在括号嵌套时,依次轮换使用不同的括号:
这真是给本就肩负多重重任的括号们火上浇油。问题是这样做看起来很难看,写起来还需要不停地改刚刚写出的外层括号,难道我写这类式子还得事先计算嵌套层数吗?如果像上面那样配对括号至少还有一点点用处,那下面这样就实在是过于荒谬了:
用于标识函数的参数的括号竟也可以遵循上述规则,这说明函数其实没有属于它自己的语法。上面这个例子中的
限制过多的集合与区间
类型是严谨性的基石,然而数学不遵循这一点。
上述运算是合法的,区间和数的集合是可以取并集的,这说明不同类型的集合可以取并集,然而:
这一下子就不合法了。这说明取并集的集合的元素类型必须相同,然而一个有时看起来像坐标或者说是点的区间,竟和数构成的集合类型相同。这时候你也许会为数学辩解,说区间和数集本就是相同类型。那么为什么
有时以集合中的元素类型命名集合,比如“点集”、“数集”等。那么我们往往认为,一个点集和一个数集肯定不同,相互也不能成为子集。但是由于数学没有类型,空集不仅失去了它的元素,还是去了它的类型,比如“点集”的“点”、“数集”的“数”。这时,这些集合一旦成为空集就会产生一些预期之外的事:
集合,是一个既不像数组,也不像数列的东西。集合不允许相同的元素,数组允许,但这没有不允许的必要,我们完全可以在定义中认为
隐式类型转换
我们可以定义一个
这时候,我想,
于是
那么按理说,导函数
不明确的运算适用范围
我们可以对一个函数的返回值做平方运算:
而这一表达,也可以写为:
这样简写,明显就是在对函数做平方运算,而非其返回值。如果这样的语法确实合法,那么这样应该也行:
照道理,这也可以写成平方根的形式:
可上述表达,至少我从未见过,一般都是表示为:
那么,把指数写在函数名的上角标位置的形式,仅限指数为整数,且
除此之外,当函数的指数为
结语——严谨的表达与严谨的思维同样重要
一门如此追求思维美学的学科,怎么能构建出如此杂乱的表达?这时候我必须提起计算机语言了,计算机语言的表达欲数学表达比起来,严谨得不止一点。主流的语言往往有统一的标准,表达和命名都有严格的规定,然而数学没有。年轻的计算机语言没有厚重的历史包袱,使得它可以构建全新的语法,从而摆脱以往语言存在但无法解决的问题。可是,数学语言在历史发展中已然成型,其问题不能被轻易解决,原因在于有太多信息已然在它的基础之上建立好了,所以数学语言无法承担颠覆性的变革。更何况数学语言没有版本体系,自然谈不上什么更新迭代了。
数学语言漏洞百出的根本原因,其实还是需要归咎于数学研究者的不负责任。大家都认为自己的表达可以随意一些,只要方便就好,而不考虑推广开来可能造成的隐患。虽然大多部分表达确实没有大范围推广,可仅仅是那些推广了的部分,在历史积累的过程中,就完全足以使整个数学表达体系陷入极度混乱的深渊。
更为糟糕的是,在不同地区、不同文化背景之下,即使是对于相同的对象,数学语言也能有各种不同的表达方式,美国和苏联的两种方式就是最好的例子。不同文化中诞生不同的表达并非不可理解的事,但没有一个人想起为此订立统一的标准,更有甚者在多种表达方式中反复横跳。这正是规范意识缺乏的反映。物理化学都有国际标准,符号和单位国际通用,但是数学貌似没有,而且看起来也不像是会有的样子。
数学语言的严重问题亟待解决,可却无从下手,那不如让我们每个人都严以律己。从今起,规范自己的语言,完善自己的表达,至少可以让你自己所产出的内容摆脱这般混乱的困境。
About this Post
This post is written by Mr. Will, licensed under CC BY-NC 4.0.