‘taste’, ′ mathematical beauty’, ′ interesting to mathematicians’ aren’t arbitrary markers but reflect a deeper underlying structure that is, I believe, ultimately formalizable.
It does not seem unlikely to me at all that it will be possible to mathematically describe those true statements that are moreover of particular beauty or likely interest to mathematicians (human, artificial or alien).
The Godel speedup story is an interesting point. I haven’t thought deeply enough about this but IIRC the original ARC heuristic arguments has several sections on this and related topics. You might want to consult there.
‘taste’, ′ mathematical beauty’, ′ interesting to mathematicians’ aren’t arbitrary markers but reflect a deeper underlying structure that is, I believe, ultimately formalizable.
It does not seem unlikely to me at all that it will be possible to mathematically describe those true statements that are moreover of particular beauty or likely interest to mathematicians (human, artificial or alien).
The Godel speedup story is an interesting point. I haven’t thought deeply enough about this but IIRC the original ARC heuristic arguments has several sections on this and related topics. You might want to consult there.