בתשובה לעוזי ו., 03/08/05 23:18
נודניק :-) 321422
סברתי, אולי בטעות, ש"השפה של האריתמטיקה" היא מונח מקובל. בכל אופן, כן, הכוונה לשפה שמכילה את הקבוע 0, את סימן העוקב, ואת הסימנים +, * ו-> (למה "בערך"?). הניסוח "כמו ב-PA" מפריע לי; PA היא מערכת של אקסיומות בשפה הזו, אבל לשפה עצמה אין שום קשר למערכת אקסיומטית מסויימת.

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

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

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

(המונח "מודל אמיתי למספרים הטבעיים" בעייתי בעיני, כי ל"מודל" יש פירוש פורמלי כמודל של מערכת אקסיומטית מסויימת. אני לא חושב על הטבעיים כמודל של כלום, אלא כמשהו שקודם למושגים "מודל" ו"הוכחה").

("המודל היחיד שקיים באמת" זה לא ביטוי שלי... הסברתי כבר שאני עובד בשמחה עם הממשיים, עם עולם הקבוצות של ZFC, עם קטגוריות, וכו'. לענייננו כרגע אני מבקש להתרכז במושג פשוט: המספרים הטבעיים).
נודניק :-) 432290
תגובה 432288 (וגם התגובה שמעלי, אם רוצים להמשיך את השיחה המסויימת הזו).

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

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