User blog comment:Deedlit11/Okay, more Turing machines/@comment-10429372-20130927154129/@comment-6768393-20131008020452

I wonder if we can prove that, for example Σ (23)> fω +1 (googol)?