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

doesn't this imply it would solve the halting problem?


No, practical programs don't need full Turing completeness. Most programs you want to write you intend to either halt or run indefinitely, because you want to avoid crashes.




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

Search: