בתשובה לאיזור חסר אגו במוחו של אלון עמית, 03/01/10 5:58
שיבושם לך 532769
1) גם לי נמאס מהדיון הזה.
2) יש משפט אי שלמות לסדר שני.
3) רק בריאות.
4)ביי.
שיבושם לך 532770
(נסיון אחרון)

2) רפרנס לספר (Textbook, כזה שמוכיח דברים באופן רציני) שמנסח ומוכיח את המשפט? (אם יש רק מאמר, אז מאמר)
שיבושם לך 532771
(מאוד ייתכן שיש משפט המכונה בשם הזה - אז מה? כל מה שאמרתי הוא שמשפט אי-השלמות הראשון של גדל מנוסח באופן כזה שאינו חל על תורות מסדר שני, כי הוא מניח כנתון קיומה של מערכת הוכחה פורמלית).
שיבושם לך 532774
(וואו, נכנסת לשדה מוקשים. עכשיו אפשר לשלוף לך ספר שמשחק באופן שונה עם הטרמינולוגיה וכן מדבר על משפט אי השלמות הראשון, במובן של ה-Tradeoff שהזכרתי קודם)
שיבושם לך 532778
יכול להיות. אני לא חושב שזה מאוד משנה - בסה''כ יש כאן סדרה לא ארוכה של טענות ברורות מאוד לגבי היכולת להוכיח באופן פורמלי דברים לגבי מספרים טבעיים. אלו שאלות מעניינות שאני בד''כ נהנה לדון בהן (יותר מדי נהנה לפעמים), אבל לא באופן שהדיון הזה התדרדר אליו.
שיבושם לך 532780
תאמין לי אם הייתי יודע שעל זה הדיון הייתי מוותר לך מלכתחילה, אז משפט גדל לא מדבר על סדר שני זה המשפט השני שמדבר על סדר שני.
ביג דיל.
שיבושם לך 532782
בדיוק: ביג דיל. (על מה בדיוק היית צריך "לוותר" לי? ביקשת ממך משהו?)
שיבושם לך 532783
(צ''ל ''ביג דיל''. גם לדעתי שמות המשפטים אינם חשובים.)
שיבושם לך 532786
דיברתי עם גדי, לא שאכפת לי שאתה מדבר עם הטרחן שקרא לך שקרן, פשוט משמעות המילה ''לך'' משתנה.

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

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