S3E19. 会做数学证明的“忙碌海狸”，以及比TREE(3)还大的“不可计算数”
喜马拉雅FM：https://www.ximalaya.com/keji/6310606/
微信关注：dalaoli_shuxue
B站: https://space.bilibili.com/423722633
以上内容来自专辑
- 听众问答：有关用图灵机证明哥德巴赫猜想和ZFC一致性775010:00
- S3E19. 会做数学证明的“忙碌海狸”，以及比TREE(3)还大的“不可计算数”892415:27
- S3E18. 数学家的纸上计算机 -- 图灵机简介1.06万19:16
- 番外篇：外星人的π跟我们一样吗？及听众问答976309:14
- S3E17. 数学家找到完美分蛋糕方法994915:03
- 番外篇：π和“真正的圆”存在吗？1.11万05:00
- S3E16. 形形色色的素数 -- 质数定理1.11万18:42
- 番外篇：数学大玩家—— 纪念 约翰·霍顿·康威以及康威的“外观数列”810309:57
- 番外篇：为什么费马小定理比试除法快？871917:21
- S3E15. 形形色色的素数——素性检验901613:28
用户评论
- 听友203652095
那个哥德巴赫图灵机是不等价于验证有限个偶数就能证明哥德巴赫猜想
大老李聊数学 回复 @听友203652095: 是的，但那个有限的数是一个不可计算数。
- 绝艺AI
沙发
- 如果给我一台时光机
听这个睡的是真香 - 听友250800292
但是BBn的计算估计很难，因为计算BB4888，就需要考虑哥德巴赫猜想图灵机本身是否可以在有限步停机。而且我感觉BBn数的存在性是不一定的。一个不可判定命题的n状态图灵机，我们对它是无法判断其在有限步内是否停机的，这导致了停机和不停机外第三种状态出现。而这种状态将导致BBn的不可计算（字面意义的）以至于我们只能断言BBn有限，但我们永远无法计算它。由此哥德巴赫猜想和黎曼猜想还是可能是无法判断的。
- 1811021fhur
这集说的不可计算数和不可描述数不是一回事吧？
大老李聊数学 回复 @1811021fhur: 不一样。不可描述数学名叫“不可定义数”，与不可计算数不是一回事。
- 邱姐说保险
沙发
- 木杆棉签
《接触》里主人公就通过超越数判定信息是智慧文明发来的
- 豆芽在线
不可计算数我是否可以理解为无穷大或者无限多数字组合
© 2014-2024 喜马拉雅 版权所有
欧氏说是平面上的几何，而黎曼几何罗氏几何是曲面上的几何。那黎曼和罗氏与空间立体几何或者空间曲面几何有什么区别？还是只是像直角坐标系与极坐标系的区别？—-李老师是不是可以讲一下？
大老李聊数学 回复 @Jeepkar: 这个问题比较大，我近期可能讲不了