搜索技巧 海洋云增白 开源地图 AI 搜索答案 沙丘魔堡2 压缩机站 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 PostgreSQL AI工具 证券 DirectX DrawingPics 化学 KDE 披萨农场 多动症 植物学 分析化学 Three.js 大会 残疾人学校 初创 QB64 更多

1+1=2的证明:探索《数学原理》 (blog.plover.com)

本文探讨了怀特海和罗素的巨著《数学原理》是如何证明1+1=2的。作者首先介绍了该书的历史背景和重要性,然后详细分析了书中关于集合论、关系论以及序偶的定义和定理。作者指出,由于当时数学逻辑的发展水平有限,书中的证明过程冗长且重复,但其核心思想与现代数学并无二致。最后,作者还探讨了《数学原理》中使用的符号系统以及其对后世编程语言的影响。

评论已经关闭!