Hacker News Reader

Reaching a "reasonably close" upper bound estimate wouldn't provide proof ... probability maybe, but not proof.

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.

Reply on news.ycombinator.com