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.
I don’t think humans can solve the undecidable problems. If I understand them correctly, they’re like a law of nature; extends into mathematics, logic, and any formal system (e.g. Godel’s Incompleteness Theorem).
I didn’t mean humans can solve ALL undecidable problems. As I have written in me reply to wicked, a programmer usually writes loops and the turing machine cannot decide their halting, for a vast majority of them.
I don’t think humans can solve the undecidable problems. If I understand them correctly, they’re like a law of nature; extends into mathematics, logic, and any formal system (e.g. Godel’s Incompleteness Theorem).
I didn’t mean humans can solve ALL undecidable problems. As I have written in me reply to wicked, a programmer usually writes loops and the turing machine cannot decide their halting, for a vast majority of them.