בתשובה לגדי אלכסנדרוביץ', 30/12/09 5:53
יש אמת מעבר למילים. 532401
2) מדובר אכן בניסוח של משפט השלמות בניסוח הכי חזק שניתן.
3ב. משפט אי השלמות הראשון אכן חל גם על פיאנו סדר שני, לדוגמה הנה הוכחה של משפט אי השלמות הראשון של גדל למספרים .http://www.maths.lth.se/matstat/staff/bengtr/mathlog...
ורק הערה לאמיצים שעדיין איתנו, מדובר אומנם בהוכחה שלמה אבל מדובר בטקסט די קריא שכמעט לא דורש ידע מוקדם. הדברים היחידים שצריך להבין זה מה זה משפט לוגי ואת העובדה (שהיום היא טריוויאלית) שניתן להצמיד לכל משפט לוגי מספר.
יש אמת מעבר למילים. 532402
משפט אי-השלמות לא חל על תורות מסדר שני (ואני לא מבין למה כוונתך ב"הוכחה של משפט אי השלמות הראשון של גדל למספרים".)

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

משפט אי-השלמות הראשון תקף, כמובן, לכל תורה מסדר ראשון, כולל תורות של "מספרים", של קבוצות, ושל זברות ורודות.

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

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

לגבי האלגוריתם, קצת עצוב לי לבשר לך את זה אבל עשית את אחת הטעויות הבסיסיות באלגוריתמיקה, יש אלגוריתם, מבין שתי האלגוריתמים "כן" ו"לא" אחד מהם הוא הפיתרון המבוקש.
יש אמת מעבר למילים. 532423
הופס - תגובה אחת וכבר אני מצטער שהצטרפתי לדיון. על לא דבר!
יש אמת מעבר למילים. 532424
מצטער שחשדתי בכשרים, בדיוק חשבתי שאולי התכוונת להגיד אלגוריתם שמקבל כל משוואה דיופנטית ועל משוואה ספציפית אומר אם כן או לא.
יש אמת מעבר למילים. 532427
טאגליין!
יש אמת מעבר למילים. 532428
איזה כיף זה לאנשי המתמטיקה לעומת אנשי מדעי הרוח.
יש אמת מעבר למילים. 532431
אני מכיר רק צרמלו מסדר ראשון (אברם), וצרמלו מסדר שני (יוסי בנאי).
יש אמת מעבר למילים. 532435
סורמלו (אברם, יוסי בנאי).
יש אמת מעבר למילים. 532443
(יודע, לא צריך להרוס כל בדיחה)
you don't know what you've got till its gone 532433
קבלתם את כל הבחורות ואתם עוד מתלוננים?
יש אמת מעבר למילים. 532458
למה? בגלל הכותרת?

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

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

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

ואכן, לעלות על אדם דוגמטי וטועה זה יחסית קל; הבעיה היא שדווקא בגלל שהטעות כל כך "ברורה", הדחף להמשיך ולציין אותה לא נעלם, והתוצאה היא דיון של 7,000 תגובות.
יש אמת מעבר למילים. 532473
כן, אבל אתה יכול לסיים את הדיון מבחינתך. להגיד לעצמך "זהו טרחן". לחייך, להיפרד בנימוס ולרדוף אחרי הנערה שמסתובבת עם מגש האפריטיפים. אתה לא צריך להמשיך לשוחח איתו כל המסיבה בגלל שהנושא עצמו מעניין אותך. אם יש אנשים אחרים מעוניינים להחליף איתו 7,000 תגובות נוספות זה לא צריך לשנות לך.
יש אמת מעבר למילים. 532474
יכול. מוטב תגיד לאלכוהוליסט שהוא יכול פשוט לקום בבוקר ולחייך ולזרוק את הבקבוק לפח.

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

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

