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

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

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

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

המקבילה של "הנחה" היא "הנחה".
בקיצור 311186
תאמין לי שאני עושה הכל כדי להקל על עצמי. והכל נותר קשה.

האם מכונת הטיורינג החדשה שלך ניתנת לביטוי כמערכת פורמאלית?
בקיצור 311393
באיזה מובן? יש הרבה קשרים בין מכונות טיורינג למערכות פורמליות.

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים