泰勒斯把数学变成了一个会说话的学科。在他之前,大家都靠猜或直觉来判断数学结论。埃及人用绳子比划,用石子计数,但缺乏系统的推导。泰勒斯就把埃及的几何知识带回希腊,让数学第一次有了逻辑证明。他就像给命题装上语音导航,告诉大家他走过这条路,可以放心跟着走。 普罗克鲁斯在注释《几何原本》时提到,泰勒斯把五个几何命题立住脚了。埃及人其实已经知道这些结论,但他们没有写成严密的推导。泰勒斯就用逻辑链条把这些命题串起来:先定义,再公理,后推理。这样一来,数学就有了严格性。 还有一个传说就是泰勒斯用相似三角形测量金字塔高度。法老给了他一个难题,就是在当时没人能准确测量出金字塔的高度。泰勒斯站在金字塔下,让自己的影子和身高一样长。然后他就在塔尖投影处做记号,再测出塔底到记号的距离就知道了高度。他还边走边讲,说影子长等于身高,塔影长自然等于塔高。这个方法让大家明白了数学可以亲手测、亲眼信、张口讲。 泰勒斯对后来的影响很大。他把数学推向理论高地后,又用相似三角形让理论变得实际。这个做法为毕达哥拉斯学派和整个希腊理性传统打下基础。毕达哥拉斯学派就是沿着他的脚印继续深耕下去的。正因为这个贡献,大家尊称他为论证数学鼻祖——让数学不再只是算术堆砌而是逻辑交响。