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

No. The busy beaver function grows faster than any computable function.

What's more, for any N > 549, you cannot prove (in the usual universe of mathematics) that any computable number is equal to or larger than BB(N). (At least that's my understanding of the independence results (https://wiki.bbchallenge.org/wiki/Independence_from_ZFC))



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

Search: