发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
“信息时代的前尘往事(二):两千年的接力赛” 的更多相关文章
12第12章
超越数学的判定——通用图灵机的诞生
一个无法证明的逻辑问题
逻辑的极限与数学的困境,罗素用了362页才推导出1+1=2
逻辑的极限与数学的困境,罗素用了362页才推导出1 1=2
计算机是数学家一次失败思考的产物
0=1的不可证明性,表明形式主义的局限性,数学最终要回到哲学上
近代数学13个学派(13k字)
057 计算:现代数学研究什么( 3 )
匈牙利“唯一的天才”开拓无数领域,逝世30年后竟才拿到第一个奖
1936年,年仅24岁的数学天才图灵,发表了一篇极为深奥的论文
为数学而疯的康托尔
孤独的破译者和他的计算机器
10个最为酷炫的数学结论!欧拉公式只能排第四!
数理逻辑大师们
算法系列教程02-从罗素悖论到图灵机
希尔伯特的23个数学问题
数学史上10个备受质疑的伟大时刻
CICC科普栏目丨10个最酷的数学成果,你妈叫你回家做数学!
计算机科学史前史简评:从莱布尼兹开始
天才灭绝纪元 | 甲子光年
人类真的能掌握宇宙真理吗:罗素悖论与哥德尔不完备性定理
哥德尔的不完备性定理
数学的灾难:古典主义的最后一场对决 | 展卷
数学史上的哲学绝唱——无穷观与数学基础的争论
数学基础
冯·诺依曼
TOP10 20世纪最伟大的15位数学家,格罗滕迪克才排第六?