enter image description here

前两天说到准备写一写数学的故事,今天在网上搜索,发现BBC已经拍了一部《数学的故事》BBC.The.Story.of.Maths 于是下了第一集来看,这一集最后提到了 希帕提婭 ,著名的女数学家,题图是在Google搜索 hypatia 右侧出现的信息栏,看来知识图谱已经完成与搜索的整合了,并且对于关键词会进行类型猜测,像这种人名的搜索,就会在右侧显示知识,只有搜索商品名的时候右侧才会出现广告。下面的相关搜索还有Ada,程序员的开山祖师,碰巧今天看完了《信息简史》第四章,知道Ada首次创造出来的居然是一个递归算法,人类第一个程序就如此高大上了,没想到吧。片中认为埃及数学比巴比伦更古老,这一点存疑,不过二者起源的年代距今都超过5000年是没问题的。这部纪录片,个人觉得最受启发的是开头的解说词,说数学研究就是一个不断发现现象背后的模式的过程,这就意味着一切模式都可以用数学来表达,即使当下不能,未来也一定会有人研究出表达那种模式的数学。我们做智能系统,本质上就是把这些模式自动地组织起来,自动地解决对人有意义的问题,而尽量减轻、直至免除人对解题过程进行干预、控制的负担。因为数学所表达的模式是有穷尽的,因此这样的系统是可以开发出来的。 最近也在看《数学——它的内容、方法和意义》,一方面可以复习一下数学;另一方面也是了解另外一个看待数学的视角,这本书是前苏联数学家写的,有一些苏联特色。同时也找了一些数学史的综述类书籍,有点小失望,多数对于古代语焉不详,而我最想看的其实是古代数学思想的起源过程,一是最初的形态最接近于本质,二是看起来比较简单,适合俺这种数学头脑不发达的人。