• barsoap@lemm.ee
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    12 hours ago

    But humans can solve undecidables.

    No, we can’t. Or, more precisely said: There is no version of your assertion which would be compatible with cause and effect, would be compatible with physics as we understand it.

    Don’t blame me I didn’t do it. The universe just is that way.

    • dustyData@lemmy.world
      link
      fedilink
      English
      arrow-up
      1
      ·
      12 hours ago

      Yet we live in a world where millions of humans assert their will over undecidables every day. Because we can make irrational decisions, logic be damned. Explain that one.

      • barsoap@lemm.ee
        link
        fedilink
        English
        arrow-up
        1
        ·
        12 hours ago

        That’s not deciding anything in the information-theoretical sense. We rely a lot on approximations and heuristics when it comes to day to day functioning.

        You can’t decide the halting problem by saying “I’ll have a glance at it and go with whatever I think after thinking about it for half a second”. That’s not deciding the problem that’s giving up on it and computers are perfectly capable of doing that.