4 ms·
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] (alt
by MichaelDickens 3y ago
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 https://www.sligocki.com/2022/07/11/bb-16-graham.html
- tromp 3y agoA 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_largest_number_representable_in_64_bits https://googology.fandom.com/wiki/User_blog:JohnTromp/The_la... [2] https://oeis.org/A333479 https://oeis.org/A333479