User blog comment:Wythagoras/My Turing machines/@comment-6768393-20131011224203

Your boundaries for BB should definitely put in an article about the Rado's function.