this post was submitted on 16 Jul 2026
125 points (96.3% liked)
Linux
14388 readers
90 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
I didn't see 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.