Are the Busy Beaver numbers independent of mathematics? | Dark Hacker News