On: Dear Julia, Dear Yuri: A mathematical correspondence (2022)

[isotropy]

In fact, according to the Esolang Wiki [https://esolangs.org/wiki/List_of_ideas#Mathematics] , Gregory Chaitin apparently has built a Diophantine equation whose parameters encode an entire Lisp interpreter.