公元前三百年,古希腊的亚里士多德提出了三段论,最早在逻辑学上,建立了初级的演绎系统,第一个使用公理化方法。
之后,欧几里得的《几何原本》,把这种办法引入了数学,构建了几何的公理化体系。
这一体系一直影响到如今,依然是我们科学的原石。】
想明白了自己未来道路的大家,内心是沸腾的。
不过在数学的魔力下,再沸腾的内心,也要冷却下来。
这一冷却,思绪倒是清明不少:
“逻辑,是辩论吗?”
“但什么叫做公理化吗?听不懂……不过公元前三百年,等等,如此说来,这书岂不是早就出来了?又知道作者名,又知道书名,我们去西方,直接把它找出来不就好了?”
“找!”
老朱拍板。他也是欣慰,这么简单就能解决的事情,不多了!
等找到了这本书,正好塞给同样找到了的郭伯玉!
不对,不止要给郭伯玉,还要再团团刊发一遍,大家多看看,准没错。
【我们往往看到中国古代有很多聪明的科学家在某一项具体的问题上有非常深入的研究,然后领先西方多少多少年,比如天元术,领先西方四百年一类的。
但是你很难看到这些被人整理成一个完整的体系。
牛顿的《自然哲学的数学原理》之所以如此划时代而不凡,正是因为它构建了一整个公理化的力学体系,定义了整个物理学科。】
“也就是说,至少到嘉靖时候,我们还领先。”
众人意识到这点后,松了半口气。
但还有半口气提着,因为:
“但是“体系”果然还是很重要,没有体系,我们这领先的400年,一下子就被反超了,要知道,后面也就不过区区不到600年而已。”
【另一项薄弱点来自于符号。
我国文字属于象形文字,兼具表音和表意,极富美感又信息量庞大,是非常优秀的语言。
但也许正因为自然语言太好用了,加上简化象形文字,天然比拼音文字更难,我国在数学符号化的进展上进度极慢。】
象形文字,自是明白的。
拼音文字,想想番邦语言,也明白了。
以前嫌弃番邦文字,是鬼画符。没想到啊,有一天,番邦文字竟然凌驾于我们之上。
大家琢磨着,心里总不是滋味。
茹瑺也在思考:拼音?
