בתשובה לד.ק., 17/07/05 23:59
יופי 317540
אם כך, לא ברור לי למה הכנסת את האלכסון לעניין. בכל מקרה, במתמטיקה אוהבים לדבר על איזומורפיזם של דברים, שפירושו שהם זהים בכל התכונות שמעניינות אותנו (כמובן שהשאלה מה התכונות שמעניינות אותנו נקבעות על פי ההקשר). אם ההבדל בין האדם למכונת טיורינג הוא כזה עדין שאי אפשר אפילו להגדיר אותו במילים, למה בעצם הוא רלוונטי?

יש דיונים שבהם מדברים על הבדלים "קונקרטיים" - לאדם יש קוואליה ולמכונת טיורינג אין. האדם מסוגל לפתור את בעיית העצירה ומכונת טיורינג לא (סתם המצאתי). האדם רואה שהפסוק שעליו מדברים במשפט גדל נכון ואילו מכונת טיורינג לא (כאן זה לא נכון, אם הבנתי את אלון). כל אלו הם הבדלים קריטיים, שיש להם בשר ויש מה לדבר עליהם. אם ההבדל שאתה מוצא בין אדם ומ"ט הוא כל כך עדין שאי אפשר לדבר עליו או לנסח אותו במדוייק, אולי הוא פשוט לא רלוונטי?
יופי 317544
אם הבנתי נכון, אלון טוען גם שגם האדם אינו מסוגל לפתור את בעית העצירה.
ומה שלא הבנתי נשארה השאלה, מה בכלל הקשר בין האדם למ"ט? אולי אתה תצליח להסביר לי?
יופי 317554
כן, כאמור, סתם המצאתי. אני לא חושב שהאדם מסוגל להגיד אפילו אם תוכנה פשוטה מעשה ידיו עוצרת תמיד, ולכן יש לנו תעשייה ענפה של אימות תוכנה.

ברמה הבסיסית, מכונת טיורינג היא נסיון לענות על השאלה "מה ניתן לחשב?" בכך שמספקים מודל שמסוגל לחשב כל מה ש"ניתן לחישוב" (כן, זה עמום, ויישאר כך עד שיבוא מישהו שמבין בנושא או שאני אלמד יותר). העניין הוא, למיטב הבנתי, שמכונת טיורינג יכולה להריץ אלגוריתמים - כלומר, צריך לקבוע עבורה בצורה חדה וברורה מה היא תעשה בכל שלב של החישוב בהינתן קלט מסויים. לעומת זאת, כשאנחנו חושבים על הצורה בה אדם פותר בעיות, נראה לנו שהגישה שלו היא יותר אסוציאטיבית ולא ממש אלגוריתמית, ולכן אולי הוא "מסוגל ליותר".

ברמה היותר פילוסופית, אפשר לנסות ו"לסמלץ" אדם עם מכונת טיורינג. מסתכלים עליו כעל סך של כל הקלטים שלו (מה שנקלט על ידי החושים, למשל) והפלטים שלו, ואפשר לחשוב על המוח כעל מכונה בעלת מספר גדול מאוד של מצבים, ולכן הוא "שקול" למכונת טיורינג. לטיעון הזה יש חשיבות בשאלה האם המכונות יהיו אי פעם אנושיות כמונו - הרי ברובוטים שניצור יהיו מוחות שהם בעצם מחשבים. כאן עולה שאלת הקוואליה.
יופי 317589
כן, יפה, אבל באיזה מובן המוח שלי עושה פעולה "חישובית" כשאני, נניח, ממציאה סיפור לילדים? משחקת באסוציאציות? מסתלבטת על גלידה שוקולד? בקיצור, מה מכונת טיורינג תעשה עם הדברים האלה?
(והאם היא תריב אתי על איזה בחור חתיך שניתקל בו ביחד?)
יופי 317603
המוח שלך מקבל קלט מסוים, ומחזיר פלט כלשהו. הקלט מתקבל (בעיקר) דרך החושים, והפלט מתבטא בתנועת השרירים. למעשה, הוא מחשב פונקציה f כלשהי, שמקיימת:

f(קלט) = פלט

השאלה היא האם יש מכונת טיורינג שמחשבת את אותה פונקציה. אם היא קיימת גם היא תוכל, בנסיבות דומות לאלה שלך, להמציא סיפור לילדים (או לפחות להוציא פלט שמשמעותו הזזת השפתיים כך שהן יגידו מילים מסוימות). באותו אופן היא גם תוכל לשחק באסוציאציות. אם תגרמי לה לקבל את אותו קלט שאת מקבלת מהעצבים שלך כשאת אוכלת גלידה, גם היא תזכה להסתלבט עליה. אם תגרמי לקבל את הקלט שאת מקבלת כשאת נתקלת בבחור חתיך, סביר להניח שתתחיל ביניכן מלחמת עולם.
יופי 317607
זה נחמד מאוד להגיד "פונקציה f כלשהיא", אבל כל עוד לא אמרת מהי, לא אמרת כלום.
יופי 317610
בודאי שאני לא יודע איזו פונקציה. אם הייתי יודע זו הייתה הוכחה לכך שהאדם הוא מכונת טיורינג.

אני אנסה להיות יותר ברור: כשאדם מקבל קלט מסוים (דרך החושים) ומחזיר פלט כלשהו (דרך השרירים) הוא מבצע פעולת עיבוד מסוימת. השאלה היא האם קיימת תוכנת מחשב (או מכונת טיורינג) שיכולה לבצע את אותה פעולת עיבוד. "פונקציה" זה רק שם אחר ל"פעולת עיבוד".
יופי 317613
מצדי, אתה יכול לקרוא לפעולת העיבוד גם ברוניסלב מועלם. מה יעזור לי השם? עדיין לא ברור לי איך נכנסת כאן מכונת טיורינג כלל ועיקר.
יופי 317620
האדם הוא מכונה שמקבלת קלט, מפעילה תהליך עיבוד, ומוציאה פלט.
כל מכונת טיורינג מקבלת קלט, מפעילה תהליך עיבוד, ומוציאה פלט.
*לא* לכל תהליך עיבוד קיימת מכונת טיורינג שמפעילה אותו.
השאלה: האם קיימת מכונת טיורינג שמפעילה את אותו תהליך עיבוד כמו האדם.
אם כן, האדם הוא מכונת טיורינג (שזה כמו להגיד: האדם הוא מחשב).
יופי 317674
גם פרות עושות את זה.
יופי 317691
נכון. באותה מידה אנחנו לא יודעים האם פרה היא מחשב ‏1. אלא שהשאלה הזאת הרבה פחות מעניינת.

1 סביר להניח, לדעתי, ששתי השאלות גם שקולות.
יופי 317699
אם תכיר לי פרה שסבורה שמכונת טיורינג זהה למח שלה, אשתכנע שהשאלות שקולות. אחרת - אין עסקה.
יופי 317701
לא אמרתי שהפרה והאדם הם אותה מכונת טיורינג. רק טענתי שבסבירות גבוהה, שניהם מכונות טיורינג, או שאף אחת מהן אינה מכונת טיורינג. ברור שהאדם קצת יותר מורכב מפרה.
יופי 317704
תיקון קטן וחשוב: כתבת "מכונת טיורינג זהה למוח שלה". זה ניסוח לא מדויק. הטענה היא ש*קיימת* מכונת טיורינג שזהה למוח שלה, *קיימת* מכונת טיורינג (אחרת) שזהה למוח שלי, ו*קיימת* מכונת טיורינג (אחרת) שזהה למוח שלך.
יופי 317711
טוב, שיהיה, "שמכונת טיורינג *מסוימת* זהה למח שלה".
יופי 317724
כלומר, אין שום השלכות לעובדה שהאדם אינו פרה.
יופי 317726
חכה שאני אשליך עליך איזו פרה, ואז נראה...
יופי 317654
למשל, כשאת ממציאה סיפור לילדים את לוקחת רעיונות שכבר קיימים אצלך בראש ואסוציאציות שכבר קיימות אצלך בראש ומרכיבה מהם משהו חדש על פי כללים כלשהם. אפשר לחשוב על זה כעל פעולה חישובית (מורכבת מאוד).

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

כדאי לזכור שבינתיים הקרב הוא לא הוגן. המוח של האדם הוא מורכב הרבה יותר, מבחינה כמותית נטו, מהמחשבים הקיימים. למוח של אדם יש גם שנים רבות ללמוד לפני שמתחילים לצפות ממנו לתוצאות של ממש.
יופי 317685
אבל מה עם הגלידה והחתיך?:)
יופי 317690
הם נובעים מתקלות בפעולה התקינה של המוח. אפשר לקחת מחשב ולהחטיף לו מכות ואז גם הוא ירצה גלידה ואת החתיך (כדי שזה יעבוד בפועל המכות צריכות להינתן בזווית שהיא פתרון של משוואה דיפרנציאלית שהשוליים הללו צרים מלהכיל).
יופי 317695
על איזו תקלה אתה מדבר? אולי המוח לא ממלא את "מטרתו", אבל זה עדיין חלק מאותו תהליך עיבוד.

כמו כן, אנחנו לא מתעניינים בהיותו של האדם מחשב מבחינה פיזית. השאלה היא האם הוא מחשב פונקציה ניתנת לחישוב במכונת טיורינג, שהיא אובייקט מתמטי מופשט ונטול-תקלות.
יופי 317696
התלוצצתי.
יופי 317698
טוב, נכנעתי. מחשב שעובד בעזרת זפטות נאותות נשמע לי אנושי ביותר...
יופי 317692
אם האלגוריתם מקבל את אותו קלט שאת מקבלת מהחושים כשאת אוכלת גלידה ורואה חתיך, הוא יגיב בדיוק כמוך.
יופי 317558
על זה כל הויכוח: יש כאלה שטוענים שהאדם הוא מכונת טיורינג.
מה שבטוח הוא:

(א) אדם הגדיר את מכונת טיורינג (נחש איך קוראים לו, לאותו אדם).
(ב) בהנתן אדם עם דף בגודל אינסופי, וזמן אינסופי, ניתן לסמלץ עליו מכונת טיורינג.
יופי 317562
ניחושים כאלו הם דבר מסוכן: מי שיער את השערת גולדבך, ומי הוכיח את כלל לופיטל?
יופי 317585
נו, ומה התשובה? מי שיער את השערת גולדבך - ומי הוכיח את כלל פיטל? (וגם מהו, לעזאזל?)
כלל לופיטל 317590
(כלל שאומר שכאשר מחשבים גבול של פונקציה שהיא מנה של שתי פונקציות, ושתי הפונקציות במונה ובמכנה שואפות שתיהן לאפס או לאינסוף, אפשר לגזור את שתיהן והגבול ישמר ‏1).

