数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 3872|回复: 2

一部简明有趣的数学思想简史:数学语言是如何进化的?

[复制链接]
发表于 2020-11-30 18:09 | 显示全部楼层 |阅读模式
一部简明有趣的数学思想简史:数学语言是如何进化的?



数学思想简史:规则与事实

那些运用规则来做出判断的人之于别人,就像有表的人之于别人一样。一个人说:“两个小时以前。”而另一个人说:“明明只有三刻钟。”我看了看自己的表,对前一个人说:“你太疲倦了。”然后对另一个人说:“时间在你那里跑得太快,因为现在已经一个半小时了。”我嘲笑那些说我的时间走得太慢或者说我是凭想象做出判断的人。他们不知道,我是根据我的表做出判断的。

——布莱兹·帕斯卡(1623—1662)

数学这个词来自希腊语,本意是“可以教授的知识”。当我们从事数学研究的时候,我们获得的有关某一主题的知识与我们对该主题的陈述之间有非常特别的密切联系。我认为这一点非常重要,路德维希·维特根斯坦的著作《哲学研究》(Philosophical Investigations)中有一个深刻的比较对象的主题,我们可以考虑一下“知道珠穆朗玛峰的高度”与“知道大提琴的音色”之间的差别。如果你知道珠穆朗玛峰的高度却不能告诉别人,人们不会承认你具有这方面的知识。另一方面,如果有人请求一位大师级的大提琴演奏家证明他“知道”他的乐器的声音是什么样子,他可能会不知所措。

我们与现实接触所获得的经验教训,有些是无法被简单地总结然后再传达给别人的。人类知识并不都是以事实的形式出现在我们面前的!另一方面,对科学知识的追求本质上是一种公众事业,因为科学家的工作主要就在于把通过研究各种对象而获得的知识清楚地表达出来。用物理学家尼尔斯·玻尔的话来说:“认为物理学的任务是找出自然是什么样子的,这是错误的。物理学涉及我们如何讲述自然。”我认为,正是因为我们必须要清楚地阐明自己的理解,并与人分享,经验科学才逐步变得数学化。换句话说,即使没有我们的存在,自然仍旧存在,但在我们创造语言之前,事实是不存在的。毕竟,如果没有一种表达事实的语言,我们就不可能得到事实!

数学语言是人类探险征程的一个主要部分,数学的历史则告诉我们数学语言得以发展的背后的文化。另一方面,与其他文化产物相比,数学的世界不可思议地超越了时间,你不需要了解古希腊人的生活也能够理解欧几里得几何。数学事实很容易就从一个文明传播到另一个文明,因为数学事实的根源在于我们的认知能力,似乎属于每一种世界。的确,数学事实本身无法告诉我们,我们究竟生活在哪段历史中。无论过去和今天的情况如何,一旦我们意识到可以使用数学语言思考,就无法想象一个不能用这种方式思考的世界!例如,我或许明显可能受到周围世界的欺骗,但是一旦我学会了计数,就无法想象自己是一个无法计数的现实的一部分。

正如本章开头那段引文所指出的,认识到数学家、科学家和工程师通过运用规则来追求目标这一点很重要。……

简而言之,数学并不是一种自然现象,但当我们学习和研究数学的时候,它看上去似乎是种自然现象。例如,如果我学会了数数,明白2+2=4,我可能就会坚持认为,这不仅对我或像我那样数数的人而言是真实的,它是宇宙本身的一项真理。这种说法显然是有道理的。两块石头加上两块石头确实是四块石头,希望情况并非如此并不会影响这个事实。不过,在做出这个论断的时候,我并不否认,数学是我们创造出来的一种事物。毕竟,是我们把这些石头看成一组对象的,关于事实的陈述与事物的物理状态并不是一回事。换句话说,尽管我们对身处其中的这个世界的阐释忠实于它的现实状况,但我们关于世界如何运转的观点并不能陈述自身。

我认为,数学真理是通过在规则的规定下使用符号形成的,如果我们或者我们的前辈没有确定清楚的规则或者原理,数学真理就不可能存在。另一方面,数学又绝不仅仅是按照一套既定规定重新排列符号,因为一旦我们有了一个基于规则的可有效利用的系统,就可以透过这种语言提供的逻辑透镜来观察世界。而且,一旦某人使用一个词或者概念,这个词或者概念就需要有真正的含义。人们对符号体系的使用或许暗示了某种数学实在性,这种数学实在性由两个部分组成:一个是实际存在的人类所使用的实在的、有意义的历史概念和符号,另一个是与历史无关的永恒的符号事实(理论上可以被任何适当的程序计算机证明)。

