Возможность построения вычисляющей машины Тьюринга для функции, которую можно каким-либо способом определить - основной смысл тезиса Черча. Тождественные преобразования в элементарной алгебре или в логике предложений - пример "нечисловых вычислений".
При низкой оригинальности работы "Тезис Черча и его значимость. Элементарные шаги. Вычисления с помощью современных вычислительных машин", Вы можете повысить уникальность этой работы до 80-100%
