Re:BusyBeaver(6) Is Quite Large
by thaumasiotes on Sunday June 29, 2025 @12:56PM
(#44414530)
What are a and b?
[ Parent
| on HN ]
Re:BusyBeaver(6) Is Quite Large
by josephcsible on Monday June 30, 2025 @04:01PM
(#44427228)
Does it matter? My reading is basically "if you have two distinct candidates, isn't that a way to always disprove at least one of them?"