אני מרגיש חשוף לטרחנות בעיקר כשאני נתקל בפילוסופיה אנליטית. אני מתאר לעצמי שלפחות חלק מההרגשה הזאת נובע מחוסר ההיכרות שלי עם הפרדיגמה. ואני מצטער שאין לי יותר הכשרה בפילוסופיה קונטיננטלית. לפעמים אני מרגיש שאני זקוק בדחיפות לפגוש רעיונות חדשים ומלהיבים. אז נכון שקריאה בפילוסופיה קונטיננטלית מחייבת הנמכה מסוימת של אמות המידה ה"רציונאליות". אבל הרווח הוא במשמעות, ובעושר הזוויות והאפשרויות להתבונן על העולם ועל החיים.
אבל טוב, זה ויכוח ישן.
יש אמת מעבר למילים. 532457
ראית שאני פורש מדיון על מתמטיקה שלא מוצה, ולא הסקת את המסקנה...?
יש אמת מעבר למילים. 532622
מסתבר שלא. לא קראתי את כל הפתילים (אולי היתה זו שגיאה) והשתכנעתי שיש כאן טעם בעוד קצת הסברים. נראה שאין.
יש שקשוקה מעבר לביצים 532425
טוב, נמאס לי להיות מרטיר 532715
אתה כתבת שאי אפשר אפילו לנסח את משפט אי השלמות לתורות מסדר שני . לעומת זאת בתגובה 166640 כתבת לד"ר טי "אני בטוח שאתה מכיר את משפט אי-השלמות ללוגיקה מסדר שני" בקיצור יא שקרן רימית את כולם וחשבת שלא יעלו עליך. אז עד שלא תסביר אני אחשוב שאתה שקרן ואם ההסבר שלך יהיה מספיק טוב אני אחשוב שאתה סתם חמור קופץ בראש.
שיבושם לך 532728
במקום להתעמק בתגובות עתיקות (ושגויות) שלי, תוכל ללמוד הרבה יותר מקריאת ספרות בנושא (כמו הספר עליו המלצתי). התגובה ההיא נכתבה בשנת 2003, ואת רוב מה שאני יודע על הנושא למדתי אחר-כך - בין השאר בעקבות העניין שהתעורר בי במהלך הדיון ההוא (ד"ר טי היה בבת אחת מתדיין בלתי-נסבל וגם הרבה יותר נעים לדיון ממך).

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

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

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

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

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

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

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

(אני מודה ש"הוכחה סמנטית" הוא מושג שבו נתקלתי רק בהקשר של תחשיב הפסוקים, ושם אפילו הייתה לו תועלת כלשהי; אבל אני לא רואה בעיה עם ההכללה האידיוטית שלי, מבחינה עקרונית).
שיבושם לך 532734
ודאי - לכן הדגשתי "להצרין". זו לא "רמאות", זו פשוט הדגשת ההבדל בין נביעה לוגית ליכיחות פורמלית. משפט השלמות של גדל מראה שההבדל הזה לא קיים בלוגיקה מסדר ראשון, וחסרונו בלוגיקה מסדר שני מראה את הבעייתיות של מערכות אקסיומטיות מסדר שני.
שיבושם לך 532769
1) גם לי נמאס מהדיון הזה.
2) יש משפט אי שלמות לסדר שני.
3) רק בריאות.
4)ביי.
שיבושם לך 532770
(נסיון אחרון)

2) רפרנס לספר (Textbook, כזה שמוכיח דברים באופן רציני) שמנסח ומוכיח את המשפט? (אם יש רק מאמר, אז מאמר)
שיבושם לך 532771
(מאוד ייתכן שיש משפט המכונה בשם הזה - אז מה? כל מה שאמרתי הוא שמשפט אי-השלמות הראשון של גדל מנוסח באופן כזה שאינו חל על תורות מסדר שני, כי הוא מניח כנתון קיומה של מערכת הוכחה פורמלית).
שיבושם לך 532774
(וואו, נכנסת לשדה מוקשים. עכשיו אפשר לשלוף לך ספר שמשחק באופן שונה עם הטרמינולוגיה וכן מדבר על משפט אי השלמות הראשון, במובן של ה-Tradeoff שהזכרתי קודם)
שיבושם לך 532778
יכול להיות. אני לא חושב שזה מאוד משנה - בסה''כ יש כאן סדרה לא ארוכה של טענות ברורות מאוד לגבי היכולת להוכיח באופן פורמלי דברים לגבי מספרים טבעיים. אלו שאלות מעניינות שאני בד''כ נהנה לדון בהן (יותר מדי נהנה לפעמים), אבל לא באופן שהדיון הזה התדרדר אליו.
שיבושם לך 532780
תאמין לי אם הייתי יודע שעל זה הדיון הייתי מוותר לך מלכתחילה, אז משפט גדל לא מדבר על סדר שני זה המשפט השני שמדבר על סדר שני.
ביג דיל.
שיבושם לך 532782
בדיוק: ביג דיל. (על מה בדיוק היית צריך "לוותר" לי? ביקשת ממך משהו?)
שיבושם לך 532783
(צ''ל ''ביג דיל''. גם לדעתי שמות המשפטים אינם חשובים.)
שיבושם לך 532786
דיברתי עם גדי, לא שאכפת לי שאתה מדבר עם הטרחן שקרא לך שקרן, פשוט משמעות המילה ''לך'' משתנה.
יש אמת מעבר למילים. 532404
(שכחתי להמליץ, לא בפעם הראשונה כמדומני, על Computability and Logic של Boolos, Burgess and Jeffrey. יש שם ניסוחים מדוייקים של כל המשפטים שהצליחו לבלבל אותך עד כה, כולל פרק קצר ונאה המסביר איך כל המשפטים הבסיסיים מתרסקים בתורות מסדר שני: משפט הקומפקטיות, סקולם-לוונהיים, ומשפט השלמות).
יש אמת מעבר למילים. 532450
אני לא מבין כלום במתמטיקה, אבל יש לי הרגשה שאתם לא בדיון הנכון.
יש אמת מעבר למילים. 532455
אני מקווה שאתה טועה, אבל אין לי רצון עז להעמיק חקר בשאלה הזו.
יש אמת מעבר למילים. 532555
לא ממש תכננתי לחזור לדיון הזה כי נראה לי שיש בו כל מה שצריך בשביל לקבוע דעה. אבל על תגובה 164351 קשה לוותר.
יש אמת מעבר למילים. 532496
לקחתי מהספרייה. נראה אחלה ספר (אני חושב שהצצתי בו פעם ולא התעמקתי - עכשיו אנסה לעשות קריאת Cover to cover).

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

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