Hacker News new | comments | show | ask | jobs | submit login

Correct. Rice's theorem limits the ability to check a program, e.g. with a compiler.



Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: