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