28 ms·
Reaching a "reasonably close" upper bound estimate wouldn't provide proof ... probability maybe, but not proof.
by drpixie 3y ago
Reaching a "reasonably close" upper bound estimate wouldn't provide proof ... probability maybe, but not proof.
- dllthomas 3y agoIf 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.