1 וגם בכלל הזה יותר חשוב מה הוא לא אומר, משום שסטודנטים נוטים לעשות הכל לפי כלל לופיטל, גם כאשר הכללים היסודיים של הכלל לא נשמרים.
כלל לופיטל 317593
תודה.
כלל לופיטל 317641
ובגלל ששכחת את הפואנטה - ככל הנראה הכלל הומצא ע''י ברנולי (אחד מהם...)
יופי 317657
את מה שאנחנו מכירים בתור השערת גולדבך שיער דווקא אוילר, במכתב תשובה לגולדבך, אחרי שגולדבך שלח לו מכתב עם השערה חלשה יותר (שנקראת היום ''השערת גולדבך החלשה).

את כלל לופיטל גילה יוהן ברנולי, שהיה המורה של לופיטל, ולופיטל היה הראשון שפרסם אותו (אם איני טועה, זה היה במסגרת עסקה בין השניים לפיה ברנולי ישלח ללופיטל את התגליות שלו תמורת משכורת).

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

(אני מקווה שלא התבלבלתי בעצמי)
יופי 317687
נשמעים לי מאוד לא הוגנים הסידורים האלה. מה גם שהם לא מביאים גאולה לעולם. פדי!
יופי 317956
שמחי שלופיטל לא החליט לגנוז את המשפט ולאסור על השימוש בו.
יופי 317961
נכון. תאר לך שהוא היה מתנגד חריף ל''יש גבול'', וחושש לעודד אותם...
יופי 317582
טוב, עד כה הצליחה תודעתי הזבלולית לקלוט מהו נושא הוויכוח. מה שלא נקלט בה זו הסיבה למחשבה הזאת בכלל: כלומר, למחשבה שהאדם יכול להיות מכונת טיורינג (או להיפך).
יופי 317606
מתמטיקאים פיתחו הרבה מודלים חישוביים אחרים, כמו מכונת טיורינג. התברר שכל המודלים שניתן לתאר באופן סופי יכולים לחשב בדיוק את אותן פונקציות. היום מקובל, בתחום החישוביות, להניח שלעולם לא יהיה מחשב שיוכל לחשב פונקציות שמכונת טיורינג אינה יכולה לחשב. זאת מכיוון ש(ע"פ הנחה זו) לא יכול להתקיים מחשב כזה בעולם הפיזי.

אם כך, מדוע שמוח האדם יהיה טוב יותר מכל מחשב אפשרי?

פילוסופית, הויכוח הוא על השאלה האם _מהותו_ של אדם מסוים ניתנת לתיאור באופן סופי. אם כן, המוח הוא "סתם" מחשב.
יופי 317608
אינני רואה שום סיבה שמח האדם יהיה *טוב* יותר מכל מחשב אפשרי. אבל גם אינני רואה כל סיבה שהוא יהיה דומה לו במשהו.
יופי 317609
אם האדם יכול לעשות כל מה שמחשב יכול לעשות, ומחשב יכול לעשות כל מה שאדם יכול לעשות ‏1, אז מבחינה חישובית האדם והמחשב שקולים.

כשאדם מקבל קלט מסוים (דרך החושים) ומחזיר פלט כלשהו (דרך השרירים) הוא מבצע פעולת עיבוד מסוימת. השאלה היא האם קיימת תוכנת מחשב (או מכונת טיורינג) שיכולה לבצע את אותה פעולת עיבוד. "תוכנת מחשב" זה רק שם אחר ל"פעולת עיבוד".

1 כלומר, אם ניתן לכתוב תוכנת מחשב שתהיה זהה לך, ולהפעיל אותה על רובוט שיהיה זהה לגוף שלך, והיא תפעל בדיוק כמוך.
יופי 317612
המשפט הראשון ברור, אבל הוא לא מסביר כלום.
המשפט השני בעייתי - מדוע הפלט חייב להיות דרך השרירים? והאם - ומדוע - הפלט צריך להיות יחיד? (כלומר, פלט *מסוים* אחד).
והאם (1) איננו הנחת המבוקש?
יופי 317622
משמעות המשפט הראשון: אם ניתן לבנות תוכנת מחשב שתהיה זהה לאפרים יצחקי - אז למעשה, אפרים יצחקי הוא מחשב. הדיון הוא על השאלה האם ניתן לבנות תוכנת מחשב כזו (או מכונת טיורינג, זה אותו דבר).

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

הערה ‏1 הייתה הכרחית כדי להגדיר מהי "תוכנה שזהה לאפרים יצחקי".
יופי 317676
ב''פלט יחיד'' התכוונתי, למה דווקא נענוע הראש ולא כניסה לדיכאון עמוק.
יופי 317693
אני לא בטוח אם דיכאון הוא חלק מהפלט, או שהוא פשוט חלק מתהליך העיבוד. נניח לצורך העניין שהוא פלט. אז הרמת היד, נענוע הראש והכניסה לדיכאון עמוק הם כולם חלק מאותו פלט. זה פשוט הרבה יותר נוח להסתכל על זה ככה.

יש גם הרבה מכונות טיורינג שמוציאות פלט מפוצל: שני מספרים, נניח.
יופי 317703
לא, לא, התכוונתי - למה דווקא דיכאון עמוק ולא שרבוט מהיר של "הר הקסמים" או המצאה של "השערת האלמונית" שתזעזע את העולם המתמטי ולא תשאיר ממנו גולדבך על גולדבך?
יופי 317706
את השאלה שלך ניתן לפרש בשני אופנים:

(א) הבדלים בין אדם אדם: אני ואת לא אותה מכונת טיורינג (אם אנחנו בכלל מ"ט), ולכן באותה סיטואציה נפעל באופן שונה.

(ב) הבדלים בין התנהגויות של אדם בזמנים שונים: ראשית, אני חייב לציין שאין שום הוכחה שאותו אדם ינהג אחרת עבור אותו קלט (מצב) בזמנים שונים. לא שמעתי על אדם שחווה פעמיים *בדיוק* את אותה חוויה חושית. אנחנו לא יכולים להתחייב שחוויות "דומות" אינטואיטיבית יניבו תוצאות "דומות". לא כל פונקציה היא בעלת התכונה הזאת. שנית, גם אם אדם היה חווה את אותו קלט חושי פעמיים, אך היה זוכר בפעם השנייה את הפעם הראשונה, זה היה משפיע על ההתנהגות שלו - כי הזיכרון הוא חלק מהקלט. נקודה שלישית: כבר ציינתי במספר תגובות שאני רואה משתנים אקראיים פיזיולוגיים בגוף ואף במוח כחלק מהקלט, כי הם "חיצוניים".
אם משתמשים בהגדרה הרחבה שלי ל"קלט", אולי האדם יוציא תמיד את אותו פלט על אותו קלט.
יופי 317581
זו לא התיזה של אלון, זו התיזה של צ'רץ'.
יופי 318431
התשובה לשאלה ''האם האדם הוא מ''ט'' לא תימצא ע''י העמדה של האדם ושל המכונה צד לצד ומציאת הבדלים ביניהם. אני חושב שצריך ללכת בדרך אחרת. מ''ט זה יצור מתימטי. האדם (על פניו) לא. היות האדם מ''ט תלוי בהיותו מכאניסטי. פירושו של אדם מכאניסטי הוא שניתן לתת תיאור פורמאלי שלם שלו. כלומר, לבנות מערכת פורמאלית שלמה (ועקבית) שהאדם הוא האינטרפרטציה שלה. זה נראה לי בלתי-אפשרי משום משפט גדל.
כלומר, לא בגלל שיש איזשהו הבדל בתיאור שלנו את האדם לבין תיאור שלנו את המכונה, אלא שתיאור שלנו את האדם לעולם לא יהיה שלם.
יופי 318434
אין שום קשר בין תיאור פורמלי שלם של איזו מ''ט לבין שלמות של מערכת פורמלית ששקולה לה (מה שזה לא יהיה).
יופי 318435
תוכל להסביר למה היות האדם מ"ט תלוי בכך שהוא יהיה מודל למערכת לוגית שלמה ועקבית? זו הנקודה שבה איבדתי אותך, אולי כי אני לא מכיר את הקשר שבין שני המושגים - מכונת טיורינג ומערכת לוגית שלמה ועקבית.
יופי 318447
אם אתה רוצה לבנות מ"ט-אדם, אתה צריך לדעת איך לתכנת אותה, לא? אתה צריך (להיות מסוגל) לדעת מה יקרה בה מכל מצב שלה. זה שקול למערכת פורמאלית שמתארת את ההתנהגות שלה. משפטים במערכת הזאת יכולים להיות "בהינתן קלט חושי P (עוגת קצפת), המכונה תעשה Z (תשלח יד ותזלול), "במערך נסיבות C, המכונה תכתוב את סימפוניה S".
המתכנת אולי לא חייב לדעת בפועל את כל המשפטים המתארים את התנהגותה של המערכת, אבל בהכרח ניתן להגיע אליהם בדרך של חישוב אפקטיבי.
יופי 318452
אני לא בטוח שהאמירה "זה שקול" אכן נכונה, אבל אין לי מספיק ידע פורמלי כדי לקבוע את זה. תזכור שבכל זאת, מערכת לוגית זה לא בדיוק אלגוריתם.

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

בוא ננסה גישה אחרת שאולי אני אבין: איך מכונת טיורינג מוגבלת על ידי משפט גדל?
יופי 318473
מערכת לוגית שמתארת את האדם תכיל מידע לא רק על הפעולות הפיזיות שהוא מבצע אלא גם על כל מצביו הנפשיים, לא? (נעזוב קוואליה בצד לרגע).
יופי 318477
כן. למעשה, דומני שהמוח (אתה מסכים שהמצבים הנפשיים הם פונקציה של המוח?) הוא האובייקט היחיד שבו באמת מתעניינים בשאלות כמו "האם האדם הוא מכונת טיורינג", ולא היכולת של האדם לעשות קליק בעזרת האגודל.
יופי 318491
כמובן שזה קשור. מבחינת האדם הפעולה הפיזית לא חשובה כ''ך. השאלה היא אם הוא עשה קליק כדי להזמין מלצר או כי הוא שכח לקנות חלב, לא הקליק עצמו.
יופי 318496
אוקיי. אם יש בינינו הסכמה, לאן אתה חותר?
יופי 318499
אני חותר (מעייף לחתור נגד הזרם) לזה שלא ייתכן תיאור שלם ואפקטיבי של נפש האדם, ושמ''ט תלוייה בתיאור שלם ואפקטיבי של הדבר שאותו היא מדמה, ולכן לא תיתכן מ''ט שהיא זהה לנפש האדם.
יופי 318502
את זה כבר הבנתי, אבל טרם הבאת את הבשר: מה בדיוק יש באדם שבגללו אי אפשר לתאר אותו עם מכונת טיורינג? אני אפילו לא משוכנע שאי אפשר לתאר את האדם באמצעות מערכת שתהיה גם שלמה וגם עקבית, והנה באים המתמטיקאים בדיון הזה ועל פי מה שהם כותבים אני מקבל את הרושם שאולי לא חייבים את זה בכלל.
יופי 318830
אמרתי שלא ניתן לתאר את האדם תיאור שלם ואפקטיבי. הסיבה לזה היא שתיאור כזה בהכרח יהווה מערכת פורמאלית חזקה מספיק כדי שמשפט גדל יחול עליה. זאת משום שהתיאור של האדם יכלול גם תיאור של התיאור, שהרי האדם הוא המתאר. אם האדם הוא אמנם מ"ט, אז הוא לא מכונה שיכולה לתאר את עצמה.

מאילו תגובות אתה מקבל את הרושם שלא חייבים תיאור שלם, עקבי ואפקטיבי כדי להמציא מ"ט-אדם?
יופי 319017
למשל, תגובה 318434.

אני חושב שהדיבורים על "תיאור" הם שמבלבלים אותי, ובלי הבנה יותר טובה של מהו תיאור אתקשה להמשיך. תיאור של מכונת טיורינג אני מכיר: אוסף מצבים, הכללים של המעבר בין המצבים ושל מה שעושים עם הסרט האינסופי. גם תיאור של מערכת לוגית אני מכיר: שפה, אקסיומות, כללי גזירה. כשאתה מדבר על תיאור של האדם לא ברור לי למה אתה מתכוון ואיך לדעתך תיאור כזה אמור להיראות - ומה זה בדיוק אומר שה"תיאור יכלול תיאור של התיאור". הרי, למשל, תיאור של מכונת טיורינג לא מכיל גם תיאור של הקלטים שלה - הוא מכיל תיאור של המנגנון שבאמצעותו ניתן לקבל את הקלטים. אני יכול לקרוא תיאור של מכונת טיורינג שמחזירה את כל המספרים הראשוניים עד מיליון, ולא להבין מהתיאור הזה מהם אותם מספרים. כדי לדעת מהם אותם מספרים, אצטרך *להריץ* את מכונת הטיורינג.
יופי 319048
בוא נדלג שניה לקו מקביל. בתגובה 318481 נתתי דוגמה לתיאור של העולם ע"י מערכת פורמאלית של הפיזיקה. המסקנה שאני מסיק ממשפט גדל היא שתיאור כזה הוא בהכרח לא שלם. אם הוא לא שלם אז כנראה שהעולם אינו פיזיקליסטי, כלומר לא ניתן להסבר מלא ע"י פיזיקה. מה דעתך?
יופי 319052
אני לא בטוח שאני מבין את משמעות "ניתן לתיאור שלם" או "ניתן להסבר מלא". שאלה שהתשובה עליה תוכל לעזור לי להבין היא זו: האם למערכת שלמה, עקבית ואפקטיבית קיים מודל יחיד? אם התשובה שלילית, אז אני מתקשה לראות איך המערכת "מתארת" את המודל בצורה "שלמה", הרי קיים עוד מודל שונה ממנו שאותו מתארת המערכת.
יופי 319064
זו נקודה מעניינת, אבל אני לא רואה למה התיאור שמתארת מערכת עם שני מודלים אפשריים יהיה לא מלא. הרי כל משפט שנכון לגבי הדבר שהיא מתארת, נכון גם בה, ולהיפך. כלומר, אין שום פרט שאתה לא יודע בנוגע לדבר הזה.
אם המערכת היא שלמה גם ביחס למודל אחר, אז אולי המודלים האלה איזומורפיים? (שזו מחשבה מעניינת בפני עצמה. יכול להיות שהמערכת שמתארת את האדם והמערכת שמתארת את העולם הן אותה מערכת רק באינטרפרטציה אחרת? ביהדות קוראים לעולם - אדם גדול, ולאדם - עולם קטן)
יופי 319066
בלי תשובה מתמטית לשאלה אני לא חושב שאוכל להמשיך את הדיון. אני *חושב* שהתשובה היא שלילית: יכולים להיות קיימים כמה מודלים *מעוצמות שונות* ולכן הם לא איזומורפיים (אני חושב שזה כבר נדון איפה שהוא כאן) אבל אני לא בטוח כי אני לא מתמטיקאי.

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

לכאורה זה משחק לטובתך: זה רק מראה שמערכת פורמלית לא מצליחה לתאר "ממש" את המודל שלה. מצד שני, נשאלת השאלה מה המידע שאנחנו בעצם מפסידים בכך שהתיאור הוא לא "ממש", והאם הוא רלוונטי לנו בכלל. לכן השאלה היא מהו לדעתך "תיאור" של משהו, ואיזה דרישות אתה מצפה שהוא יקיים - ואז צריך לשאול האם דבר כזה יכול להיות קיים בכלל.
יופי 319624
אני נאלץ לנטוש את הדיון בשלב זה. תעשו חיים. ניפגש בהזדמנות אחרת.
יופי 319085
חשבתי שהמאמאר הבהיר שאין מערכת שלמה עקבית ואפקטיבית (ואריתמטית). בכל מקרה, היות מערכת שלמה (שאר הדרישות פחות רלוונטיות) לא מבטיח קיום מודל יחיד. כמו שכתבת, אם לתורה יש מודל אינסופי אז יש לה מודל מכל עוצמה ובפרט יש כאלו שאינם איזומורפיים. שאלה מענינת לפעמים היא האם לתורה מסוימת יש מודל יחד מעוצמה נתונה - אם כן אומרים שהיא קפה (קאפה? קפא? קאפא? קפא"פ?)-קטגורית. ממשפט גדל נובע ששלמות היא תנאי הכרחי לקטגוריות.
עכשיו כשאני חושב על זה, לא ברור שתורה אריתמטית יכולה בכלל להיות קטגורית, אפילו אם היא שלמה (ולכן לא אפקטיבית). אני צריך לחשוב על זה קצת.

בכל מקרה, אם יש לתורה יותר ממודל אחד, מאותה עוצמה או לא, זה עוד לא פוסל אותה מלהיות תורה של הכל. זה רק מבהיר שיש הבדל (מבחינה מתמטית לפחות) בין האונטולוגיה לאפיסטמולוגיה. למעשה, גם תורה לא שלמה לא הייתי פוסל מיד מלהיות תורה של הכל - יתכן וחלק מהשאלות ששפה מסדר ראשון יכולה לשאול הן "לא פיזיקליות" בעליל.
אם נחזור על הדוגמא של אלון שוב: האם תורה של הכל צריכה לענות על השאלה האם יד אינסוף ספרות 7 בפיתוח העדרוני של פאי? אישית, אני אפילו לא בטוח שהאם יש אינסוף ראשוניים תאומים היא שאלה פיזיקלית.
יופי 319089
סליחה על ההטרחה, אבל:
1. מדוע לתורה שיש לה מודל אינסופי חייב להיות מודל מכל עצמה?
2. מדוע "ממשפט גדל נובע ששלמות היא תנאי הכרחי לקטגוריות."? (ולמה בכלל קוראים "קאגוריות" בהקשר זה?)
3. מה זה "תורה של הכל"?
יופי 319096
1. בגדול (מאוד) זה נובע מכך שניתן להוסיף לשפה הרבה (קאפה) קבועים ואת האקסיומות שהם כולם שונים זה מזה. התורה תשאר עקבית בגלל שכל תת קבוצה סופית היא עקבית. זה מראה שיש מודל לפחות מעוצמה קאפה. אם יש מודל מעוצמה גדולה יותר ניתן תמיד למצוא תת מודל בעוצמה המבוקשת. בגדול (מאוד) לוקחים קאפה איברים כלשהם מהמודל ואז מוסיפים עוד את כל מה שצריך.
קשה לי לתת הסבר ממצה יותר כאן, חפש משפט Löwenheim-Skolem (הלאלון הייתי? לעמית דמיתי?)

2.משפט גדל השתרבב לי בטעות. אם תורה אינה שלמה, ניקח משפט שלא ניתן להוכיח או להפריך ונצרף פעם אותו ופעם את שלילתו. בשני המקרים קיבלנו תורה עקבית (בהנחה שהמקורית היתה כזו) ולכל אחת משתי התורות הנ"ל יש מודל.
(את השאלה בסוגריים לא הבנתי - התכההנת לשאול למה קוראים לזה קטגורית? ככה)

הכוונה כאן היא לתורה הסופית של הפיזיקה.
319101
(נראה לי שבהחלט לאלון היית ולעמית דמית:))
2. התכוונתי לשאול מה פירוש "תורה קטגורית"?
319104
כמו שכתבתי בתגובה 319085:
"שאלה מענינת לפעמים היא האם לתורה מסוימת יש מודל יחד מעוצמה נתונה - אם כן אומרים שהיא קפה (קאפה? קפא? קאפא? קפא"פ?)-קטגורית."

לא הבהרתי שאני אומר שתורה היא קטגורית אם היא קאפה-קטגורית לאיזשהו קאפה.
319108
אני מבינה ש"מודל יחד" היה פליטת קולמוס ל"מודל יחיד", לא?
וכיוון שאינני מכירה את המונח "קאפה" (איך מאייתים אותו באנגלית?), לא הבנתי את ההגדרה.:)
319121
"קאפה" זו האות היוונית kappa. בתורת הקבוצות משתמשים בה כדי לציין עוצמה (כלשהי) של קבוצה.
יופי 319097
אבל בדיוק התנאי של ''אריתמטית'' שאתה מחביא בסוגריים הוא זה שנמנעתי בכוונה מלהביא אותו, אז ההבהרה של המאמר כבודה במקומה מונח.

עם שאר דברייך אני מסכים, ואני חושב שזה ניסוח די טוב של מה שאני חשבתי עליו ולא הצלחתי לבטא בדיוק.
אתה מצודד? 319126
אתה מצודד? 319228
הוא מאוד מצודד.
אתה מצודד? 319232
ברור שמעולם לא נפגשנו.
אתה מצודד? 319236
לא, לא, אינני מסתכלת בקנקן, אלא במה שיש בו.
אתה מצודד? 319255
אם כך, ברור עוד יותר.
אתה מצודד? 319275
לפי רמת חוסר הצידוד העצמי שלך, נראה לי שלא זו בלבד שנפגשנו בוודאות, אלא ש''אורי גוראל-גורביץ'' הוא גם שמי השני (וגם השלישי והרביעי, כמובן).
עם ישראל חִי 319608
כנראה "קאפא". הא' בסוף די הכרחי מעקביות עם הדוגמאות המוכרות יותר: אלפא, ביתא, דלתא (ולא מוכרת לי אף דוגמה מובהקת לכיוון ההפוך). לא' הראשונה האסמכתא שלי היא רק "גאמא".

אבל אם אנחנו כבר כאן, צריך מתישהו ללבן את הסוגיה העכורה של האותיות היווניות עם הי-' בסוף. כולם אומרים "פַּי", והרוב אומרים "פִי" (פ' רפה). כבר ראיתי מרצים ומתרגלים שידעו שבעצם זו צריכה להיות אותה תנועה בכל האותיות האלו, והם היו אומרים "פַי". וכנ"ל האוזן מסתדרת עם "פּסַי", ותחת לחץ גם עם "קסַי". אבל עוד לא שמעתי מישהו שאומר "חַי" ו"נַי". ב"בריטניקה לנוער" שהיתה לי כשהייתי ילד היה לוח אלפבית יווני, ושם הלכו באופן גורף על חיריק לכולם, כולל "פִּי". אגב, הם גרסו גם "מִי", ולא "מיוּ" כמקובל בכיתות הלימוד. מה עושים? עד מתי נטאטא את הבעיה מתחת לשטיח?
עם ישראל חִי 319699
אפשר לאמץ את הגישה האמריקאית (לא, אל תעשו את זה!) ולבטא פַּאי, פַאי, קַאי, סַאי, זַאי וכוּ'.
עם ישראל חִי 319707
למה זו צריכה להיות אותה תנועה בכל האותיות? באנגלית מאייתים mu, nu לעומת phi, psi; זה שיבוש? (דוברי אנגלית באמת אומרים "קאי" בשביל chi).

