BB(10) > Graham's Number
Busy beaver work: an 8-state machine running the BB(7) champion's program with 36 digits (sigma = 12*(2^^37 3)+59, machine-checked in busycoq), analysis in Ligocki's notation - jeff87654/bu...
Summary
A busy beaver machine has been analyzed, showcasing a program that operates with 36 digits and performs complex calculations. The findings are presented in Ligocki’s notation, offering insights into the capabilities of this 8-state machine.
Comments (46 of ) ⌛