数学第三次数学危机,当时有三大流派:逻辑主义、直觉主义和形式主义。
后来,形式主义吸收了直觉主义的很多方面,也因为希尔伯特的影响力,最后赢得了正统地位。
但其实直觉主义才是真正的胜利者。三次数学危机之后,直觉主义的能行性构造性思想,催生了计算机科学。
如何从直觉主义能行性构造性的角度,重新对前人的正统评论进行再评论,这个任务在很大程度上传承给了计算机科学工作者。