知识/定理
布劳威尔直觉主义：数学对象必须「可构造」才存在——拒斥排中律在无穷对象上的无条件使用。
公式
$\lnot\lnot P$ 不可推出 $P$（直觉主义逻辑）；连续统的「自由选择序列」。
证明思路
（哲学基础）以「心的构造」为数学意义，排除非构造存在性证明。
应用/例子
构造性数学、证明论、程序提取（Curry-Howard）。
意义/影响
基础论三大流派之一（逻辑/形式/直觉）；关于「数学是什么」的持久争辩。
DOXA · 数学编年史 · 知识详情
1920s ｜ 布劳威尔 ｜ 逻辑 ｜ 学派
布劳威尔直觉主义：数学对象必须「可构造」才存在——拒斥排中律在无穷对象上的无条件使用。
$\lnot\lnot P$ 不可推出 $P$（直觉主义逻辑）；连续统的「自由选择序列」。
（哲学基础）以「心的构造」为数学意义，排除非构造存在性证明。
构造性数学、证明论、程序提取（Curry-Howard）。
基础论三大流派之一（逻辑/形式/直觉）；关于「数学是什么」的持久争辩。