בתשובה לאלון עמית, 21/06/05 18:45
 |
|
 |
||
|
||||
 |
האם מכונת טיורינג יכולה לדעת משהו שלא ניתן להוכחה? האם הדרך שבה אתה יודע משהו דומה לדרך שבה מכונת טיורינג "יודעת" משהו? אם אתה רוצה לעשות לעצמך רדוקציה למכונת טיורינג, מה המקבילה של "ידיעה"? מה המקבילה של "הנחה"? |  |
 |
 |
|
|
|
||
|
||||
|
אנא, הקל על עצמך ותפסיק לחשוב על מ"ט בהגדרתן המקורית. חשוב על אדם העשוי (נניח) מרכיבים אלקטרוניים (טיורינגיים למהדרין) ונוצר עם כמות זעומה של ידע (כמו תינוק) וכושר לימוד ענקי (כמו תינוק). כשתפגוש אותו בגיל שבע-עשרה ותשאל אותו מה הוא יודע, הוא יענה שהוא יודע שהשמש זורחת כל בוקר ושמספר ראשוני הוא סכום של שני ריבועים אם ורק אם הוא לא משאיר שארית 3 בחלוקה ל-4. האם הוא יכול להוכיח זאת? בדיוק כמוך וכמוני - כן, תחת הנחות מסויימות. האם הדרך שבה הוא יודע משהו דומה לדרך שבה אני יודע משהו? אני סבור שכן, אבל בעיקר אני סבור שלשאלה אין מובן. האם הדרך שבה אתה יודע משהו דומה לדרך שבה אני יודע משהו? המקבילה של "ידיעה" היא "ידיעה". המקבילה של "הנחה" היא "הנחה". |
|
|
|
|
|
|
||
|
||||
|
תאמין לי שאני עושה הכל כדי להקל על עצמי. והכל נותר קשה. האם מכונת הטיורינג החדשה שלך ניתנת לביטוי כמערכת פורמאלית? |
|
|
|
|
|
|
||
|
||||
|
באיזה מובן? יש הרבה קשרים בין מכונות טיורינג למערכות פורמליות. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |