בתשובה לאורי גוראל-גורביץ', 19/07/05 22:04
עוד זווית 318183
אתה מכיר טענות אריתמטיות שאינן כריעות ב- ZFC, פרט לעקביות של PA?
עוד זווית 318184
מה גורם לך לחשוב שעקביות PA אינה יכיחה ב-ZFC?
עוד זווית 318221
נניח שמלמלתי משהו על חמש ורבע וכו'. לכם המתמטיקאים יש הרגל מעצבן להצביע על פגם אחד בתגובה ולהסתפק בזה, במקום לדבר בפסקאות שלמות. (במקרה הזה: העקביות של PA יכיחה ב- ZFC, מכיוון שיש לה מודל, שבו 0 הוא הקבוצה הריקה והמספר n הוא הקבוצה המכילה את (הקבוצות של) המספרים מאפס עד n-1. זה אומר ש*אם ZFC עקבית*, אז PA גם עקבית).

אנא כתוב פסקה שלמה על טענות אריתמטיות לא כריעות.
עוד זווית 318222
מה עניין "חמש ורבע"?
עוד זווית 318227
(תגובה 318164).
עוד זווית 318280
אני נדהמת כל פעם מחדש מהמהירות שבה נוצרים קיצורי רך כאלה באייל. מרשים ביותר.
עוד זווית 318224
אני חושב שאלוף העולם בימינו בייצור טענות אריתמטיות שאינן כריעות ב-ZFC הוא הארווי פרידמן. אני אנסה לדוג מאמרים שלו (או עליו) שקראתי פעם, ומכילים תוצאות מסוג זה. לא מזמן קראתי (וגם את זה אנסה לדוג) שהוא, אישית, דווקא מצדד בעמדתי - הטענות הללו הן נכונות-או-לא, ורק האקסיומות האומללות שלנו אינן מספיקות כדי להראות זאת. אם אני זוכר טוב, הדוגמאות שלו הופכות ליכיחות אם מוסיפים איזה קרדינל גדול יחסית צנוע, והוא משתמש בזה כדי לגבש דעה לגבי הנכונות של הטענה "באמת".

עוד דבר שנדמה לי שקראתי פעם הוא שפרידמן הוא גם (או רק?) פרופסור למוזיקה.
עוד זווית 318276
רבע לחמש ולא חמש ורבע.
עוד זווית 318277
טוב, התגובה הקודמת נועדה לאושש את טענתך. יותר ברצינות, לכבוד הוא לי להיקרא מתמטיקאי ע''י בכיר המתמטיקאים באתר (נדמה לי, מי יודע מי באמת מסתתר מאחורי השכ''ג). עוד יותר ברצינות, היום בערב.
עוד זווית 318482
אוקי,
העקביות של PA יכיחה ב-ZFC (בלי להניח עקביות ZFC) משום שניתן (בהנחת ZFC) לבנות מודל ל-PA (דהיינו N או אומגה עם הפעולות הרגילות). בנוסף, מאחר שתחת ZFC אנו מוכיחים את כל שאר המתמטיקה, פחות או יותר, הרי ש-ZFC גם מוכיחה את משפט ה*שלמות* של גדל, כלומר קיום מודל מוכיח עקביות התורה. בדיוק כמו שלא צריך להניח עקביות ZFC כדאי להוכיח עקביות של תורת החבורות, כך גם עבור עקביות PA.

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

1 למרות שבטח יש.
עוד זווית 318486
אתה לא מאמין שלנוסחה (Con(ZFC יש ערך-אמת? (אני יודע שאי-אפשר להוכיח אותה ב-ZFC, אבל...)
בעד הפלטוניזם 319534
החלטתי להציק עוד קצת לך (ולעוזי). נתחיל ממשפטים-דמויי-גולדבאך, כאלה שאומרים "כל מספר טבעי מקיים תכונה מסויימת (שאפשר לבדוק בזמן סופי)". אם משפט כזה הוא לא נכון, אז יש לו דוגמה נגדית קונקרטית, ולכן אם הוא לא כריע במערכת כלשהי T, אז הוא נכון במספרים הטבעיים (ה"רגילים"). את זה גם אתה וגם עוזי מקבלים‏1 - כלומר אתם לא רואים באי-כריעות הזו עדות לאיזו בעייה אונטולוגית, אלא סתם לחולשה של המערכת T: מה לעשות, היא לא מספיקה כדי להוכיח את המשפט, למרות שהוא *באמת* נכון.

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

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

1 ולעדות: תגובה 164381, תגובה 165943.
בעד הפלטוניזם 319748
למה להגביל למספרים הטבעיים? אפשר לחזק את הטענה עוד יותר: נקבע תורה אריתמטית אפקטיבית T (למשל: ZFC). בהנתן משפט מהצורה "לכל x (טענה שאפשר לבדוק - לשני הכיוונים - בזמן סופי)", אם הוא אינו כריע, אז הוא מוכרח להיות אמיתי בכל מודל בן-מניה של T.

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

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

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

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

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

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

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

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

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

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

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

----

(שאלה טכנית ללוגיקאים: אפשר להגדיר ברקורסיה את המערכת {ZFC+^{n+1 בתור ZFC+^n יחד עם האקסיומה "ZFC+^n כריעה", כאשר ZFC+^0=ZFC. נסמן ב- ZFC* את איחוד המערכות הקודמות. האם היא עדיין אפקטיבית?)
בעד הפלטוניזם 320046
לשאלה אלי: אני מסיר מעצמי אחריות לגישה הפלטונית באופן כללי... אין לי מושג. הגישה הפרטית שלי מניחה ערך-אמת לטענות מסדר ראשון על ממשיים (מה שאומר שאני מייחס ערך-אמת גם לטענות על קבוצות של טבעיים), אבל לא לטענות על קבוצות של ממשיים (כמו גם על קבוצות של קבוצות של טבעיים). לא חשבתי על זה הרבה, אבל כך נראה לי. אגב, "תהליך הבנייה" של ממשיים הוא ודאי לא 'פלטוני' במובן הבסיסי: הוא מחייב שימוש במושג הלא-קונסטרוקטיבי "סדרה אינסופית שרירותית", או "חתך-דדקינד שרירותי".

__

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

____

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

2. אין כזה דבר, "מערכת כריעה", אבל המושגים די קשורים.
"מערכת עקבית" היא מערכת שלא ניתן להוכיח בה בו זמנית משפט ושלילתו. הגדרות שקולות: מערכת שלא ניתן להוכיח בה משפט מהצורה "f וגם לא f"; וגם: מערכת שיש משפטים שלא ניתן להוכיח בה.
כשקובעים את המערכת, אפשר לדון בכריעות של *טענה* (מהסוג של "קיים מספר ראשוני גדול מ- 7"). אם אפשר להוכיח במסגרת המערכת (=לתת הוכחה פורמלית) את הטענה או את שלילתה, אז היא כריעה. אם אי אפשר לעשות את שני הדברים, אז הטענה לא כריעה.
העובדה שבמערכת T קיימת הוכחה לטענה f, שקולה לכך שהמערכת הופכת להיות לא עקבית אם זורקים פנימה את הטענה "לא f". מכאן שאם הטענה f אינה כריעה, אז אפשר לזרוק אותה למערכת ולקבל מערכת עקבית, ואפשר לזרוק את השלילה שלה פנימה וגם אז מתקבלת מערכת עקבית.

3. מבדיל זה לא אותו דבר כמו מעדיף.

4. את הסימן ^ תוכלי למצוא בדרך-כלל מעל לספרה 6 (בדיוק כמו ש- ! נמצא מעל לספרה 1). במעבד התמלילים LaTeX ("החטא ועונשו הוא סיפור על מישהו שרצח והתחרט"), הסימן ^ משמש להעלאת טקסט לשכבה העליונה של השורה; למשל x^2 אמור להראות כמו x בריבוע.
בעד הפלטוניזם 320094
1. חן חן. אשקול את תורת החוגים.
2. נו, אין זה חדש שהחוכמה איננה מסימניי.
3. אני מבדילה בין המושגים.:)
4. החטא ועונשו בהחלט הסביר את העניין.:)
בעד הפלטוניזם 320170
מה הקטע עם "החטא ועונשו" היה אמור להביע?
בעד הפלטוניזם 320174
לקרוא ל-LaTeX "מעבד תמלילים" זה בערך כמו לקרוא לחטא ועונשו "סיפור על מישהו שרצח והתחרט".
תשובה טכנית 320053
נראה שכן, אבל אז השאלה המענינת היא למה המערכת הזו לא מוכיחה את עקביותה (בסתירה למשפט גדל).המממ...במופלא ממך אל תחקור. סתם, אני צריך לחשוב על זה.
תשובה טכנית 320056
(הפסוק "ZFC* עקבית" שונה מכל פסוקי העקביות הקודמים. אם אתה מאמין שהמערכת החדשה עקבית, אתה מוזמן לזרוק גם אותו פנימה ולהגדיר את ZFC אומגה-ועוד-אחד. אפשר להמשיך).
תשובה טכנית 320059
כן. מה שהתכוונתי הוא שהמערכת ZFC* מוכיחה את עקביות כל תת קבוצה סופית של אקסיומות שלה ולפיכך גם את עקביותה. כנראה שזה מראה על הבדל מענין בין הפסוק הפורמלי con(T) לבין באמת העובדה ש-T עקבית או זה מראה על הבדל (טריויאלי) בין מה שנכון למה שאני אומר.
תשובה טכנית 320062
שאלה: האם ZFC לא מוכיחה אף-היא את העקביות של כל תת-קבוצה סופית של אקסיומות שלה?
תשובה טכנית 320204
לא חושב. למה שזה יהיה כך?
תשובה טכנית 320214
כי זכרתי שראיתי את זה באיזה מקום... ועכשיו בעזרת דוד גוגל גם מצאתי איפה - אצל טורקל פרנזן החביב:

עכשיו צריך לחשוב, כמובן, למה הוא אומר זאת, והאם הוא צודק. התחושה שלי היא שהאקסיומות ה"קשות" ב-ZFC הן כולן סכמות, ואם מצטמצמים רק לאוסף סופי שלהן, נשארים עם משהו שדי קל לבנות לו מודל - צריך לדאוג רק למספר סופי של תנאים. בקישור הנ"ל פרנזן גם מסביר יפה מדוע אין סתירה בין העובדה הזו לכך ש-ZFC לא מוכיחה את (Con(ZFC.
תשובה טכנית 320231
בעצם, הייתי צריך לדעת את זה כי שיקולים דומים מופיעים כשמתעסקים עם כפיות.
אני חושב שזו גם דוגמא לכך שיש ''מחוץ למודל'' בניגוד למה שעלול להשתמע מדבריך לפעמים, כאילו להסתכל מבחוץ זה שטויות.
תשובה טכנית 320241
אתה צריך לנקד מילה כמו "כְּפִיות", אחרת אפשר לחשוב שאתה מדבר על אוכל או אביזרי-לבוש המקובלים בתרבויות מסויימות.

לגבי "להשתמע" - חלילה וחס, להסתכל מבחוץ זה מאוד יפה. הדבר שאני משתומם עליו הוא שהיה צריך את גדל כדי להשתכנע לעשות זאת, נגיד, בפסיכולוגיה.
עוכר שמחות שכמותך 320253
לא יכולת לחכות עד שמישהו יקפוץ עם:
"מה אתה מבלבולים פו אם כפיות מה כפיות אך זה קשור???!?"
עוכר שמחות שכמותך 320254
אבל בזכות זה גיליתי שיש הבדל בחומרת האזהרה בין שני סימני קריאה/שאלה רצופים לשלושה.
רד לעשרים בכל זאת.
עוכר שמחות שכמותך 320255
יש הבדל????

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

ניסיון ההתחמקות הפתטי הזה שלך מההבטחות חסרות-השחר של "מחר", "מחרתיים" וכו' הוא שקוף ועלוב עד מאוד, מר מינדרבינדר. כשאגיע לארץ אצוד אותך, ואתה תהיה חייב לי מקופלת. והסבר.
עוכר שמחות שכמותך 320258
הרשה לי להתעלם מקשיחותו של אלון, ולשאול:
"מה אתה מבלבולים פו אם כפיות מה כפיות אך זה קשור???!?"
עוכר שמחות שכמותך 320263
השאלה היתה רצינית? אם כן אשמח להוסיף אותה לרשימת המחר/מחרתיים.
עוכר שמחות שכמותך 320271
רצינית בהחלט, חרף ניסוחה המגומגם משהו. הכפיות, כולל אלו עם ה-כ' השוואית, אינן מוכרות לי כמושג מתמטי.
עוכר שמחות שכמותך 320278
אני רוצה שאורי יתרכז בשאלות הקודמות, אז אני אתנדב: כְּפִיה (forcing) היא שיטה בלוגיקה מתמטית שפותחה, למיטב ידיעתי, בידי פול כהן בשנות הששים, ומאפשר לבנות מודלים עבור טענות מסויימות. השם "כפיה" מתייחס לכך שהשימוש בשיטה מאפשר "לכפות" על המודל לקיים תכונות רצויות מסויימות.

כהן פיתח את השיטה, והשתמש בה, כדי להוכיח שהשערת-הרצף אינה תלויה ב-ZFC. גדל עשה חצי מהעבודה הרבה קודם - הוא הראה שהשערת הרצף אינה *סותרת* את ZFC - וכהן הראה את ההיפך: גם שלילתה של השערת הרצף אינה סותרת את ZFC, ומכאן שהאקסיומות הרגילות של תורת הקבוצות אינן מסוגלות לקבוע אם יש או אין קבוצה של ממשיים שאינה בת-מנייה ואינה בת עצמת הרצף.
עוכר שמחות שכמותך 320326
הם הוכיחו את כל מה שאמרת בהנחה ש-ZFC עקבית, כמובן.
נודניק :-) 320378
עוכר שמחות שכמותך 320366
תודה.
בעד הפלטוניזם 320040
1. נניח שלכל משוואה דיופנטית, היה אפשר למצוא הוכחה ב-ZFC לאי-פתירותה (אם היא לא פתירה) או לפתירותה (אם היא כן). אם כך, הרי לנו אלגוריתם לבעייה העשירית: נייצר, במקביל, הוכחות ב-ZFC ו-m-יות של מספרים; נבדוק אם ההוכחה היא (במקרה) הוכחה לאי-פתירות המשוואה, ואם המספרים מהווים פתרון; אם לא, נמשיך. תחת ההנחה ממנה התחלנו, זהו אלגוריתם תקין. כיוון שאין כזה, ההנחה שגויה: ישנן משוואות ספציפיות שאי-פתירותן אינה משפט של ZFC.

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

3. לא "במובן האמוני": יש לה ערך-אמת ממש, והוא "נכון". מדוע זה דורש יותר אמונה מעצם ההנחה שהאקסיומות של ZFC נכונות?

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

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

זה מה שמפריע למודל הטבעי לכסות גם טענות מורכבות: הוא לא כולל באמתחתו את האובייקטים עליהם אתה מדבר. אתה יכול לדבר על "המספרים הטבעיים, וכל הקבוצות ה-r.e. שלהם"; אתה יכול לדבר על "המספרים הטבעיים, וכל הקבוצות השרירותיות שלהם"; בשני המקרים אלו אותם מספרים טבעיים בדיוק, רק עם אוסף אחר של קבוצות חלקיות.

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

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

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

אולי נחזור אחורה: התחלנו מהאבחנה שיש טענות אריתמטיות חוץ מעקביות ZFC שהן לא כריעות ב-ZFC; יש אפילו משוואות דיופנטיות כאלה - וקיומן הוא, נדמה לי, יותר מעניין מהוכחה מסוג זה למשוואה ספציפית. בעקבות זאת אני ניסיתי לטעון שהזיהוי של "יכיח-ב-ZFC" עם "נכון" הוא ממילא לא סביר, והוא נשאר לא סביר גם כשנזכרים שיש גם טענות יותר מורכבות (לא פאי-‏1-0) שאינן יכיחות. לגבי אלה, גם אני מודה שאנחנו נשארים די תקועים לגבי בירור המצב לאשורו; אבל אני בכל-זאת סבור שיש כזה מצב לאשורו, ואני מנסה להבין מדוע אתה סבור(?) שאין כזה.
בעד הפלטוניזם 320127
"אם ZFC עקבית וגם הפתירות של f לא כריעה אז אין ל- f פתרון".
זו לא סתירה?
בעד הפלטוניזם 320132
למה סתירה?
(עקבית = המערכת לא מוכיחה ששה דברים בלתי אפשריים לפני ארוחת הבוקר. שלמה = המערכת מצליחה להחליט לגבי כל טענה. אנחנו מאמינים ש- ZFC עקבית, ויודעים שהיא לא שלמה).
בעד הפלטוניזם 320138
זה מזכיר את הדיאלוג המעצבן שהיה לי עם אלון לפני כמה ימים: אם הגעת למסקנה שאין ל- f פתרון, איך אתה יכול להגיד באותה נשימה שהפתירות של f אינה כריעה? הרי הכרעת.
בעד הפלטוניזם 320141
הבעיה נפתרת אם מדברים במשפטים שלמים. אם מניחים ש- ZFC עקבית, אז הפתירות של f אינה כריעה במסגרת ZFC (כלומר, אין הוכחה ב- ZFC לפתירות של f וגם לא לאי-הפתירות). מכאן אני מסיק ש*אם מניחים ש- ZFC עקבית*, אז f אינה פתירה. לטענה *הזו*, יש הוכחה במסגרת ZFC (אלון מציע ניסוח אחר, אבל הם שקולים). לטענה "f אינה פתירה" אין הוכחה ב- ZFC (כמו שאין הוכחה לכך ש- ZFC עקבית).
בעד הפלטוניזם 320145
כן, [אני חושב ש]את זה הבנתי אחרי מאמציו הבלתי נלאים של אלון, רק הסברתי את שאלתה של האלמונית לגבי הסתירה כביכול.
בעד הפלטוניזם 320146
הבנתי.:)
בעד הפלטוניזם 320142
ראה תגובה 320138
בעד הפלטוניזם 637539
זו הוכחה ב-ZFC, אבל חסרה כאן רישא: "אם ZFC היא אומגה-קונסיסטנטית, אז...".
אומגה-קונסיסטנטיות פירושה: לא מתקיים מצב שבו המערכת מוכיחה משפט מהסוג "קיים מספר טבעי n כך שמתקיים P(n)", אבל גם לכל מספר טבעי n היא מוכיחה "לא P(n)".
כמובן אי אפשר להוכיח ב-ZFC ש-ZFC היא אומגה-קונסיסטנטית.
בעד הפלטוניזם 436354
אני מגיב דווקא להודעה הזו באופן חצי-שרירותי‏1, ונראה שקצת מאוחר מידי. אבל לא נורא, ממילא יש לי פחד קהל.

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

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

זה, יחד עם העובדה שכל תורה עקבית היא שלמה אם ורק אם יש לה מודל (=מבנה בו היא אמיתית), נראה (לי) כמו הצדקה לא רעה בכלל לגישה הפלוטנסטית הרכה שאתה מציג כאן, לפיה תורת המספרים היא שלמה. זו כמעט‏4 הוכחה.

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

אבל למי זה מפריע? כל עוד יש גישה בלתי אמצעית למבנה (המנטלי, שהוא המושא לחקירה מלכתחילה) אפשר לבחור קבוצה שונה של אקסיומות (מתוך המשפטים אותם בקלות מזהים כנכונים במבנה), ולבדוק מה אפשר להסיק מהם‏6. אולי יהיו הרבה משפטים שלא נדע אם הם נכונים או לא, אבל כך או כך, The truth is out there.

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

1 גם "חצי" כאן הוא חצי-שרירותי, ויכול היה להיות, נאמר, אחת-חלקי-פאי-שרירותי.

2 שהיא תה"י, וכאן, בד"כ, מסדר ראשון.

3 מן הסתם אתה יודע, אבל למען השלמות: מבנה הוא קבוצה עליה מדברים המכונה "עולם", עם יחסים עליה, ופונקציה המתאימה לכל קבוע בשפה, ערך בעולם, לכל יחס בשפה, יחס בעולם וכו'.

