User blog comment:KthulhuHimself/Ordinal Arithmetic Notation (OAN)/@comment-35470197-20191112141154/@comment-35470197-20191128134412

The point is that Turing machines do not have ability to deal with actual ordinals and \(\in\)-relations.