In reply to a developer on one of the Linux kernel mailing lists, Linux creator Linus Torvalds firmly put a foot down to push back against anti-AI 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.
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.