בתשובה להאייל האלמוני, 12/06/08 11:50
 |
|
 |
||
|
||||
 |
...וכפי שרואים, את אותה ההוכחה בדיוק אפשר להחיל על כל מודל חישובי באשר יהיה, כל עוד הוא תומך במספר פעולות בסיסיות (כמו "היכנס ללולאה אינסופית" או "קרא לתוכנית A עם קלט X"). מכאן שהטענה "לא ניתן לפתור את בעיית העצירה" היא רחבה מאוד (כלומר, אינה תקפה דווקא למכונות טיורינג) ואין לה צורך להסתמך על התיזה של צ'רץ'-טיורינג. |  |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |