 |
זה לא מדוייק; אפשר לראות במשפט טיורינג על בעיית העצירה ואריאציה קרובה על משפט גדל, והוא אכן יותר כללי כי הוא אינו קשור למערכת אקסיומטית מסויימת. אחת הסיבות שגדל דיבר על מערכת ספציפית במאמרו ולא על מערכות פורמליות באופן כללי היא שטיורינג עוד לא הספיק להגדיר את המושג "אפקטיביות". ב-1963 טרח גדל לפרסם הערה למאמרו המקורי מ-1931, ובה הוא אומר בערך כך: "בעקבות העובדה שעבודתו של א. טיורינג מאפשרת להגדיר במדוייק ובאופן כללי את המושג 'מערכת פורמלית', אפשר כעת לתת גרסה כללית לחלוטין של משפט VI ומשפט XI" (אלו הם המשפט הראשון והמשפט השני שלו, בהתאמה).
(כן).
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש