Will the BB(7) machine be known by 2100?
Basic
4
Ṁ95
2101
24%
chance

Will we have a proof that an explicit 2-symbol 6-state Turing Machine is the machine that runs for BB(7) steps before halting?

Knowing the exact value of BB(7) might be challenging; it is a very large number, at least 10↑↑15 (a current BB(6) lower bound). It would be impossible to write it down in normal base 10 notation. Bounds using Knuth's up-arrow notation or similar approaches might be loose bounds rather than exact values of BB(7).

For this question, all that is required is that a machine that runs for BB(7) steps be explicitly determined. The machine must be proven to halt, and proven that no other 2-symbol 7-state machine runs for longer. An explicit upper bound or exact value need not be proven.

https://en.wikipedia.org/wiki/Busy_beaver#Exact_values_and_lower_bounds

/EvanDaniel/will-the-bb6-machine-be-known-by-20

/BoltonBailey/will-the-5state-busy-beaver-be-know

/IsaacKing/will-the-exact-value-of-busy-beaver

Get
Ṁ1,000
and
S3.00
Sort by:

Would love if these had month-by-month markets that work as a tracking mechanism on progress in the research and development to get a look at the microtrends, bottom-up. Love this market but i'd love incentive to bet, and deep dive. :)

© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules