User blog comment:LittlePeng9/First order oodle theory/@comment-172.58.110.254-20161106002709

LittlePeng9 how would the Busy Beaver function be described with formal language? How does the von Neumann universe relate to large numbers?