The debate began when Church proposed to Gödel that one should define the "effectively computable" functions as the λ-definable functions.
Дискуссия началась, когда Чёрч предложил Геделю определить «эффективно вычислимые» функции как λ-определимые функции.