原文：信息时代的前尘往事（二）：两千年的接力赛
12第12章
太乙ocwfrzeutj    阅154
超越数学的判定——通用图灵机的诞生
返朴    阅47    转7
一个无法证明的逻辑问题
残云伴鹤归    阅750    转28
逻辑的极限与数学的困境，罗素用了362页才推导出1＋1＝2
安喜的空间    阅31    转2
逻辑的极限与数学的困境，罗素用了362页才推导出1 1=2
zhangshoupen    阅38
计算机是数学家一次失败思考的产物
中国好思想    阅204    转11
0=1的不可证明性，表明形式主义的局限性，数学最终要回到哲学上
老胡说科学    阅41    转9
近代数学13个学派(13k字)
taotao_2016    阅182    转6
057 计算：现代数学研究什么（ 3 ）
我爱李静图书馆    阅75    转4
匈牙利“唯一的天才”开拓无数领域，逝世30年后竟才拿到第一个奖
茂林之家    阅132    转2
1936年，年仅24岁的数学天才图灵，发表了一篇极为深奥的论文
新用户15472188    阅389
为数学而疯的康托尔
蜡烛916    阅200    转12
孤独的破译者和他的计算机器
wdd166    阅385    转11
10个最为酷炫的数学结论！欧拉公式只能排第四！
全性保真    阅131    转6
数理逻辑大师们
zshms    阅2042    转103
算法系列教程02-从罗素悖论到图灵机
Lcbfki7jfgtrtw    阅94    转8
希尔伯特的23个数学问题
遥望山川溪流    阅11304    转103
数学史上10个备受质疑的伟大时刻
阿里山图书馆    阅73    转4
CICC科普栏目丨10个最酷的数学成果，你妈叫你回家做数学！
taomaohu860706    阅85    转3
计算机科学史前史简评：从莱布尼兹开始
haosunzhe    阅119    转3
天才灭绝纪元 | 甲子光年
信息的窃贼    阅97
人类真的能掌握宇宙真理吗：罗素悖论与哥德尔不完备性定理
uczc68    阅1010    转31
哥德尔的不完备性定理
清勤居士    阅835    转21
数学的灾难：古典主义的最后一场对决 | 展卷
lindan9997    阅125    转6
数学史上的哲学绝唱——无穷观与数学基础的争论
西北望msm66g9f    阅350    转11
数学基础
求是1025    阅34    转4
冯·诺依曼
meifaxianzi    阅681    转2
TOP10 20世纪最伟大的15位数学家，格罗滕迪克才排第六？
我是散淡的人    阅1799    转2