בתשובה לגדי אלכסנדרוביץ', 23/07/05 21:31
יופי 319064
זו נקודה מעניינת, אבל אני לא רואה למה התיאור שמתארת מערכת עם שני מודלים אפשריים יהיה לא מלא. הרי כל משפט שנכון לגבי הדבר שהיא מתארת, נכון גם בה, ולהיפך. כלומר, אין שום פרט שאתה לא יודע בנוגע לדבר הזה.
אם המערכת היא שלמה גם ביחס למודל אחר, אז אולי המודלים האלה איזומורפיים? (שזו מחשבה מעניינת בפני עצמה. יכול להיות שהמערכת שמתארת את האדם והמערכת שמתארת את העולם הן אותה מערכת רק באינטרפרטציה אחרת? ביהדות קוראים לעולם - אדם גדול, ולאדם - עולם קטן)
יופי 319066
בלי תשובה מתמטית לשאלה אני לא חושב שאוכל להמשיך את הדיון. אני *חושב* שהתשובה היא שלילית: יכולים להיות קיימים כמה מודלים *מעוצמות שונות* ולכן הם לא איזומורפיים (אני חושב שזה כבר נדון איפה שהוא כאן) אבל אני לא בטוח כי אני לא מתמטיקאי.

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

לכאורה זה משחק לטובתך: זה רק מראה שמערכת פורמלית לא מצליחה לתאר "ממש" את המודל שלה. מצד שני, נשאלת השאלה מה המידע שאנחנו בעצם מפסידים בכך שהתיאור הוא לא "ממש", והאם הוא רלוונטי לנו בכלל. לכן השאלה היא מהו לדעתך "תיאור" של משהו, ואיזה דרישות אתה מצפה שהוא יקיים - ואז צריך לשאול האם דבר כזה יכול להיות קיים בכלל.
יופי 319624
אני נאלץ לנטוש את הדיון בשלב זה. תעשו חיים. ניפגש בהזדמנות אחרת.

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים