בתשובה לאפופידס, 16/10/01 23:00
 |
|
 |
||
|
||||
 |
ראשית, נראה לי ששימוש באלגוריתם הפשוט שהצעת יראה בבירור עדיפות לאמירה "כעת יש חושך" לעומת "האבולוציה היא נכונה" (אני לא יכול להשתמש במשפט המקורי מסיבות מובנות של מעגליות לכן אני משנה אותו במקצת). שנית, תגובתך עזרה לי למקד אף יותר את תהיותי ומושא התקיפה הנוכחי שלי הוא אותו תער מפורסם. הבעיה עם התער שהוא "חד עד כאב", כלומר המתודולוגיה המדעית המדעית פוסלת אפריורית הסברים "מסובכים יותר". מדוע? כי זו המתודה המדעית. כפי שציינתי בעבר, המדע מספק לנו מודל של המציאות ולא את המציאות עצמה. ואולי המציאות היא דווקא שהתיאוריה המסובכת יותר, עם יותר הנחות יסוד, היא זו שמתקיימת? את דוקינס קראתי, וגם את גולד, ואני מסכים שכמות המידע העקיף מראה על סבירות גבוהה לנכונותה של תיאורית (או מטא-תיאורית) האבולוציה. אך הנתונים לא יכולים לפסול תיאוריה שעדיין לא חשבנו עליה - המצב אינו בהכרח בינארי (אבולוציה או בריאתנות). אגב, אני שב ומזכיר שתגובותי אין בהם כדי לטעון או להוכיח התערבותו של כוח על-טבעי (דבר שאני כופר בו מכל וכל) והן נעשות למטרת פילפול פילוסופי בלבד. שימוש בהם למטרה שאינה המטרה הנ"ל הוא שגיאה לוגית, כפי שכבר פרטתי בתגובה קודמת. |
 |
 |
 |
|
|
|
||
|
||||
|
מאחורי ההחלטה לבחור את האפשרות הפשוטה יותר, עומדת המחשבה, שאפשרות זאת יותר פשוט להפריך, ואז לעבור לאפשרות הבאה בתור (הפשטות). | |
|
|
|
|
|
||
|
||||
|
לא ממש משנה, אם אתה מודע לשתיהן תפריך כל אחת בזמנך החופשי. | |
|
|
|
|
|
||
|
||||
|
אין שתיים, יש אין סוף (בר מנייה). | |
|
|
|
|
|
||
|
||||
|
האמת שרציתי להיות נורא קטנוני ולבלבל את המוח בקשר לבר מניה, לפי מיטב המסורת, אבל וואלה בר מניה. |
|
|
|
|
|
|
||
|
||||
|
דווקא חשבתי על זה עוד קצת, ואני לא לגמרי משוכנע שזה באמת בר מניה, אולי רק אם מניחים הנחה של אנליטיות או משהו כזה? | |
|
|
|
|
|
||
|
||||
|
אכן, ישנם דברים רבים הוודאיים יותר מתורת האבולוציה, למשל, כל חוקי המתמטיקה, ההנחה שמחר תזרח השמש ועוד. רק אמרתי שלהערכתי, מקרב התורות המדעיות, שמטבען הינן מורכבות במידה שמורידה מאוד את וודאותן לעומת האמיתות הפשוטות, לתורה זו רמת וודאות גבוהה יחסית. לגבי ידידנו המשותף אוקהם, נראה לי כי הקריטריון שלו נכון באופן סטטיסטי בלבד. בוודאי היו מקרים בהם התאוריה שנראתה מסובכת יותר, הוכחה כנכונה. למרות זאת, נדמה לי לפתע, כי יש לי הוכחה מופלאה לנכונות טענתו, אם מפרשים אותה באופן מוחלט ולא תלוי ידע. אך קצרה היממה. אולי מחר. |
|
|
|
|
|
|
||
|
||||
|
אני באמת מצפה. זו גם סתם הזדמנות להזכיר מישהו שהבטיח הוכחה מופלאה רק שלא היה לו מקום בשולי הספר... | |
|
|
|
|
|
||
|
||||
|
מששבו אלי כוחותיי בבוקר, משנצטללה הכרתי והשפעת משקה יום אתמול נגוזה, הדברים נראו קצת יותר מורכבים... אך פטור בלא כלום אי אפשר (דווקא כן, אבל זה מה שאומרים): הגישה העקרונית היתה אל התאוריה כמהות אובייקטיבית ולא כמייצגת ידע סובייקטיבי מצטבר. ובכן, אם ניתן היה להשוות בין גודלן של קבוצות הנחות גם ללא הכלה של אחת את השנייה, חשבתי על מין רעיון הלקוח מתחום האלגברה הליניארית. כל הקבוצות של ווקטורים בלתי תלויים באמצעותן ניתן לפרוש מרחב ליניארי נתון (=לבנות הוכחה, לתת הסבר), הן באותו גודל. בהגיון דומה רציתי להראות כי עבור כל שני סטים של הנחות יסוד (אקסיומות) הנחוצים להוכחת משפט (הסבר טענה), ניתן לבחור סט הקטן משניהם כך שנותרות הנחות מיותרות (וחסרות משמעות). ואולם, איני יודע לעשות השוואה כזו וספק אם היא קיימת. לכן, כדי לומר שקבוצת הנחות בלתי תלויה אחת (הדרושה להסבר תופעה) גדולה מרעותה, עליה להכיל אותה. ניתן לכן להשמיט את אותן הנחות שאינן מצויות בקבוצה הגדולה, וכהנחות שאינן נובעות מאחרות ואף אינן משמשות להוכחה, הן חסרות ערך. לא משהו, אבל יותר ממה שקיים פרמה. |
|
|
|
|
|
|
||
|
||||
|
הכשל בסקיצת ההוכחה ברור גם לך - לא ממש ניתן להשוות בין סטים של הנחות (איזו הנחה "חזקה" יותר מהשניה?) לכן האנלוגיה לוקטורים בלתי תלויים היא אולי יפה, אבל לא עונה לבעיה. | |
|
|
|
|
|
||
|
||||
|
זו גם דעתי. | |
|
|
|
|
|
||
|
||||
|
הקריטריון של אוקהם נכון *תמיד* כדרך עבודה. יכול להיות שהתיאוריה המסובכת יותר היא הנכונה (וזה, כמובן, לא נשלל על ידי אוקהם) , אבל רק אם נעבוד בדרכו של אוקהם נוכל לשלול את כל התיאוריות הפשוטות ממנה. דרך אגב, אף פעם (אבל, אף פעם) אי אפשר להוכיח תיאוריה. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |