בתשובה לאורי גוראל-גורביץ', 06/10/07 13:35
באשר עבדנו אבדנו‏1 458970
אייל מולד(ר) • בתשובה לאורי גוראל-גורביץ' שבת, 6/10/2007, 23:58
אולי אני מתפרץ לדלת פתוחה, אבל הנה שני הביט שלי:
משפט פיתגורס מוכח באופן כללי לכל זוג שלמים a ו-b המשמשים כניצבים במשולש ישר זווית. אם מתעקשים להיות אמפיריציסטיים, ניתן לנסח את ההוכחה כתוכנית מגירה שתופעל מחדש עבור כל משולש שמדען יתקל בו. כלומר, לכל הפחות ניתן להסכים (אני מקווה) שהמשפט נכון עבור משולשים שניתקל בהם. כך שבמידת הצורך, יתאפשר לבצע סיקול ממוקד במרכז היתר.
אם כמה עשרות אלפי תצפיות מספיקות כדי להניח ש*כל* שני גופים מושכים זה את זה בפרופורציה הפוכה למרחקם בריבוע, וזה נחשב חלק משיטות החקירה שלנו - אני חושב שיהיה זה אך הוגן להכליל את הוכחת משפט פיתגורס כחלק משיטות החקירה שלנו.
באשר עבדנו אבדנו‏1 459001
אורי גוראל-גורביץ' • בתשובה לאייל מולד(ר) יום א', 7/10/2007, 9:47
איפה כתבתי שהוכחת משפט פיתגורס אינה חלק משיטות החקירה שלנו?
ההוכחה היא סופית, לא?
חזרה לעמוד הראשי
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות