User blog comment:Kyodaisuu/Mashimo function/@comment-1605058-20140706065714/@comment-1605058-20140707090107

It's also unclear to me how standard Turing machine is supposed to work with ordinal functions like a->w_a^CK. Ordinal operations on recursives use Kleene's O, definition of which doesn't require all this diagonalizer and recursive extension crap, making it clearly possible to work with.