מה לא יכול המחשב לעשות

בתשובה לראובן, 14/12/06 13:33

בעית העצירה

424508

גדי אלכסנדרוביץ' • בתשובה לראובן

יום ה', 14/12/2006, 13:40

לא. אין צורך במשפט גדל כדי להראות שבעיית העצירה לא כריעה. מה שכן אפשר לומר הוא שאלמלא משפט גדל, ייתכן שטיורינג לא היה מוכיח את המשפט בזמן ובמקום שבו הוכיח אותו.

בעית העצירה

424509

ראובן • בתשובה לגדי אלכסנדרוביץ'

יום ה', 14/12/2006, 13:40

כן, לזה התכוונתי.

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

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש והצהרת נגישות	© כל הזכויות שמורות