Are the Busy Beaver numbers independent of mathematics?