Tupper did eventually make a genuinely self-referential formula. Trávník has made a very impressive one with a smooth typeface. https://jtra.cz/stuff/essays/mat

Tupper did eventually make a genuinely self-referential formula. Trávník has made a very impressive one with a smooth typeface. https://jtra.cz/stuff/essays/math-self-reference-smooth/index.html https://jtra.cz/stuff/essays/math-self-reference-smooth/inde...