undecidability Definition and 1 Threads

I have just looked through https://arxiv.org/abs/2305.07331 by the physicist Prof. Dr. Claus Kiefer (Institut für Theoretische Physik; Universität zu Köln, Germany) . The reason I am putting this in the logic thread instead of a physics thread is as follows. It appears to me that the...