אנחנו יודעים איכשהו איך הגו היוונים את האלפבית?
עם ישראל חִי 319712
ואיך אומרים chi בעברית?
סביר להניח שההיגוי היווני היה דומה יותר לעברי. וגם סביר שיודעים, פחות או יותר, איך הגו אותו במקור - בעיקר, אולי, לפי שירים (משקלים וחרוזים).
עם ישראל חִי 319720
כמו בכותרת.

גם אני נטיתי להניח שההיגוי העברי הוא מייצג נאמן יחסית, אבל אני לא יודע עד כמה זה מבוסס. חריזה זה מעניין, אבל איך עושים bootstrapping?
עם ישראל חִי 319729
bootstrapping? מה זה?
עם ישראל חִי 319776
bootstrapping: להרים את עצמך במשיכה בשרוכי מגפיך. כפי שעשה הברון מינכאוזן בשעתו. ובהשאלה: לעשות את הצעד הראשון בתהליך אשר גורר את עצמו מרגע שהתחיל.

לדוגמה:

Scale of dragon, tooth of wolf,
Witches' mummy, maw and gulf
Of the ravin'd salt-sea shark,
Root of hemlock digg'd i' the dark,
Liver of blaspheming Jew,
Gall of goat, and slips of yew
...

די ברור שהמכשפה ביטאה gulf באותה תנועה כמו wolf. אילו רק ידענו אם זו האחרונה נקראת בשורוק כמו היום, או בפתח כמו gulf בימינו, או אולי בחולם כמו בגרמנית...

אין לי מושג בשאלה ספציפית זו. אבל כשאוספים רצפים ארוכים של מילים הנהגות באופן דומה, ניתן להכריע באמצעות "הקלטה" של אחת מהן בשפות זרות, או השוואה בין כמה תהליכי שינוי פונטים סבירים יותר ופחות.
עם ישראל חִי 319778
הברון מינכהאוזן לא הרים את עצמו במשיכה בשרוכי נעליו - לשם כך היה עליו להתכופף. מה שהוא עשה בפועל היה להרים אותו (ואת סוסו) מהביצה על ידי משיכה בצמה שלו.

כמובן שהסיפור לא הגיוני - הרי לא מספיק למשוך את עצמך למעלה כדי לצאת מהביצה, צריך גם לזוז בכיוון אופקי, ולא ייתכן שהברון עשה את זה.
עם ישראל חִי 319781
אם אתה טוען את זה, אתה *ממש* לא מבין בברונים. ודאי שהוא עשה את זה! אחרת איך לדעתך הוא יצא משם?
עם ישראל חִי 319783
הוא נשאר תקוע באוויר במשך מספר שעות עד שירד שלג כבד וכיסה את כל הביצה, ואז אפשר היה פשוט לדהור משם.
או 319797
שהוא פשוט משך בצמתו באלכסון.
או 319846
מה שמזכיר לי שבסדרה האלמותית "כנפי הרעם" אחד מכלי הטיס היה *מרחף* באוויר על ידי סילון אלכסוני שנפלט ממנו.
עם ישראל חִי 319803
בקיצור, לדעתך בילפו אותנו כל השנים?
עם ישראל חִי 319710
באנגלית מבטאים את האותיות האלה בפתח (chi, psi, phi = פַי, פּסַי, כַּי). הבה לנו יווני קדמון מארץ היוונים (a greek from greece?) ונשאלנו.
יופי 318436
"פירושו של ג'וק מכאניסטי הוא שניתן לתת תיאור פורמאלי שלם שלו. כלומר, לבנות מערכת פורמאלית שלמה (ועקבית) שהג'וק הוא האינטרפרטציה שלה. זה נראה לי בלתי-אפשרי משום משפט גדל."

"פירושו של iMac מכאניסטי הוא שניתן לתת תיאור פורמאלי שלם שלו. כלומר, לבנות מערכת פורמאלית שלמה (ועקבית) שה-iMac הוא האינטרפרטציה שלה. זה נראה לי בלתי-אפשרי משום משפט גדל."

מדוע הנימוק שלך תקף, והוואריאציות הקלות האלה לא? לפי הגישה הזו, התיאור שלנו את שום-דבר לעולם לא יהיה שלם. זה מה שאתה מנסה לומר?
יופי 318437
נו, אבל הרי לאדם יש קוואליה ול-iMac אין.

(סליחה, לא יכלתי להתאפק).
יופי 318448
זה כמו הביקורת ששלח מישהו (שכחתי את שמו) לדיקארט, ושאל אותו למה ''אני הולך משמע אני קיים'' לא עובד כמו ''אני חושב משמע אני קיים''. האמת היא שאני לא זוכר מה דיקארט ענה לו, אבל די בבירור ההבדל בין שתי הפעולות בהקשר הזה נעוץ בהיות הגיית המשפט פעולה של חשיבה ולא של הליכה.
באותה מידה המשפטים שציטטת לא תקפים לגבי ג'וקים ותפוחים מפני שהם לא נהגים (תרתי-משמע) ע''י ג'וקים ותפוחים. התיאור שלנו את הג'וק לא בהכרח מכיל את האריתמטיקה.
יופי 318454
לגמרי לא הבנתי את התשובה. "לא נהגים" - תרתי משמע? אם iMac יכול להגות (ווקאלית) משפטים באנגלית, אז הוא לא ניתן לתיאור כמ"ט? או שרק אם הוא יכול "להגות" רעיונות מופשטים? זה מאוד נחמד שאתה *מניח* ש-iMac לא יכול להגות משפטים ואדם כן, ומכך *מסיק* ש-iMac ניתן לתיאור כמ"ט ואדם לא. מישהו דיבר על "הנחת המבוקש"?
יופי 318472
אתה צודק, אני כמובן מדבר על הגייה במובן השני בלבד, אני לא יודע מה נכנס בי. האם iMac יכול להגות רעיונות מופשטים? אז אולי הוא המ"ט-אדם שלנו? למה לא אמרת קודם, היית חוסך הרבה ביטים? :)
יופי 318476
אולי, באמת? ואם לא הוא, אולי מחשב חזק יותר עם תוכנה משוכללת יותר? אתה עדיין סבור שניתן להכריע בשאלה הזו תוך שימוש במשפט-גדל?
יופי 318492
יש קשר אסוציאטיבי חזק בין השניים. משפט גדל מצביע על חולשה אינהרנטית של מערכות פורמאליות. ההשלכה הישירה של זה היא שלא ניתן להעמיד את המתימטיקה על מערכת פורמאלית. אבל הרבה מהפילוסופיה (והמדע) בנויים על משהו שלפחות דומה מאוד למערכות פורמאליות.
אני לא יודע אם ניתן להוכיח את ההשלכות האסוציאטיביות (אחרת סביר להניח שכבר הייתי כותב מאמר אקדמי או משהו). אבל שווה לנסות, לא?
יופי 318507
האם שווה לנסות?

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

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

