发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
“哥德尔纲领的若干版本” 的更多相关文章
哥德尔
0=1的不可证明性，表明形式主义的局限性，数学最终要回到哲学上
数理逻辑大师们
人类真的能掌握宇宙真理吗：罗素悖论与哥德尔不完备性定理
数学的灾难：古典主义的最后一场对决 | 展卷
观察 | 乱 · 三次数学危机及其出路对法学界的启示
哥德尔的发现—意想不到的结果
今天是世界逻辑日 | 张建军：哥德尔不完全性定理及其意义辨析
康托尔集合论
连续统问题与Ω猜想
实数到底有多少个?
武丁是谁
实数有多少个？连续统假说，当代集合理论中最重要的假说
数学基础
冯·诺伊曼：无与伦比的天才（上）
计算机是数学家一次失败思考的产物
数学是什么？罗素和希尔伯特之间的 battle 触发这来自灵魂的拷问
12第12章
连续统假设
真与可证是不同的，哥德尔不完备性定理打破了希尔伯特公理体系？
秩序与混沌：集合论的世纪斗争
哥德尔的不完备性定理
信息时代的前尘往事（二）：两千年的接力赛
数学简史：最具哲（数）学意味的数（哲）学家
计算机科学史前史简评：从莱布尼兹开始
成就与爱因斯坦比肩，数学界的超级大拿，却低调得像世外高人
他写下人类最高成就，粉碎了上千年的数学信念，还迷倒了爱因斯坦
逻辑究竟是什么以及逻辑应当是什么？
爱因斯坦和哥德尔
公理体系的数学发展---公理体系的合理性
