Enderton goes on to list several clarifications of these 3 requirements of the procedure for a computable function: The procedure must theoretically work for arbitrarily large arguments.
يستمر إندرتون بسرد توضيحات مختلفة لهذه المتطلبات للإجراء لدالة قابلة للحساب: الإجراء يجب أن يعمل نظرياً للمناقشات الكبيرة بشكل تعسفي .