Are the Busy Beaver numbers independent of mathematics?
risingentropy.com