程序员和业余数学家证明忙碌海狸数 BB(5)

程序员和业余数学家证明忙碌海狸数 BB(5) 匈牙利数学家 Tibor Radó 在大学期间主修的是土木工程,一次世界大战中断了他的学业,他被派往前线,被俄罗斯俘获送到了西伯利亚的劳改营,在狱友的指导下学习数学。四年后他成功逃狱,穿越北极数千英里返回了祖国,重新回到学校。他在 1920 年代发表了数十篇数学论文,1930 年接受了俄亥俄州立大学的教职,任职达 35 年。他在晚年对图灵停机问题进行了提炼,1962 年在一篇论文里将重新表述的图灵停机问题称之为忙碌海狸游戏。忙碌海狸数通常用 BB(n)表示,它是一个快速增长的大数。现在程序员和业余数学家合作,使用形式化证明工具 Coq 证明 BB(5)=47,176,870。BB(6)需要证明 Collatz 猜想(Collatz conjecture),短期内难以突破。 via Solidot

相关推荐

封面图片

2023 年图灵奖授予了以色列数学家 Avi Wigderson

2023 年图灵奖授予了以色列数学家 Avi Wigderson 2023 年图灵奖授予了以色列数学家、计算机科学家 Avi Wigderson,以表彰他在随机性等理论计算机科学上的贡献。Wigderson 目前担任普林斯顿高等研究院数学学院的 Herbert H. Maass 教授,他的研究包括复杂性理论、平行算法、图论、密码学、分布式计算和神经网络,他在 2021 年获得阿贝尔奖。史上首位阿贝尔奖、图灵奖双得主!图灵奖通常被称为计算机领域的诺贝尔奖,奖金 100 万美元,由 Google 赞助。来源 , 频道:@kejiqu 群组:@kejiquchat

封面图片

《数学家讲解小学数学》 | 简介:数学家讲解数学这本书带给读者一个新鲜的视角,无论是在探索历史、社会还是文化方面,它都能为你提供

《数学家讲解小学数学》 | 简介:数学家讲解小学数学这本书带给读者一个新鲜的视角,无论是在探索历史、社会还是文化方面,它都能为你提供独特的深度和思考。每一页都充满了智慧和启发,是对知识渴望者的不二之选。 | 标签:#书籍 #数学家 #阅读 | 文件大小:NG | 链接:

封面图片

《奇怪国家的数学家.2022. 韩语中字.HD&1080P 》

《奇怪国家的数学家.2022. 韩语中字.HD&1080P 》 简介:2022 年的奇怪国家的数学家(韩语中字 HD&1080P),讲述了一位数学家在一个看似 “奇怪” 的环境中坚持数学研究的故事。这位数学家可能身处一个对数学并不重视的国家或社区,但他凭借对数学的热爱,克服重重困难,用数学知识解决实际问题,不仅改变了周围人的看法,也实现了自己的价值,影片展现了数学的魅力和坚持梦想的力量 标签:#奇怪国家的数学家 2022#韩国电影#数学家故事#梦想坚持 文件大小 NG 评论区查看资源

封面图片

《奇怪国家的数学家》 剧情片 韩国

奇怪国家的数学家崔岷植 / 金东辉 / 朴海俊 / 朴秉恩 / 卢宗贤

封面图片

丘成桐谈AI:对最尖端的数学家不会有任何影响

丘成桐谈AI:对最尖端的数学家不会有任何影响 丘成桐:“人工智能不可能对最尖端的数学家有任何影响,对于普通数学家可能会有一些影响。” 他还预测,人工智能十年之内不会对人类的社会结构产生大的影响,大部分关于AI要取代人类的言论都是“危言耸听”。“每一个技术更迭的时代都会出现这样的言论,但最终都是相当平稳地渡过了。”丘成桐表示,“至少未来十年我看不到人工智能对人类社会产生的实质性的改变,也就是改变整个社会的结构。” #视频 来自:雷锋 频道:@kejiqu 群组:@kejiquchat 投稿:@kejiqubot

封面图片

《一个数学家的辩白(双语版) 》|简介:在这本书课程中,你将探索一个数学家的辩白(双语版)的各个方面,学习如何在实际中应用这些知

《一个数学家的辩白(双语版) 》|简介:在这本书课程中,你将探索一个数学家的辩白(双语版)的各个方面,学习如何在实际中应用这些知识。无论是理论学习还是技能提升,本书都提供了系统的步骤和实践技巧,确保每一位读者都能够充分理解和运用。 |标签:#课程#一个数学家的辩白(双语版)#学习资料 |文件大小:NG |链接:

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人