Los términos derivados de ella, como método efectivo y computable son comúnmente utilizados, cuando en realidad computable se refiere a Turing-computable, en el salto entre uno y otro se encuentra la tesis de Church, y entre muchos otros conceptos y términos comúnmente utilizados en la teoría de la computabilidad o funciones recursivas.