בתשובה לאלון עמית, 14/07/05 4:26
הטעון תיקון 316759
אם העולם מכאניסטי, איזו מערכת מתארת אותו?
הטעון תיקון 316775
נניח שהעולם הוא מכונת-טיורינג גדולה (מאוד) ומהירה (מאוד). איזו מערכת דרושה כאן? מערכת אקסיומות? של מה? ומה שלא תהיה מערכת זו, אם אכן היא נחוצה, מה בכך אם היא לא שלמה במובן של לוגיקה מתמטית?
הטעון תיקון 316781
בשביל לדבר על מכונת-טיורינג כזאת אתה נדרש למשהו שהוא כמו מערכת פורמאלית. הרי היא פועלת מתוך חוקיות מסוימת. אני לא מדבר עכשיו על המערכת הפורמאלית שהמ''ט הזאת מקבילה לה, אלא על הדרך שלך לתאר את המ''ט. אתה צריך להבין מה הקלט הראשוני ומה החוקיות של המ''ט העולמית הזאת, וזו מערכת פורמאלית עקבית. כלומר, אתה לעולם לא תוכל להגיע למודל שלם של העולם.

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

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

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

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

אני בזאת מעביר את השיחה לדיון על המאמר שלך, אם זה בסדר מצדך.

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

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