 |
אני לא חושב שחקירה בשיטת ניסוי וטעיה היא בהכרח אמפירית. למשל, בדיקת השערת גולדבאך על מיליארד הטבעיים הראשונים היא חקירה מתמטית, ולא אמפירית. כלומר, אין לי התנגדות שיקראו לזה אמפירית, אבל יש הבדל מהותי ומעניין בינה לבין חקירות שממש בודקות את העולם הפיזיקלי.
שיטת החקירה שאתה מציע לשאלת קיום האלגוריתם, בהנתן נתונים, נראית לי מתמטית במובן זה, ולא אמפירית. היא תהיה אמפירית אם, כדי לבדוק את נכונות האלגוריתם, ננסה את החלוקה שהאלגו' מציע, עם אסירים ממש, ונבדוק אם הם דוקרים זה את זה. נניח שיתברר שבמאה ניסויים כאלה האסירים כן או לא דקרו זה את זה. האם תסיק מכך שהאלגו' נכון (או שגוי)? נראה לי שלא. אתה לא באמת תחקור באופן הזה. אם אני מבין נכון, שיטת החקירה שלך היא שנכונות השיבוץ נבדקת גם היא על-פי נתונים *ידועים מראש*. כאמור, אפשר לעשות אותה מהכורסה במשרד, בלי להטריח את העולם הפיזיקלי הרלוונטי (אסירים בשר ודם); לא אמפיריקה.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש