בתשובה לגדי אלכסנדרוביץ', 14/07/05 10:59
מעניין ומחכים 316728
זה לא מדוייק; אפשר לראות במשפט טיורינג על בעיית העצירה ואריאציה קרובה על משפט גדל, והוא אכן יותר כללי כי הוא אינו קשור למערכת אקסיומטית מסויימת. אחת הסיבות שגדל דיבר על מערכת ספציפית במאמרו ולא על מערכות פורמליות באופן כללי היא שטיורינג עוד לא הספיק להגדיר את המושג "אפקטיביות". ב-‏1963 טרח גדל לפרסם הערה למאמרו המקורי מ-‏1931, ובה הוא אומר בערך כך: "בעקבות העובדה שעבודתו של א. טיורינג מאפשרת להגדיר במדוייק ובאופן כללי את המושג 'מערכת פורמלית', אפשר כעת לתת גרסה כללית לחלוטין של משפט VI ומשפט XI" (אלו הם המשפט הראשון והמשפט השני שלו, בהתאמה).

(כן).

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים