程序员和业余数学家证明忙碌海狸数 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

封面图片

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

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

封面图片

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

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

封面图片

网上有一个“20世纪数学家排名(前100位)”名单,有陈省身、华罗庚,没有卡拉比。卡拉比也没有得过数学大奖。吹捧自己的老师是“上

网上有一个“20世纪数学家排名(前100位)”名单,有陈省身、华罗庚,没有卡拉比。卡拉比也没有得过数学大奖。吹捧自己的老师是“上世纪最伟大的数学家之一”,是不是就能让自己也变伟大?饶毅以前方面吹捧田刚是“中华民族有史以来最重要的数学家之一”,可能是自己想让人吹捧他是“中华民族有史以来最重要的生物学家之一”。

封面图片

《马士兵程序员的数学视频教程》

《马士兵程序员的数学视频教程》 简介:马士兵程序员的数学视频教程是一门系统性的学习课程,涵盖相关领域的核心知识。通过详尽的讲解和案例分析,帮助学习者深入理解课程主题,提高实践应用能力,适合希望扩展知识储备、提升专业技能的学员。 标签: #知识#学习资源#技能提升 文件大小:NG 链接:

封面图片

数学家丘成桐:中国数学水平尚不及美国1940年代

数学家丘成桐:中国数学水平尚不及美国1940年代 综合凤凰网和星岛日报网星期二(5月7日)报道,丘成桐4月30日做客华中科技大学,发表“中国数学的现状和将来”演讲。 他说,任何一个强大的现代化国家,数学成就必须名列前茅,中国数学还没有到达这个成就。丘成桐直指,中国数学的水平尚不及美国上世纪40年代。 他指出,中国评估奖项和晋升大部分意见由国内同行决定,而重要学者年纪偏大,往往因循守旧。在此背景下,年轻学者会继续因循守旧,逐渐和世界前沿发展脱轨。 丘成桐又批评,中国诱导学者做学问的方法太过注重物质奖励,没有照顾到学问本身的成就。年轻人不敢去做最前沿的学问,因为部分评委不懂这些前沿学问,也怀抱私心,他们恐怕前沿学问在中国流行以后,自己没有一席之地。 他在演讲中疾呼:“此诚危急存亡之秋也!” 联合早报 via 匿名

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

启动SOSO机器人