Hacker News new | ask | show | jobs
by roywiggins 761 days ago
I think this is quite possible, but it doesn't imply that the strong Church-Turing thesis isn't true: brains could still be Turing equivalent to computers, in that neither would be able to solve the halting problem for the other (at least insofar as humans have a "halting problem", which maybe we don't, but you could formulate other things like predicting behavior, which in standard computation is also Turing complete usually)

Since humans don't seem to be particularly good at solving the halting problem even for very small TMs, it doesn't seem that likely to me that we are categorically stronger at it than computers, whether our cognition is truly "computation" or not.