自古典数学发展到微积分，进入了现代数学。

上世纪30年代，法国诞生了布尔巴基学派。他们以代数结构、序结构、拓扑结构来重新定义数学——被称为结构主义。不可谓不雄心勃勃。

在70年代获得数学、计算数学重大发展的是分析数学、应用数学、计算数学。用计算机证明四色定理，成功地揭开了数学历史的新篇章，开辟了机械证明的光辉途径。同时，与布尔巴基“结构主义”精神背道而驰的“构造主义”，也由一度停滞而再获新生。

在算法当道的当下，AI时代的前夜。我们不禁问：布尔巴基学派的“结构主义”落伍了吗？

（后续论述，请持续关注）