第十二章 逻辑证明
第十二章 逻辑证明 (第2/3页)
先设想一个平面，这个平面是没有厚度的，而平面上有点、有线。线与线之间的关系有相交和平行。”戴言开始从最初的几何学开始为巨子讲起了。
随后他又开始讲解起了几何学的基本公设和公理，当巨子问道公设与公理有何不同时，戴言这样解答：“公设就是我所设定的初始命题；譬如说这一条：任何一条直线都可以无限延长，这就是最基本的命题。然而公理则是反复的实践检验是真实的，并且不需要由其他判断加以证明的命题和原理；譬如我所说的这一条：两点之间线段最短。先生设想一下，假如您身边有一条狗，你手上有一块肉，您把肉朝着一个方向扔出去，那么这条狗必然是直接冲过去把肉吃掉，它肯定是不会饶几圈再过去的吧？这种道理连狗都知道，又何况是人呢？”
戴言把线段公理比作为狗都能知道的道理，一时间整个大厅内众人都是大笑不已。
随后戴言又开始讲到了定理，这个其实就已经算是几何学的核心了。当他说道了那个著名的驴桥定理的时候，虽然在场众人中不乏墨家顶尖的学者，然而确实有人就是无法理解为何圭形（等腰三角形）的两个底角必然相等。这使得巨子大怒，直骂这些家伙都是笨蛋，因为在他看来，像这么简单的证明年轻的公子已经一步一步明明白白的指出来了，结果他们还是无法搞懂，这就是脑袋没不开窍啊。
随后戴言就见到了墨家残酷的一面。那些通不过“驴桥”的人，全部都被巨子罚去面壁，巨子直言：什么时候能理解了什么时候方可休息。而那些被体罚的人则全都是二话不说，立即服从。
“巨子，您这要求也太严了吧？”戴言直接就问道。
田鸠吩咐了他的随行弟子拿出一卷竹简，递给了戴言。戴言接过一看，却是墨家里的名篇：大取与小取。随后田鸠又吩咐弟子递给戴言一卷竹书，却是墨家的墨经。
“这里的大取与小取，正是在下所作，在下作此大小取，正是为辩而作也。而墨经，乃是我墨家墨子之后前辈所作，其中之义也多为与别家之辩，更为求世间之真理。然而吾从公子处学得此测地之法，发觉其中之精髓实乃公子所言之逻辑证明。逻辑证明如此简单明了，然却为世间之真理，让人辩无可辩。故有公子之逻辑证明在，吾之大小取，我墨家之墨经可尽弃矣。”田鸠带着一副悲凉的表情说道。
“巨子万万不可。”戴言连忙阻止道。开玩笑，大小取乃至墨经，那可都是中华文明的瑰宝啊。中华文明里关于逻辑的知识除了墨家也就只有名家有了，更何况他还有事想求墨家呢，哪里敢让巨子尽弃其学问？
“巨子可知，此逻辑证明虽然简单明了，然而它亦是需要文字作为支撑的。诚如巨子所言，小子先前所言之学问吾称其为几何，而逻辑则是几何的基础，目前这些学问不过仅仅是小子心里的一点想法，哪里能比得过墨家众前辈那样推衍多年之智慧呢？”戴言谦虚道。
“公子太过谦虚了。”田鸠直
（本章未完，请点击下一页继续阅读）