如果我们承认,我们不可能找到我们理解和使用的有意义的数学,与自洽且合法但尚未被发现的可计算的符号系统之间的界限,则数学真理的这种双重形象便具有许多值得推荐之处。毕竟,当某人在谈论一个可计算的系统的时候,这个系统实际上就已经被使用了。正如维特根斯坦所说:“人们有一种感觉,即数学中不存在现实性和可能性,一切都在一个层次上,而且实际上,一切在某种意义上都是真实的。这一点是正确的。因为数学是一种演算,演算不会涉及任何仅仅是可能存在的符号,一种演算只涉及它实际操作时使用的符号。

计算和数学论证可以用来理解世界,这使数学具有深刻的意义。另一方面,数学事实并不依赖于事件的物理状态,因为数学语言处理的是普遍性,我们不应该通过援引特例或者历史事件去理解它。科学家对经验世界做出论断,而完全不同的理论可以运用于同一种现象。由此,科学家必须接受,新的证据或者新的研究方法可能会证明他们的理论是错误的。数学家经常有一些预感后来被证明是错误的,但他们所证明的结果有一种科学缺少的确定性,因为数学真理在某个给定系统内永远是真理。我们可能会说,我们的语言让我们能用一种特殊的数学视角观察世界,无论周围的环境如何变化,我们都可以让我们的逻辑透镜保持不变。

或许最重要的事情是,数学家是以演绎的方式来表达他们所研究的概念的。这一基本原则限制并造就了数学事实的整体,但除了一座演绎之塔外,数学还有其他东西。简言之,数学家研究可描述的概念体系。这一点对于其他理论家来说或许也成立,但数学的逻辑结构是不同的,因为其关注的重点是我们做出的确定命题和实践中(如计数)使用的符号形式。数学家可以随意对实际对象计数,但与其他理论形式不同的是,数学术语并不需要指代任何外部对象。所以我可以得出结论,数学的客观实在并不是大脑的活动,也不是数学形式的某种奇妙领域。正如本章开篇所说的帕斯卡的手表那样,重要的是一个数学家“使用的命题”。

尽管很少有人专注于纯数学,但我认为,我们天生就有理解这种真理的能力,这是人之为人的重要因素。这一点适用于每个人,而不仅仅是一些经过良好训练的专家。例如,尽管儿童需要有人引导才能使用直线、正方形、三角形和其他特定图形的词,但我们认识这种语言的意义的能力是与生俱来的,我们无法想象一个没有图形的世界。这并不是说,人们可以通过某种隐秘的数学来解释人性,但我们会被真正明显的事实触动,我们的数学传统就源于对明显事实的陈述。我还要说,当某人努力掌握了数学语言之后,他就会认识到这样一个事实,即作为理性的存在,我们能够体验真理。这是人类本性的一个基本事实,它与我们对语言的使用不可分割。
……

本文摘选自《数学思想简史》,内容有删节

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
发表于 2020-11-30 22:45 | 显示全部楼层
本文很有趣,但是“数学是我们创造出来的一种事物”?这个不对吧?数学是金矿,只能是发现,挖掘,无发创造,就像宇宙不可能是上帝或谁能创造的,宇宙之大至今找不到上帝,宇宙之外根本不存在上帝:就像不能说谁发现了宇宙,谁就创造了宇宙,不能说伽利略发现了行星就是伽利略创造了一个大球体,如果真能创造个大球体那肯定是假的渺小的,第一个发明上帝学说的人自己肯定没有见过上帝,如果说他真的见过上帝那肯定是死过一回,假的哄小孩的。数学是真理,只能发现不能去创造,凡自己发明创造的强制别人执行的,那就是伪科学,反科学的!

数学也不是生物,不能自己进化生长,就像宇宙中的金原子,只被动地在宇宙爆炸中扩散,被时空中无形之力旋转,凝聚,富集而成矿藏。只有勤劳勇敢的人,不断研究挖掘才能找到和发现!不是“绝顶聪明”的人信口雌黄可以创造的,如果信口雌黄可以创造数学,那阿胶厂的那头驴就可以创造出一百部“几何本源”!
回复 支持 反对

使用道具 举报

发表于 2020-11-30 23:16 | 显示全部楼层
网络消息欧几里得的几何原本的原稿根本不存在,几何原本是经过多人多年,爱好者数学家,不断研究增补修改而集而成,真理只能是多次发现才能集合起来成为经典。
欧几里得反证法确实伟大,不管是谁首先发现的,咱不是考古的没有闲心替古人考察调研。据说阿几米德也是用的反证法证明过素数无穷多,是抄袭吗?二者证法本质相同而表述略有差异。除了欧几里得,别人也发现过,重复发现而已。
古代有人(不是富人就是神仙)放在路上一块金子,穷书生过来了,踢了一脚说是绊脚石克痛脚,阔人来了捡起来回家发财去了。如果那位富人或神仙做妖,回头金子变牛屎了,不知道结局会怎样?哈哈哈!
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-11 13:27 , Processed in 0.085363 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: