|
||||
|
||||
חשבתי שהבעיה היא לא עם להגיד שהיא נכונה/לא נכונה במודל מסויים, אלא איך לבחור מי המודל ה"נכון" מבחינתנו בזמן שהשני הוא סתם מודל מופרע שלא מעניין אותנו. |
|
||||
|
||||
מה איתה? אני לא חושב שיש דרך לנסח אותה בשפה מסדר ראשון של האריתמטיקה. בתגובה 541767 הזכרתי שהדיעות לגביה חלוקות, ואני מוכן לפרט: עפ"י הפרק האחרון בספר Tracking the Automatic Ant, ריימונד סמוליאן משוכנע שיש לה ערך אמת ואילו סאונדרס מק ליין משוכנע שאין לה, ואלו שני אנשים שאני לא נחפז להתעלם מדעתם. |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |