בתשובה לגדי אלכסנדרוביץ', 03/01/10 17:41
 |
|
 |
||
|
||||
 |
(מאוד ייתכן שיש משפט המכונה בשם הזה - אז מה? כל מה שאמרתי הוא שמשפט אי-השלמות הראשון של גדל מנוסח באופן כזה שאינו חל על תורות מסדר שני, כי הוא מניח כנתון קיומה של מערכת הוכחה פורמלית). |  |
 |
 |
|
|
|
||
|
||||
|
(וואו, נכנסת לשדה מוקשים. עכשיו אפשר לשלוף לך ספר שמשחק באופן שונה עם הטרמינולוגיה וכן מדבר על משפט אי השלמות הראשון, במובן של ה-Tradeoff שהזכרתי קודם) | |
|
|
|
|
|
||
|
||||
|
יכול להיות. אני לא חושב שזה מאוד משנה - בסה''כ יש כאן סדרה לא ארוכה של טענות ברורות מאוד לגבי היכולת להוכיח באופן פורמלי דברים לגבי מספרים טבעיים. אלו שאלות מעניינות שאני בד''כ נהנה לדון בהן (יותר מדי נהנה לפעמים), אבל לא באופן שהדיון הזה התדרדר אליו. | |
|
|
|
|
|
||
|
||||
|
תאמין לי אם הייתי יודע שעל זה הדיון הייתי מוותר לך מלכתחילה, אז משפט גדל לא מדבר על סדר שני זה המשפט השני שמדבר על סדר שני. ביג דיל. |
|
|
|
|
|
|
||
|
||||
|
בדיוק: ביג דיל. (על מה בדיוק היית צריך "לוותר" לי? ביקשת ממך משהו?) | |
|
|
|
|
|
||
|
||||
|
(צ''ל ''ביג דיל''. גם לדעתי שמות המשפטים אינם חשובים.) | |
|
|
|
|
|
||
|
||||
|
דיברתי עם גדי, לא שאכפת לי שאתה מדבר עם הטרחן שקרא לך שקרן, פשוט משמעות המילה ''לך'' משתנה. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |