最近又重新迷上了数学,感觉需要重新温习一下这个从小学一年级就开始学习的学科。
由于资质有限,大学从本科到博士毕业用了十年,对所学的各个数学学科的具体知识点大多已经淡忘,但一直坚持对数学思想体系的探求,可是苦于一直不得法(老是忙着写程序了),仅仅从这么多年(从小学开始)的经验觉得“公理-> 推演-> 定理”这是个数学各个分支都使用的思想体系。
最近看了希尔伯特的《数学问题》,才发现这就是所谓的“公理系统”。简而言之,“公理系统”理论认为所有的数学分支都具有一组公理,其余定理都可以基于这组公理通过某种推演规则(如希尔伯特演绎系统) 证明。第一个最为人们熟知的公理系统就是“欧式几何”。
那么,是否存在一个有限而完备的公理系统,使得每个数学分支的所有问题都可以通过这些公理来证明?如果存在,那么只要为这个数学分支建立一个公理系统就行了,同时也说明任一个数学分支都是完备的。但如果不存在,那么所建立的公理系统只能是局部完备的,有些问题就必须使用系统外的知识来处理。
伟大的哥德尔证明了:每个数学分支中总会存在一些命题,我们既无法证明它是对的,也不能证明它的反面是错的(即证伪)。同时证明了一致性与完备性不可兼得。这个结论使得那些想为数学建立一个完备的公理体系的愿望破灭了。
题外话:
感觉以前接受之数学教育太过于肤浅,小学、中学老师没有这个水平尚可理解,大学老师仍是填鸭试的教学,课题上传授的仍是一个个零散的知识点,没有体系,更没有思想!
参考: