Your example has nothing to do with geometry, it's incomputable because of encoding you use for real numbers. There isn't anything special about diagonal line t

Your example has nothing to do with geometry, it's incomputable because of encoding you use for real numbers. There isn't anything special about diagonal line that makes it incomputable. I only skimmed the linked article very quickly, it seems to actually construct special shapes which that make it incomputable, not the encoding they chose. Your example is fun, I'm not against it. What I'm trying to say is that there's different ways to be geometric for an incomputable problem.