Si es posible garantizar que la tesis de Church-Turing es correcta y, además, estamos seguros de que es así entonces: