User blog comment:Googleaarex/Unlimitable Ordinals/@comment-25418284-20130823215256/@comment-5150073-20130825142220

We can measure our notations by the smallest number of states which are needed to Turing machine to implement the notation.