User blog comment:Denis Maksudov/M-notation (new version)/@comment-10262436-20160620212735/@comment-10262436-20160621132310

I know the blog you are referring to. 'Blogs' usually do not contain verified work. The 'pages' on the googology wiki should all be ok and verfied.

In the blog you refer to, there are many comments by various people discussing issues with the content, and Wythagoras makes a comment agreeing there are problems.

I think additional defining rules are required for any ordinal greater than f_w(w), e.g. f_{w+1}(w), because you get contradictions like:

f_w(w+1) = f_{w+1}(w+1)

if you naively diagonalise w[n] where n = w+1