בתשובה להאייל האלמוני, 03/08/05 11:49
זה נכון באופן כללי על מתמטיקה 321748
הפער בין משפט גדל לניתוח של "מה שחסר בטקסט", כפי שהצגת ב-ב.1., נראה לי עצום - וזה, כנראה, לב הויכוח. אני מרגיש שהתבצרנו בעמדותינו, אבל אפשר גם להמשיך לדבר על זה, אין בעייה.

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

ובתגובה 321284 כתבת, "אנשים מסיקים ממשפט גדל מסקנות שהן *באמת* מופרכות". נראה לי שכל עוד לא הוכחת/הוכח ש"המח הוא מחשב", אינך יכול לומר שהטענה "המח איננו מחשב" *באמת* מופרכת.
זה נכון באופן כללי על מתמטיקה 322048
האם אפשר לאמר שהטענה " 1+1=2 ולכן הירח עשוי מגבינה צהובה" היא מופרכת אפילו אם אנחנו לא יודעים ממה עשוי הירח?
זה נכון באופן כללי על מתמטיקה 322066
אפשר בהחלט לומר זאת משום שגם אם איננו יודעים ממה עשוי הירח, אנחנו עדיין יודעים שזה לא מגבינה צהובה.
אבל א. אני לא דיברתי על "מסקנות" ממשפט גדל, ו-ב. אלון תייג את הטענה ש"המח איננו מחשב" כמופרכת *באמת* בלי קשר להסקתה ממשפט גדל - וזו בהחלט טעות. הרי אפשר לדעת שX איננו מורכב מ-Y גם אם אין יודעים ממה בדיוק מורכב X - אבל אי אפשר לומר ש-X הוא Y כל עוד איננו יודעים ש-X הוא Y.
זה נכון באופן כללי על מתמטיקה 322170
אבל די ברור שכוונתו של אלון לא היתה שהטענה ''המח איננו מחשב'' היא מופרכת, אלא שההסקה שלה ממשפט גדל מופרכת. וגם אג''ג לא התכוון שברור לנו שהירח לא עשוי מגבינה, אלא שברור לנו שהחומר ממנו הוא עשוי לא קשור לסכום של אחד ואחד.
זה נכון באופן כללי על מתמטיקה 322179
מה שאלון כתב היה: שני דברים מטרידים אותי... "האחד, שאנשים מסיקים ממשפט גדל מסקנות שהן *באמת* מופרכות. דוגמה: המוח האנושי אינו מחשב. עוד דוגמה: רק אחרי משפט-גדל הבינו המתמטיקאים את מה שכל איש-רוח יודע - שאין אמת אחת.

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

לאור ההבחנה בין *שני* הדברים המטרידים אותו, כשדווקא לגבי הדבר *השני* הוא מציין שמדובר במקרים שרעיונות שאינם בהכרח מוטעים פשוט אינם קשורים למשפט גדל - אין לי אלא להסיק שה"מטריד" הראשון הוא מקרים שבהם הבעיה איננה במיוחד בקשר האפשרי למשפט גדל, אלא בטענות עצמן. מכאן תגובתי לאג"ג: הנחתי שהוא (ואולי גם אלון) מדברים על "אם...אז..." (אם משפט גדל אז המח מ"ט", "אם 1+1=2 אז הירח עשוי מגבינה צהובה") במובן הפורמלי - כלומר, אם X ואם Y, אין כל מניעה ש-X גורר Y.
זה נכון באופן כללי על מתמטיקה 322209
או-קיי, או-קיי, אפשר להפסיק ולנתח את הטקסט שלי... :-) באמת לא ניסחתי כראוי. לא התכוונתי לומר שהטענה שהמוח אינו מחשב היא (בעליל) מופרכת, אלא - כפי שניחשו נכונה אורי וירדן - שההסקה שלה מגדל היא מופרכת. האבחנה שניסיתי לעשות בין שני הסוגים היא של מסקנות-לוגיות-לכאורה (אבל מופרכות) לאנלוגיות-לתחום-אחר (מופרכות לא פחות).

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

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

--

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

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

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

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

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

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