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

Members of the community created many new strong ordinal notations. I was confused by them. at least one of the ordinal notation reached loader c? or we have not reached the second-order arithmetic?