|
||||
|
||||
אני לא יודע. מצד אחד, אני לא צריך לקחת קורס בחישוביות כדי לדעת שלזהות האם מכונת טיורינג, גם פשוטה ביותר, עוצרת על כל קלט זו משימה קשה מאוד. מצד שני, ההוכחה שאין מכונת טיורינג שפותרת את בעיית העצירה (לפחות מה שאני זוכר) מתבסס על כך שבעיית העצירה מנוסחת על מכונות טיורינג, ולכן המכונות לא מסוגלות לפתור אותה אלא צריך ''לצאת מחוץ למערכת'' בשביל זה. ואם קשקשתי כאן שטויות, מה שסביר למדי, אני אחכה עד הקורס בחישוביות לפני שאמשיך לדבר על זה. |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |