内容 科学与方法 · 32
Science and Method · The New Logics
New logical systems matter, but Poincare asks what they add to mathematical practice.
新逻辑系统重要，但庞加莱追问它们给数学实践增加了什么。
A formal language must answer to mathematical work, not only to elegance of notation.
形式语言要回应数学工作，不只是记号优雅。
命题
The New Logics turns method into a visible object of mathematical reflection.
卷三 8 · 新逻辑 把方法本身变成可以被数学反思的对象。
读法检查 worked example
题
What should be checked when a new logic is proposed?
提出新逻辑时应检查什么？
解
Whether it clarifies proofs, definitions and paradoxes without erasing intuition.
它是否澄清证明、定义和悖论，同时不抹掉直觉。
互链 context
与哈代数学审美 hardy-apology/overview、非欧几何原作 non-euclidean-originals/lobachevsky-overview、分析严密化史 math-meta/topic-calculus-and-analysis-rigor 和拓扑学起源 math-meta/topic-topology-origins 对读。
我的笔记 自动保存