Статья
Теория вычислимости: машина Тьюринга, лямбда-исчисление, проблема остановки
Что значит «вычислимо»: машина Тьюринга со строгим определением и работающим симулятором, лямбда-исчисление с нумералами Чёрча и комбинатором неподвижной точки, тезис …