בתשובה לירדן ניר, 26/03/03 12:38
 |
|
 |
||
|
||||
 |
השאלה היא לא לפתור את בעית מנהל-בית הסוהר אלא השאלה היא "האם קיימת שיטה (= אלגוריתם) יעילה לפתור את 'בעית מנהל בית-הסוהר'?" כאשר שוב, מה שמעניין בשאלה הזו היא ההשלכות שלה על פתרון של המון בעיות אחרות, כפי שהזכרתי למעלה. דרך חקירה מדעית אחת להתקיף את השאלה היא לנסות לחשוב על כל מיני אלגוריתמים לפתור את בעית מנהל בית-הסוהר, למצוא כל מיני נתונים מהחיים ולהריץ את האלגוריתמים הנ"ל על הנתונים ולראות אם הם עובדים. כמובן שגם אם נמצא אלגוריתמים שעובד על כל רשימה שנתנו לו, אז לא תהיה לנו וודאות של 100% שהוא אכן עובד גם על רשימות שלא נתנו לו, אבל זה לא נורא, מאחר ובשיטות לא מתמטיות ממילא לעולם לא נגיע לוודאות של 100%. |
 |
 |
 |
|
|
|
||
|
||||
|
אני לא חושב שחקירה בשיטת ניסוי וטעיה היא בהכרח אמפירית. למשל, בדיקת השערת גולדבאך על מיליארד הטבעיים הראשונים היא חקירה מתמטית, ולא אמפירית. כלומר, אין לי התנגדות שיקראו לזה אמפירית, אבל יש הבדל מהותי ומעניין בינה לבין חקירות שממש בודקות את העולם הפיזיקלי. שיטת החקירה שאתה מציע לשאלת קיום האלגוריתם, בהנתן נתונים, נראית לי מתמטית במובן זה, ולא אמפירית. היא תהיה אמפירית אם, כדי לבדוק את נכונות האלגוריתם, ננסה את החלוקה שהאלגו' מציע, עם אסירים ממש, ונבדוק אם הם דוקרים זה את זה. נניח שיתברר שבמאה ניסויים כאלה האסירים כן או לא דקרו זה את זה. האם תסיק מכך שהאלגו' נכון (או שגוי)? נראה לי שלא. אתה לא באמת תחקור באופן הזה. אם אני מבין נכון, שיטת החקירה שלך היא שנכונות השיבוץ נבדקת גם היא על-פי נתונים *ידועים מראש*. כאמור, אפשר לעשות אותה מהכורסה במשרד, בלי להטריח את העולם הפיזיקלי הרלוונטי (אסירים בשר ודם); לא אמפיריקה. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |