Для единства трактования тезиса Чёрча-Тьюринга необходимо уточнение понятия "эффективно вычислимой функции". Существует ли общепринятое определение эффективно вычислимой функции?