大数(4): 砍九头蛇砍出一个大数——九头蛇数

一个简单的砍九头蛇游戏就能导出一个大数，九头蛇数Hydra(n)。已知Hydra(4)大于葛立恒数。Hydra(n)也是一个典型的哥德尔不完备定理的例子，因为皮亚诺算术公理已无法证明其有限。hydra游戏源地址：https://github.com/andrejbauer/hydra

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

微信关注：dalaoli_shuxue