בתשובה לאלון עמית, 27/07/05 1:50
בעד הפלטוניזם 320054
לאור ההערה שלך על ההבדל בין "תת-קבוצות מסויימות" ל"תת-קבוצות שאפשר לבנות", אני ממליץ לך לבחור את התשובה הבאה: אתה מאמין בקיום מודל לממשיים שאפשר לבנות (למשל בהצגה העשרונית) אבל לא בהכרח בקיום מודל שמכיל את כל הממשיים.

____

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

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

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