Como se ha comentado anteriormente, la tesis de Church permite definir un método tanto efectivo como mecánico que se puede utilizar tanto en las matemáticas como en la lógica.