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

相关推荐

封面图片

《奇怪国家的数学家2022韩国【电影】剧情》

《奇怪国家的数学家2022韩国【电影】剧情》 天才数学家卷入国家阴谋,用数字破解惊天秘密,紧张刺激的智力对决。 #悬疑 #奇怪国家的数学家 #韩国电影 #2022新片 2025-07-03 11:20:15 https://pan.quark.cn/s/0bf4444267dc

封面图片

《一个数学家的叹息:如何让孩子好奇、想学习、走进美丽的数学世界》

《一个数学家的叹息:如何让孩子好奇、想学习、走进美丽的数学世界》 亮点:打破传统数学教育束缚,揭示数学之美,激发孩子探索与热爱 标签:#数学教育 #一个数学家的叹息 #教育创新 更新日期:2025-05-29 22:11:43 链接:https://pan.quark.cn/s/a98bb8e8ac43

封面图片

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

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

封面图片

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

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

封面图片

《数学家的逻辑》作者: A.G.哈密尔顿 / Hamilton, A.G.

《数学家的逻辑》 作者: A.G.哈密尔顿 / Hamilton, A.G. 出版社: 商务印书馆 译者: 骆如枫 / 陈慕昌 / 茹季札 / 黄万徽 出版年: 1989 页数: 303 这本入门教材不仅为未来的逻辑学家而设计,也旨在对一般的数学工作者有所帮助。它基于A.G.哈密尔顿在斯特灵大学为三、四年级本科数学专业学生所开的讲座,目的是向学生或职业数学家介绍数理逻辑的技术与主要成果,即使他们的背景知识仅限于典型的一年级本科数学课程也没有关系。 本书在呈现内容时避免偏向某一特定方向、应用或发展,力图将数理逻辑置于数学的整体背景中,强调其对数学家的重要性。教材从基础层面出发,由非正式讨论逐步过渡到正式的数学与逻辑系统的严谨描述与运用。前几章内容包括命题演算与谓词演算;后续章节则涵盖哥德尔的不完全性定理,以及各种不可判定性与不可解性结果,包括对图灵机和抽象可计算性的探讨。 每一节最后都附有练习题,旨在帮助读者澄清和巩固所学内容,其中许多题目在书末提供了提示或解答。 #数学 #逻辑 #哈密尔顿

封面图片

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

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

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

启动SOSO机器人