4 הדבר הטוב הבא, אחרי הוכחה....

5 ואם לא, "אוכלים אותה" מכיוונים אחרים.

6 בזכות משפט-השלמות אפשר באמת לומר "להסיק" בהקשר הזה...
בעד הפלטוניזם 436374
>בכל הדיון שלכם למעלה (וככל שהרחקתי לראות, גם למטה), נראה שאתם מתייחסים רק לדרך אחת בה אפשר לתת ערכים סמנטיים לשפה‏2: באמצעות אקסיומות. אבל יש דרך טבעית יותר לעשות זאת: באמצעות מבנה‏3.

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

>"מבנה", עד כמה שהוא מושג מתמטי-פורמלי, הוא למיטב הבנתי גם מושג *שקודם* למתמטיקה וללוגיקה.

במובן הלא פורמלי, אתה צודק. במובן הפורמלי תורת המודלים פותחה בד בבד עם הלוגיקה.

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

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

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

גם זה לא נראה לי נכון. הרבה פעמים מנסחים בעזרת אקסיומות את התכונות הרלוונטיות של איזשהו מבנה ואח"כ מסתכלים על איזה מבנים אחרים יש המקיימים את האקסיומות.

>אבל למי זה מפריע? כל עוד יש גישה בלתי אמצעית למבנה (המנטלי, שהוא המושא לחקירה מלכתחילה) אפשר לבחור קבוצה שונה של אקסיומות (מתוך המשפטים אותם בקלות מזהים כנכונים במבנה), ולבדוק מה אפשר להסיק מהם‏6. אולי יהיו הרבה משפטים שלא נדע אם הם נכונים או לא, אבל כך או כך, The truth is out there.

שוב, על זה כל הדיון. אם נרחיב קצת את התחום מהמספרים הטבעיים לתורת הקבוצות, נניח: האם The truth is out there גם לגבי השערת הרצף?
בעד הפלטוניזם 436392
טוב, לא באמת חשבתי שאני מחדש משהו משמעותי, בסה"כ ניסיתי להציג זווית קצת אחרת להנמקת הגישה עליה אלון הגן. בניגוד לאופן בו אתה רואה את הדברים, אני לא משוכנע שהוא בעצמו היה מסכים איתי (אחרת הוא לא היה כותב "אני לא חושב על הטבעיים כמודל של כלום, אלא כמשהו שקודם למושגים "מודל" ו"הוכחה"')

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

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

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

* ומראש בכלל לא הייתי.
בעד הפלטוניזם 637541
ובכן, יש רק מודל יחיד לאקסיומות פיאנו המנוסחות בשפה של לוגיקה מסדר שני (או משהו כזה), ונראה לי שזה המודל של הטבעיים שכולנו חושבים עליו.
הבא בתור הוא סוס 436948
4 הדבר השני-הכי-טוב (ואני מקווה שיש דרך עוד יותר רהוטה לומר זאת בעברית)
הבא בתור הוא סוס 436962
הדבר השני בטיבו?
הבא בתור הוא סוס 436993
ברוך השב
הבא בתור הוא סוס 436963
או ''הדבר השני הטוב ביותר'', או ''האפשרות השנייה בדרגה''.
הבא בתור הוא סוס 436972
''בינונית שבעידית'' (טוב כשיש בדיוק תשע אפשרויות).
בעד הפלטוניזם 437394
''כל תורה עקבית היא שלמה אם ורק אם יש לה מודל''

נדמה לי שהמשפט הזה מוטעה. לכל תורה עקבית (המנוסחת באמצעות תחשיב היחסים) יש מודל, בלי קשר לשלמותה. למשל, למערכת אקסיומות פיאנו יש מודל (המספרים הטבעיים) על אף שאיננה שלמה.
בעד הפלטוניזם 437402
מנבכי זכרוני הרעוע עולה טענה בסגנון "אם יש לתורה שני מודלים לא איזומורפיים היא לא שלמה". אני מניח שהיא שגויה אבל הרעיון הבסיסי הוא שאי-שלמות של תורה לא צריכה להתבטא בכך שאין לה מודל, אלא בכך שיכולים להיות לה כמה מודלים שונים מהותית - כשהשוני בא לידי ביטוי, למשל, באותם משפטים שאינם כריעים: במודל אחד הם יהיו נכונים ובמודל השני שקריים.
בעד הפלטוניזם 437403
הטענה ''אם יש לתורה שני מודלים לא איזומורפיים היא לא שלמה'' היא לא נכונה, כמובן. המונח שאתה מחפש הוא ''שקולים אלמנטרית'' שפשוט אומר שהמודלים מקיימים את אותן טענות מסדר ראשון. הטענה ''יש לתורה שני מודלים לא שקולים אלמנטרית אם ורק אם היא לא שלמה'' היא טאוטולוגיה קלה במיוחד, בהנתן משפט השלמות.
בעד הפלטוניזם 437405
המממ, אני הייתי בטוח שהיה איזשהו מושג יותר טריוויאלי מ''שקולים אלמנטרית'' שגורר את זה, אבל כאמור היינו ילדים וזה היה מזמן.
בעד הפלטוניזם 437408
"היינו ילדים וזה היה מזמן" מתייחס לירושלמים בלבד!
בעד הפלטוניזם 437446
אני לא בטוח שהבנתי את ההקשר של התגובה הזאת. היא מופנית אלי או אל עומר (תגובה 436354)?
בעד הפלטוניזם 437472
לשניכם, לא?
בעד הפלטוניזם 437455
כן, ברור שהמשפט שציטטת אינו מדוייק. ראשית, מכיוון שצריך להוסיף הסתייגות לגבי כך שמדובר בתורות מסדר ראשון (וכל תורה שכוללת את אקסיומות פיאנו אינה כזו), ושנית, מכיוון ש-''יש לה מודל'' צריך היה להיות ''יש מבנה שהיא התורה שלו'' (שזה דומה, אבל לא אותו הדבר).
בעד הפלטוניזם 437468
ניתן לראות את אקסיומות פיאנו כתורה מסדר ראשון (כאשר "אקסיומת האינדוקציה" היא סכמת אקסיומות). ועדיין, המספרים הטבעיים הם מבנה שמקיים את התורה, אך היא איננה שלמה.

