The 8000th Busy Beaver number eludes ZF set theory: new paper by Adam Yedidia and me

scottaaronson.blog

saved by: 0 people
related read on: busy-beaver/BB10/1RB0RA_1LC1LF_1RD0LB_1RA1LE_1LI0LC_0RG1L... from the discussion