4 ms·
Well yes, if you dig far enough into any uncomputable function you'll find something that is a version of the halting problem, by definition. That it's really c
by puffoflogic 4y ago
Well yes, if you dig far enough into any uncomputable function you'll find something that is a version of the halting problem, by definition. That it's really close to the surface here but just deep enough that my answer never self-references or directly references TMs or any property thereof is precisely why I felt it was a good example.
- gnull 4y agoYour 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.