内容 科学与方法 · 33
Science and Method · The Latest Efforts of the Logisticians
Poincare reads logisticians as serious opponents, not caricatures.
庞加莱把逻辑主义者当成严肃对手，而不是漫画化对象。
The disagreement is about what counts as the source of mathematical necessity.
分歧在于数学必然性的来源是什么。
命题
The Latest Efforts of the Logisticians turns method into a visible object of mathematical reflection.
卷三 9 · 逻辑主义者的最新努力 把方法本身变成可以被数学反思的对象。
读法检查 worked example
题
How should we read his polemic today?
今天该怎样读他的论战？
解
As a historical argument about foundations before later formal logic changed the terrain.
把它读作后来的形式逻辑改变地形之前的一场基础论争。
互链 context
与哈代数学审美 hardy-apology/overview、非欧几何原作 non-euclidean-originals/lobachevsky-overview、分析严密化史 math-meta/topic-calculus-and-analysis-rigor 和拓扑学起源 math-meta/topic-topology-origins 对读。
我的笔记 自动保存