Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
A Solution to the Halting Problem (nickdrozd.github.io)
1 point by nickdrozd on May 6, 2022 | hide | past | favorite | 1 comment


Whenever you hear something like “this algorithm can sort an array in time O(N^3/2)” somebody proved that particular algorithm halts.




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: