בתשובה לשועל, 14/07/05 20:23
 |
|
 |
||
|
||||
 |
מה שאורי אמר: זו בדיוק הנקודה. הדרישה היא שאוסף המשפטים היכיחים יהיה RE, אחרת המערכת די ממש לא שווה שום דבר. בשביל זה דרוש שנקודת המוצא וכללי המעבר יהיו R. כל הקטע במשפטים של צ'רץ', טיורינג', טרסקי וגדל הוא שה-RE הזה הוא באמת לא R. |  |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |