发文章
发文工具
撰写
网文摘手
文档
视频
思维导图
随笔
相册
原创同步助手
其他工具
图片转文字
文件清理
AI助手
留言交流
“逻辑的极限与数学的困境,罗素用了362页才推导出1 1=2” 的更多相关文章
逻辑的极限与数学的困境,罗素用了362页才推导出1+1=2
哥德尔的不完备性定理
逻辑大结局——直觉、复杂度和终极悖论,统治一切的程序
数学的三次危机——第三次数学危机
数学与哲学
三大数学流派
(两材料)刘易斯·托马斯《细胞生命的礼赞·计算机》、刘健《让电脑更有“人情味”只是人类的一厢情愿》阅读训练
人类真的能掌握宇宙真理吗:罗素悖论与哥德尔不完备性定理
计算机是数学家一次失败思考的产物
数学史上的哲学绝唱——无穷观与数学基础的争论
数学是什么?罗素和希尔伯特之间的 battle 触发这来自灵魂的拷问
数学与逻辑的关系
小乐数学科普:3.14国际数学节带你认识143位古今中外数学家(4)
12第12章
数说名画-奇空
三大数学流派简介.ppt.Convertor
如何看待数学家哥德尔的“不完备性原理”?
《超越无穷大》:希尔伯特旅馆实验
一个无法证明的逻辑问题
孤独的破译者和他的计算机器
8、数学困境:从逻辑到心灵
【疯狂数学家】庞加莱:对于数学,直觉,有的时候比逻辑更重要
康托尔集合论
罗素悖论:理发师的烦恼
数学中的哲学思想
数学是不是绝对真理
集合论的发展史
信息时代的前尘往事(二):两千年的接力赛
一位高中数学教师眼中的“数学计算”(三) 集合的概念与康托尔