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

喜马拉雅FM：www.ximalaya.com/keji/6310606/ 

微信关注：dalaoli_shuxue 

B站: space.bilibili.com 

知乎：zhuanlan.zhihu.com/dalaoli-shuxue/ 

电邮 ：dalaoliliaoshuxue@gmail.com