בתשובה לד.ק., 21/06/05 19:41
בקיצור 310794
אלון עמית • בתשובה לד.ק. יום ד', 22/6/2005, 1:44
אנא, הקל על עצמך ותפסיק לחשוב על מ"ט בהגדרתן המקורית. חשוב על אדם העשוי (נניח) מרכיבים אלקטרוניים (טיורינגיים למהדרין) ונוצר עם כמות זעומה של ידע (כמו תינוק) וכושר לימוד ענקי (כמו תינוק). כשתפגוש אותו בגיל שבע-עשרה ותשאל אותו מה הוא יודע, הוא יענה שהוא יודע שהשמש זורחת כל בוקר ושמספר ראשוני הוא סכום של שני ריבועים אם ורק אם הוא לא משאיר שארית 3 בחלוקה ל-‏4.

האם הוא יכול להוכיח זאת? בדיוק כמוך וכמוני - כן, תחת הנחות מסויימות.

האם הדרך שבה הוא יודע משהו דומה לדרך שבה אני יודע משהו? אני סבור שכן, אבל בעיקר אני סבור שלשאלה אין מובן. האם הדרך שבה אתה יודע משהו דומה לדרך שבה אני יודע משהו?

המקבילה של "ידיעה" היא "ידיעה".

המקבילה של "הנחה" היא "הנחה".
בקיצור 311186
ד.ק. • בתשובה לאלון עמית יום ה', 23/6/2005, 16:06
תאמין לי שאני עושה הכל כדי להקל על עצמי. והכל נותר קשה.

האם מכונת הטיורינג החדשה שלך ניתנת לביטוי כמערכת פורמאלית?
בקיצור 311393
אלון עמית • בתשובה לד.ק. יום ו', 24/6/2005, 1:56
באיזה מובן? יש הרבה קשרים בין מכונות טיורינג למערכות פורמליות.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות