Talk:7918

Do we actually need this page? Why don't just add it to the busy beaver function article? Furthermore, there's a possibility that the n such that BB(n) cannot be calculated in ZFC might decrease in the future, rendering this article useless. -- ☁ I want more clouds! ⛅ 11:54, May 12, 2016 (UTC)