• corbin
    link
    fedilink
    English
    arrow-up
    8
    ·
    1 年前

    Only the word “theoretical” is outdated. The Beeping Busy Beaver problem is hard even with a Halting oracle, and we have a corresponding Beeping Busy Beaver Game.

    • Soyweiser
      link
      fedilink
      English
      arrow-up
      6
      ·
      1 年前

      Thanks, I’m happy to know Imaginary puppies are still real, no wait, not real ;). (The BBB is cool, wasn’t aware of it, I don’t keep up sadly. “Thus BBB is even more uncomputable than BB.” always like that kind of stuff, like the different classes of infinity).