下载直播助手
发现大老李聊数学（全集）S3E19. 会做数学证明的“忙碌海狸”，以及比TREE(3)还大的“不可计算
S3E19. 会做数学证明的“忙碌海狸”，以及比TREE(3)还大的“不可计算

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

2020-06-01    15'27''

主播： 大老李聊数学（全集）

21 0

分享到:  
介绍:
[图片]喜马拉雅FM：https://www.ximalaya.com/keji/6310606/ 微信关注：dalaoli_shuxue B站: https://space.bilibili.com/423722633 知乎：https://zhuanlan.zhihu.com/dalaoli-shuxue/ 电邮 ：dalaoliliaoshuxue@gmail.com
上一期： S3E18. 数学家的纸上计算机 -- 图灵机简介
下一期： 听众问答：有关用图灵机证明哥德巴赫猜想和ZFC一致性
大家还在听