Por este motivo tanto la tesis de Turing como la de Church son similares, al fin vienen a decir lo mismo, y se fusionan: La tesis de Turing afirma que el conjunto de las funciones computables coincide con el número de las funciones que puede calcular la máquina de Turing.