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

This approach leaves open the possibility that f(x) = BB(p+d) right?


No, because f is assumed to be computable from the start, which BB is not (otherwise it could be used as a subroutine in a program that solves the halting problem).




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: