• 0 Posts
  • 25 Comments
Joined 1 year ago
cake
Cake day: June 30th, 2023

help-circle

















  • Here are two groups of claims I disagree with that I think you must agree with

    1 - brains do things that a computer program can never do. It is impossible for a computer to ever simulate the computation* done by a brain. Humans solve the halting problem by doing something a computer could never do.

    2 - It is necessary to solve the halting problem to write computer programs. Humans can only write computer programs because they solve the halting problem first.

    *perhaps you will prefer a different word here

    I would say that:

    • it doesn’t require solving any halting problems to write computer programs
    • there is no general solution to the halting problem that works on human brains but not on computers.
    • computers can in principle simulate brains with enough accuracy to simulate any computation happening on a brain. However, there would be far cheaper ways to do any computation.

    Which of my statements do you disagree with?