I think it outside of implementability, it provides a nice proof that no algorithm can answer questions like “is the trajectory of this ball in this billiard ev

I think it outside of implementability, it provides a nice proof that no algorithm can answer questions like “is the trajectory of this ball in this billiard eventually periodic.” Of course it (if I am reading correctly) leaves open that an algorithm could exist assuming the wall isn’t fractal