155
Linux creator Linus Torvalds puts foot down on anti-AI comments (www.gamingonlinux.com)
submitted 3 weeks ago by to c/linux@programming.dev
80 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 3 weeks ago (1 child)

But that’s what human programmers can do

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).

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 1 point 3 weeks ago* (last edited 3 weeks ago)

    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.

  • permalink
  • fedilink
  • source
  • parent