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.
Hey. The number of problems which can are decidable are infinite as are those which are not. But as soon as there is a backward jump in your code, a Turing machine most likely won’t be able to decide if it’ll halt or not. The while(true) is an exception. In the real world we have a great number of programs whose loops cannot be decided by a Turing machine. But the programmer who has written the code knows when the loop will terminate.
If we see the machine code, if there is a conditional backward jump(unlike while(true) which is unconditional), in the general case it’s undecidable.
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 comremovedtion 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.
Hey. The number of problems which can are decidable are infinite as are those which are not. But as soon as there is a backward jump in your code, a Turing machine most likely won’t be able to decide if it’ll halt or not. The
while(true)is an exception. In the real world we have a great number of programs whose loops cannot be decided by a Turing machine. But the programmer who has written the code knows when the loop will terminate.If we see the machine code, if there is a conditional backward jump(unlike
while(true)which is unconditional), in the general case it’s undecidable.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 comremovedtion 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 comremovedtion is equal as far as I know.
In the case I’m wrong on this, we’ll know in future :)