this post was submitted on 16 Jul 2026
125 points (96.3% liked)
Linux
14369 readers
287 users here now
A community for everything relating to the GNU/Linux operating system (except the memes!)
Also, check out:
Original icon base courtesy of lewing@isc.tamu.edu and The GIMP
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Backwards jumps are equally decidable for turing machines as for humans. Compiler and static code linters can trace through very complicated code and know that it will or will not halt, and optimize or warn based on the result.
I believe there's nothing special about human computation abilities. Anything that is decidable by a human will be also decidable by a computer.
Please prove me wrong by showing a counter example.
I don't have to prove anything to anyone. Nor I've got the time for this. It's up to you to do your research. I have done mine and shared the results. You can take it or leave it.
I admit I may be wrong so I asked you to show me an example, since you talk with such certainty.
In fact this is an open question so nobody knows, even though most of the researchers believe human computation is equal as far as I know.
In the case I'm wrong on this, we'll know in future :)