对于冯落衣的这个质问,王崎只能表示无言以对:“冯老师。我这个想法和希门主证明算学完备、无错、可判的理想一样,只是理念以及理想。但是你要我说思路,那我倒还可以说一点。”
数学不仅仅是各个学科的简单总和, 数学各领域之间有着千丝万缕的联系, 实际上,只要顺着算主的思路进行抽象化、形式化及公理化的方法。通过这种方法, 各种结构的相似和差异以及它们的复杂程度都一目了然。
结构的基础是集合。集合的概念较为简单, 它只涉及集合、元素以及元素属于集合这种简单关系。它不讨论元素和元素之间的关系, 而元素与元素之间以及元素与子集合、子集合与子集合之间的各种关系, 这就是结构。这个结构。完全可以成为数学的框架。将之统一起来。
王崎现在所说的,实际上就是现代数学的基础之一,布尔巴基学派的指导纲领。
布尔巴基学派是一个对现代数学有着极大影响的数学家的集体。其中大部分是法国数学家。他们的活动从20世纪30年代中期开始,曾先后在数学杂志上发表过一些文章,编写了多卷集的《数学原理》,是数学发展史上最重要的学派之一。
在某种意义下,布尔巴