חוץ מזה, מה שגדי אמר (תגובה 437402).

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

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

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

אני לא יודע מה הקשר למה שגדי אמר.
בעד הפלטוניזם 637547
אבל המשפטים הם הפוכים: משפט השלמות של גדל (המקשר בין מודל לתורה) הוא על תורות מסדר ראשון, ומשפט אי השלמות הוא על תורות בכלל, לאו דווקא מסדר ראשון.
בעד הפלטוניזם 319833
שכחתי להשיב על השאלה האחרונה: הוא אומר של-(Con(T יש ערך אמת, ושאם T היא סיגמא-נאותה (כלומר לא מוכיחה בטעות שטענה-דמוית-גולדבאך היא שקרית, כשהיא לא), אז שערך האמת הוא "נכון". מובן שבמקרה זה זו טענה מאוד לא מעניינת: מספיק ש-T תהיה עקבית כדי שהפסוק יהיה נכון.
בעד הפלטוניזם 319764
"כל מספר טבעי איננו (מספר גדל של) הוכחה ב-T לכך ש-T עקבית", למשל".
האם אני מבינה נכון הפעם, שאין למצוא ב-T הוכחה לעקביותה?
בעד הפלטוניזם 319767
בדיוק. "המשפט השני: אם T תורה אריתמטית ואפקטיבית, אז יש נוסחה C האומרת "T היא עקבית". אם, בנוסף, T עקבית, הנוסחה C אינה ניתנת להוכחה ב-T." (מן המאמר)
בעד הפלטוניזם 319770
תודה.:)
נודניק :-) 319810
מחר.
נודניק :-) 320044
מחרתיים.
נודניק :-) 320047
על-פי מבקרי-תרבות מסויימים, הוכחת עכשיו באינדוקציה שלעולם לא תענה לי.
נודניק :-) 321339
אם עד סוף השבוע אין איזה נימוק חדש-אמיץ ממך או מעוזי, אני מכריז חד-צדדית על ניצחון טכני לפלטוניזם אריתמטי.
נודניק :-) 321390
לפני שאתה מכריז הכרזות, הייתי רוצה לדעת מהו בדיוק (בדיוק) הפלטוניזם האריתמטי שאתה מדבר עליו. לאילו טענות יש ערך אמת 'טבעי' - באיזו שפה הן צריכות להיות מנוסחות, מה אתה מניח על המבנה הטכני שלהן, ועל מה הן צריכות לחול.
נודניק :-) 321408
בשלב זה, אני מסתפק בטענה שכל טענה מסדר ראשון בשפה של האריתמטיקה‏1 היא בעלת ערך-אמת. אין כל הנחה על המבנה הטכני. את השאלה האחרונה אני לא בטוח שאני מבין - אני מפרש את הטענות (באופן ברור) כטענות על המספרים הטבעיים. פסוק מהסוג "קיים x כך ש-P" הוא נכון אםם יש מספר טבעי כך ש-P; שאר המרכיבים של פסוקים מסדר ראשון הם אפילו עוד יותר טריוויאליים.

1 עם סימן =, ועם אוסף לא מוגבל של סימני פרדיקטים ופונקציות מכל arity.
נודניק :-) 321417
מה זה "בשפה של האריתמטיקה"? דווקא מערכת עם קבוע ופונקצית עוקב כמו ב- PA? מותר חיבור וכפל (גם כמו ב-PA, בערך)? האם אתה מרשה להשתמש בשפה של ZFC? למה לא?
נודניק :-) 321422
סברתי, אולי בטעות, ש"השפה של האריתמטיקה" היא מונח מקובל. בכל אופן, כן, הכוונה לשפה שמכילה את הקבוע 0, את סימן העוקב, ואת הסימנים +, * ו-> (למה "בערך"?). הניסוח "כמו ב-PA" מפריע לי; PA היא מערכת של אקסיומות בשפה הזו, אבל לשפה עצמה אין שום קשר למערכת אקסיומטית מסויימת.

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

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

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

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

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

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

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

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

נימוק אחר שאפשר להעלות (והעליתם) הוא כזה: אם אני כל כך נאיבי שאני מייחס ערך אמת לכל פסוק כנ"ל, למה אני עוצר כאן ולא ממשיך אל השערת הרצף וכו'? בשלב זה, התשובה שלי היא שאני באמת לא בטוח שאני חייב לעצור, אבל אם אני רוצה לעצור, אני יכול להצדיק זאת כך: כמתים המתייחסים לקבוצות שרירותיות של טבעיים הם מיד חשודים יותר מכמתים המתייחסים למספרים עצמם. המושג "קבוצה שרירותית" הוא באופן איכותי יותר בעייתי מהמושג "מספר טבעי שרירותי", מסיבות שאני חושב שכולנו מסכימים עליהן (ואם לא, אפשר לדון גם בזה).
נודניק :-) 432292
"היעלמותי הקרבה ובאה"?
נודניק :-) 432295
הוא יוצא לחפש את הסנרק. איפה מחפשים? בגוגל, כמובן.
  נודניק :-) • אורי גוראל-גורביץ'
  נודניק :-) • אלון עמית
  נודניק :-) • האייל האלמוני
  ללא כותרת • א. (כדה''ב)
  ללא כותרת • האייל האלמוני
  ללא כותרת • אלון עמית
  ללא כותרת • האייל האלמוני
  ללא כותרת • אלון עמית
  ללא כותרת • האייל האלמוני
  ללא כותרת • עירקי רציני
  באשר עבדנו אבדנו • אורי גוראל-גורביץ'
  חידה: • שוטה הכפר הגלובלי
  נו? • אורי גוראל-גורביץ'
  נו? • שוטה הכפר הגלובלי
  נו? • אורי גוראל-גורביץ'
  נו? • שוטה הכפר הגלובלי
  באשר אבדנו עבדנו‏1 • אלון עמית
  באשר עבדנו אבדנו‏1 • אורי גוראל-גורביץ'
  באשר עבדנו אבדנו‏1 • אייל מולד(ר)
  באשר עבדנו אבדנו‏1 • אורי גוראל-גורביץ'
  באשר עבדנו אבדנו • אלון עמית
  באשר עבדנו אבדנו • אורי גוראל-גורביץ'

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

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