• Evinceo@awful.systems
    link
    fedilink
    English
    arrow-up
    5
    ·
    1 year ago

    Nobody tell these guys that the control problem is just the halting problem and first year CS students already know the answer.

    • David Gerard@awful.systemsM
      link
      fedilink
      English
      arrow-up
      5
      ·
      1 year ago

      remembering how Thiel paid Buterin to drop out of his comp sci course so he spent all of 2018 trying to implement plans for Ethereum that only required that P=NP

    • kuna@awful.systems
      link
      fedilink
      English
      arrow-up
      4
      ·
      1 year ago

      On a similar note, Yud’s decision theory that hinges on an AI (presumably a Turing Machine) predicting what a human (Turing-Complete at the least) does with 100% accuracy.

      • self@awful.systemsM
        link
        fedilink
        English
        arrow-up
        3
        ·
        1 year ago

        …huh. somehow among all the many things wrong with TDT, I never cottoned to the fact that it just reduces to the halting problem

        are rats just convinced that Alan Turing never considered what if computer but more complex? cause there’s a whole branch of math dedicated to computability regardless of the complexity of the computation substrate, and Alan helped invent it. of course they don’t know about this because they ignore the parts of computer science that disagree with their stupid ideas

        • kuna@awful.systems
          link
          fedilink
          English
          arrow-up
          3
          ·
          1 year ago

          Actually I might have done goofed with that one; now that I think of it, if you assume some jackoff amount of computing power then a human brain (assuming nothing uncomputable happens there, so sad Penrose noises) could be simulated from first principles for a limited amount of time, no actual proof of possible future outcomes needed. This still leaves the problem of how exactly do you get all the data for that (and I think any uncertainity would require an exponential increase in paths you have to simulate), especially without killing the human in question.