בתשובה לגדי אלכסנדרוביץ', 21/06/05 18:55
 |
|
 |
||
|
||||
 |
"התשובה נובעת מה*הגדרה* של המושג "ניתן לחשב"" - זו בערך "התזה של צ'רץ"', שהציע להגדיר את המושג "ניתן לחשב" בתור "דבר שמכונת טיורינג יכולה לעשות". ה*תזה* של צ'רץ', ולא המשפט או ההנחה של צ'רץ', כי אין פה מה להוכיח ואין פה מה להניח. זו הגדרה שימושית ותו לא. |  |
 |
 |
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |