בתשובה לעדי סתיו, 14/12/06 13:31
בעית העצירה 424504
ראובן • בתשובה לעדי סתיו יום ה', 14/12/2006, 13:33
לחשוב על עוד דוגמאות למה? אגב, אם כבר, משפט טיורינג מבוסס על גדל, לא?
בעית העצירה 424508
גדי אלכסנדרוביץ' • בתשובה לראובן יום ה', 14/12/2006, 13:40
לא. אין צורך במשפט גדל כדי להראות שבעיית העצירה לא כריעה. מה שכן אפשר לומר הוא שאלמלא משפט גדל, ייתכן שטיורינג לא היה מוכיח את המשפט בזמן ובמקום שבו הוכיח אותו.
בעית העצירה 424509
ראובן • בתשובה לגדי אלכסנדרוביץ' יום ה', 14/12/2006, 13:40
כן, לזה התכוונתי.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות