S3E19. 会做数学证明的“忙碌海狸”,以及比TREE(3)还大的“不可计算数”

IT科技2020-06-01 03:59:44 5538

用户评论(13)
展示条数:
20条
  • 20条
  • 50条
  • 100条

表情0/300
资深中医黑

资深中医黑

《接触》里主人公就通过超越数判定信息是智慧文明发来的

豆芽在线

豆芽在线

不可计算数我是否可以理解为无穷大或者无限多数字组合

听友250800292

听友250800292

但是BBn的计算估计很难,因为计算BB4888,就需要考虑哥德巴赫猜想图灵机本身是否可以在有限步停机。而且我感觉BBn数的存在性是不一定的。一个不可判定命题的n状态图灵机,我们对它是无法判断其在有限步内是否停机的,这导致了停机和不停机外第三种状态出现。而这种状态将导致BBn的不可计算(字面意义的)以至于我们只能断言BBn有限,但我们永远无法计算它。由此哥德巴赫猜想和黎曼猜想还是可能是无法判断的。

火星社区

火星社区

陈景润压不住了

Jeepkar

Jeepkar

欧氏说是平面上的几何,而黎曼几何罗氏几何是曲面上的几何。那黎曼和罗氏与空间立体几何或者空间曲面几何有什么区别?还是只是像直角坐标系与极坐标系的区别?—-李老师是不是可以讲一下?

大老李聊数学

大老李聊数学 回复 @Jeepkar

这个问题比较大,我近期可能讲不了

听友203652095

听友203652095

那个哥德巴赫图灵机是不等价于验证有限个偶数就能证明哥德巴赫猜想

大老李聊数学

大老李聊数学 回复 @听友203652095

是的,但那个有限的数是一个不可计算数。

1811021fhur

1811021fhur

这集说的不可计算数和不可描述数不是一回事吧?

大老李聊数学

大老李聊数学 回复 @1811021fhur

不一样。不可描述数学名叫“不可定义数”,与不可计算数不是一回事。

听书、听课、听段子 6亿用户的选择!
下载客户端