我现在正在重构几何原本,现在已经完成第一章的初稿,谈谈感想。几何原本的阅读感太差了,一般人看了一头雾水,原因是欧几里得经常写到后边要证一个问题,突然发现条件不够,他回头就要去前边补条件。且几何原本流传了2000多年,其实是一直在修补和迭代的。为了所谓的严谨性,把一个简单问题拆成多个复杂的描述,形成一个非常长的调用链。
你会编程你就明白了,几何原本是一个流转了2000年的代码屎山,只往上叠,没人瘦身和优化。每一个命题是一个函数,各章节相互乱调用,400多个命题,到了后边一个命题会调用前边十几个命题,你不是滚瓜烂熟根本就阅读不了代码。
重构这玩意是个费力不讨好的事,一是现代几何证明已经比较完善,用着也挺好,这些陈芝麻烂谷子的就在那里放着吧。二是重构它只有时间成本,没有收益,得不到声望和成就,也得不到数学同行的认可,相当于用爱发电。
我为啥要重构它呢,道理和我注解道德经相同。这么一本千年名著必然有它的价值,二是我自己也是一个学习和梳理底层逻辑的过程。三是人们把几何原本当数学来看,实际上它是哲学,在2000多年前它是为了解释宇宙而存在的。但今天我们仍然没有一个能够解释宇宙的模型出来。我觉得可以通过对几何原本的再发现,继承它用逻辑来建模宇宙的思路,重新建设一个现代化的几何原本。
我要写这么一本书。第一,在研究几何的时候,同时要考察我们的大脑是如何运作的,是如何与几何对象产生交互的,以及大脑是如何对几何使能和渲染的,这属于神经认知学的范畴。第二,几何对象间的约束和逻辑关系的必然性是什么,也就是什么是必然逻辑,它用几何语言如何表达。第三是在应用方面以传统几何为起点,到微分几何知识体系。第四,尝试几何无数值运算。这是我考虑的一个点,类似代数的符号运算,把几何图形当成运算符来对待,对于复杂的运算,通过几何的动作来完成,并能通过一定方式取值。但在不取值时,几何的表达是精准的,如在数轴上表示根号5。