I agree: Hofstadter’s concept of the strange loop is not a specification that can be directly implemented, and recursion can be vexing but is not necessarily strange. Hofstadter is pointing at something interesting that is yet to be formalized.

→ View original post on X — @plinz