בתשובה להאייל האלמוני, 08/01/07 8:16
 |
|
 |
||
|
||||
 |
אתה יכול לתת דוגמא למודל שבו בעית העצירה מוגדרת ואינו שקול למכונת טורינג? זה מזכיר לי משהו: ההוכחה של אי קיום מ"ט שפותרת את בעית העצירה היא מאד קצרה ואלגנטית, *אחרי שיודעים שיש מ"ט אוניברסלית*. גדי לא התעכב הרבה על הנקודה הזו: הפואנטה האמיתית היא קיום מ"ט אוניברסלית, כלומר שניתן לקדד מ"ט כך שניתן להריץ אותה על מ"ט אוניברסלית. יש כאן דימיון יפה למשפט אי-השלמות של גדל: גם שם ההוכחה עצמה היא קצרה ופשוטה אבל הנקודה העיקרית היא שאפשר לתאר את המושג "קיימת הוכחה" בעזרת השפה, ןזה הרבה יותר קשה וטכני. |
 |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש והצהרת נגישות
|
© כל הזכויות שמורות |