So your claim is that we can satisfy the requirements thus: (?) while 1, {} Not sure if you meant this, but remember that it is not possible to write a prog

So your claim is that we can satisfy the requirements thus: (?) while 1, {} Not sure if you meant this, but remember that it is not possible to write a program that always gives the correct answer, just in an unpredictably large amount of time.