内容 科学与方法 · 31
Science and Method · Mathematics and Logic
Logic clarifies mathematics, but cannot replace mathematical judgment.
逻辑能澄清数学，却不能替代数学判断。
Formal control needs an eye for meaningful construction.
形式控制需要对有意义构造的眼光。
命题
Mathematics and Logic turns method into a visible object of mathematical reflection.
卷三 7 · 数学和逻辑 把方法本身变成可以被数学反思的对象。
读法检查 worked example
题
Where does Poincare resist pure logicism?
庞加莱在哪一点上抗拒纯逻辑主义？
解
He denies that mathematics is exhausted by formal derivation.
他否认数学能被形式推导完全耗尽。
互链 context
与基础危机专题 math-meta/topic-foundations-crisis 对读。
我的笔记 自动保存