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