Como resultado se postuló la Tesis de Church-Turing.