are logically sound. This how all discoveries are done, different people trying different techniques to attack the same problem again and again. There is not way to tell if this process will ever stop, if it stop, the result is either yes, or no. This is exactly how Turing machine will work.