Вторая основополагающая статья про вычислимость написанная Черчем. И если статья Тьюринга легла в основу императивных языков программирования, то статья Чёрча стала прародительницей функциональных языков программирования. Поразительно, что открытия были сделаны независимо и почти одновременно, при этом имея под собой одинаковые основания.