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

Deciding an undecidable problem is well, undecidable. But describing it is clearly not. Otherwise we would not have been able to write about it.


well that is the "beyond computable". we are somehow able to say that this function will not halt, and we wouldnt be able to do that if we only had computable power to simulate it because that would proove that the probem was decidable in the first place.

how you comunicate it does not alter the nature of the problem.




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: