בתשובה לגלעד ברזילי, 07/11/01 13:55
הערה קטנה 42273
מוזר בעיני כי דווקא הוכחות אמפיריות משכנעות בעיניך יותר מאשר הוכחות לוגיות ומתמטיות כהגדרתך (לא ניכנס לשאלה אם יש הבדל בין לוגיקה למתמטיקה). ניסויים רבים הראו שאור לא יכול להתכופף, שדברים כבדים נופלים מהר יותר מדברים קלים, שאור הוא גל, וכהנה וכהנה. כמובן שכל אחד מאלה הוכח (נסיונית) גם כמוטעה בשלב מאוחר יותר.
פריצות הדרך המדעיות עליהן אתה מדבר נעשו בהרבה מקרים דווקא על-ידי פיתוח מתמטי שלא היתה דרך להוכיחו אמפירית בזמן 'המהפכה המדעית' הרלוונטית. כאשר הזמינו את איינשטיין ל'ניסוי' המפורסם שיוכיח את טענתו שהאור מגיב למסה במשיכה גרביטציונית 'רגילה', הוא סירב בנימוק ש''המתמטיקה לא משקרת''.
הוכחות אמפריות יכולות לחזק תיאוריה מסוימת, אך לא להוכיחה ובוודאי לא ליצור תיאוריה חדשה. כל מהותה של תיאוריה היא בתיאור מבנה לוגי שיעמוד בקנה אחד עם העובדות הנצפות.
הערה קטנה 42288
א. כל "עובדה" שהופרכה, הופרכה פשוט כי היא לא הייתה עובדה, אלא הכללה קטנה של תצפית. "אור לא יכול להתכופף" הוא הכללה שגויה של העובדה הנכונה "אור לא יכול להתכופף בתנאים בהם מדדנו ובדיוק אליו הגענו".

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

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

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

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