ما هو التقليل (function-وظيفة) في شخص عادي تيمس?

Question

في علوم الكمبيوتر function-تستخدم الوظيفة لتوسيع مجموعة من الوظائف العودية البدائية إلى وظائف العودية بشكل عام ، ولا يمكنني فهم ما تفعله هذه الوظيفة.

هناك الكثير من الصيغ ، لكنني لا أستطيع أن أفهم ما هو.لنفترض أنني أكتب بلغة بايثون (أو أي لغة أخرى للأغراض العامة).ما هي الأمثلة على function-وظيفة إيرل?

Answer 1

هذا هو التقليل في بايثون:

def mu(p):
    n = 0
    while not p(n):
        n += 1
    return n

بل هو ممارسة أكثر تعقيدا قليلا لتحويل while إلى $\mu$, ، ولكن بشكل أساسي, $\mu$ يقوم بالبحث عن الأول (الحد الأدنى) رقم يفي بشرط معين ، حيث لا يوجد ضمان بأن البحث سينجح.