Y
Hacker News
new
|
ask
|
show
|
jobs
by
drpixie
980 days ago
Reaching a "reasonably close" upper bound estimate wouldn't provide
proof
... probability maybe, but not proof.
1 comments
dllthomas
980 days ago
If we've proved that a number is an upper bound on BB(748), then running for that many steps without halting means it has also run BB(748) steps without halting.
link