Graham's number used to be the largest number ever used in a proof, but BB(745) ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

MichaelDickens on Nov 3, 2023 | parent | context | favorite | on: The 8000th Busy Beaver number eludes ZF set theory...

Graham's number used to be the largest number ever used in a proof, but BB(745) is much larger—Graham's number has been proven to be smaller than BB(16)[1] (although I don't know how carefully the proof has been checked).

[1] https://www.sligocki.com/2022/07/11/bb-16-graham.html

tromp on Nov 3, 2023 [–]

A number much larger than Graham's can be represented in less than 64 bits [1], using a functional flavored Busy Beaver function [2].

[1] https://googology.fandom.com/wiki/User_blog:JohnTromp/The_la...

[2] https://oeis.org/A333479

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact