Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Yes, but that doesn't mean you can't describe it.

The halting problem is undecidable, but it's really easy to describe the set of programs that halt. I just described it right there!

That quote is talking about defining the set, not determining whether a program is a member of the set (which is indeed impossible in the general case).



Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: