三大学派

特殊——一般
一般——特殊
数学便是哲学
构造，思辨
数学便是人造美女
算子、泛函、拓扑、流形
现代科学语言
数学便是宇宙通用言语
三大学派
数学至尊
罗素，逻辑主义
构造定义，逻辑公理
推出逻辑规则，数学定性
奠定数学逻辑基础，功不可没
布劳威尔，直觉主义
原始直觉，数学基础
时间顺序，出现感觉
抽象时间进程，产生数学
直觉主义植根于数学的构造性
希尔伯特，形式主义
二十三个问题，部分至今未知
我们必须知道，我们必将知道
数学界无冕之王的鼓励
让无数年轻的数学家
前仆后继
三大流派，彼此依赖
互相弥补，升华新高度
三大学派，鼎足而立
等待更多问题的猜想与证明