אני מנסה לדמיין, מה היית עושה אילו ב-‏1931 היה גדל מוכיח דווקא ש-PM או איזו מערכת אחרת היא עקבית ושלמה. מן-הסתם לא היית שומע בכלל על המשפט הטכני הזה, כמו שלא שמעת על משפט טרסקי על שלמות RCF (או שאם שמעת, הוא נראה לך פחות רלוונטי). אבל נניח שהיית שומע עליו - האם היית משנה את דעתך לגבי נפש האדם?

(הערות פחות חשובות על השורה הראשונה שלך:

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

"לא ניתן להעמיד את המתמטיקה על מערכת פורמלית"? ודאי שהמתמטיקה עומדת על מערכת פורמלית. אז המערכת איננה שלמה - אנו שוב ושוב חוזרים לנקודה הזה - ב י ג ד י ל . מי הבטיח לנו שתהיה מערכת פורמלית אפקטיבית ושלמה?).
יופי 318831
אתה מתייחס לאדם ולמכונה כאל שני אובייקטים חיצוניים לך שע"י כלים אובייקטיבים אתה עשוי לעמוד על טיבם. אבל לא מדובר כאן בשני אובייקטים חיצוניים אלא באובייקט חיצוני אחד מצד אחד, ובך מצד שני. ההבדל העיקרי בין מכונה ובין אדם הוא בקשר ביניהם (הוא אינו קשר אמפירי): האדם הוא זה שמתכנת את המכונה, האדם הוא זה שהמציא את המכונה, האדם הוא זה שטוען טענות.
בגלל זה אני לא חייב למצוא הבדל אובייקטיבי בין אדם לבין מכונה, מספיק שאני אמצא מוגבלות א-פריורי בטענות שאני יכול לטעון. מאחר שמ"ט היא בעצם טענה שאני טוען, המוגבלות הזאת בהחלט עשויה להיות רלוונטית עבור השאלה אם האדם הוא מ"ט.

בוא נבדיל עכשיו בין שלושה דברים.
א. יש דברים שאני יכול לדעת או להאמין בהם. ייתכן שגם הם מוגבלים, אבל אני לא ממש יכול להגיד כלום על מה שמעבר להם, ובעצם גם עליהם קשה לי לדבר.
ב. יש דברים שאני יכול להגיד. אלה מוגבלים יותר מעצם השפה שאני נדרש לה כדי להביע אותם. יש דברים שנכנסים בסעיף א' ולא ניתנים להבעה בשפה. לפעמים מבע אחד בשפה מתאים ליותר מרעיון פרטי אחד.
ג. יש דברים שאני יכול לטעון. המוגבלות על הדברים האלה היא כבר יותר גדולה. מידת האובייקטיביות של טענות היא הגבוהה ביותר ברשימה הזאת. טיעון תקף מזוהה ככזה בלי קשר לטוען. יש לו קיום בפני עצמו. הקיום הזה מובטח ע"י שפה מוסכמת וכללי היסק. אלה מהווים "מעין" מערכת פורמאלית.

עכשיו מה שגדל הוכיח הוא שיש הגבלה על הטענות שלך. כלומר, אם המערכת הפורמאלית שבה אתה טוען את טענותיך היא "חזקה" מספיק, אז בהכרח יהיו טענות אמיתיות שלא ניתנות להבעה בה. החוזק הנדרש הוא כזה שמאפשר לשפה לשמש כמטא-שפה לעצמה. בבירור, מערכת פורמאלית שמתיימרת לתפוס את כל מה שנכון לגבי האדם היא בהכרח חזקה מספיק. זאת משום שהיא בהכרח מדברת גם על עצמה, בהיותה נטענת ע"י האדם.
  יופי • אלון עמית
  יופי • ד.ק.

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

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