Bertrand Russell:Mathematics, rightly viewed, possesses not only truth, but supreme beauty -a beauty cold and austere, like that of sculpture, … … such as only the greatest art can show.
2.2 数学之真
第二个关键词我想跟大家谈谈数学的真。
公理化
数学为什么真呢?数学做什么事情一定都要讲道理,从什么东西推导什么东西。但是往回推导的话总要有一个基础。所以数学家他干什么事情都要有公理化。
大家知道平面几何,有欧几里得的五条公理。欧几里德是一个古希腊数学家。这里还有个有趣的故事。欧几里得在给托勒密一世讲几何的时候,国王问他学几何有没有捷径。欧几里得有一个非常漂亮的回答。他说通往几何的途中,没有为国王专门铺设的平坦道路。
袁亚湘院士《数学漫谈》报告系列之数学的特点
欧几里德(Euclid,约 330BC–275BC)
集合论里有 ZF 公理体系。所以数学家要建立数学理论,一定要基于公理。这么来说数学实际上也是一种信仰。数学家大多都是有理想,有信仰的。就像我一样,是一个共产党员。
我再给大家举几个是共产党员的数学家的例子。一个是李天岩教授。李天岩教授祖籍湖南,出生在福建。两三岁就跟着国民党撤退去台湾。他在台湾长大,台湾清华大学毕业。后来在美国终身执教。他曾经说过这样的话:’如果年轻人不相信共产党,说明你这个人根本是没心的’。