בתשובה להאייל האלמוני, 27/07/05 14:02
בעד הפלטוניזם 320132
עוזי ו. • בתשובה להאייל האלמוני יום ד', 27/7/2005, 14:25
למה סתירה?
(עקבית = המערכת לא מוכיחה ששה דברים בלתי אפשריים לפני ארוחת הבוקר. שלמה = המערכת מצליחה להחליט לגבי כל טענה. אנחנו מאמינים ש- ZFC עקבית, ויודעים שהיא לא שלמה).
בעד הפלטוניזם 320138
שוטה הכפר הגלובלי • בתשובה לעוזי ו. יום ד', 27/7/2005, 14:36
זה מזכיר את הדיאלוג המעצבן שהיה לי עם אלון לפני כמה ימים: אם הגעת למסקנה שאין ל- f פתרון, איך אתה יכול להגיד באותה נשימה שהפתירות של f אינה כריעה? הרי הכרעת.
בעד הפלטוניזם 320141
עוזי ו. • בתשובה לשוטה הכפר הגלובלי יום ד', 27/7/2005, 14:45
הבעיה נפתרת אם מדברים במשפטים שלמים. אם מניחים ש- ZFC עקבית, אז הפתירות של f אינה כריעה במסגרת ZFC (כלומר, אין הוכחה ב- ZFC לפתירות של f וגם לא לאי-הפתירות). מכאן אני מסיק ש*אם מניחים ש- ZFC עקבית*, אז f אינה פתירה. לטענה *הזו*, יש הוכחה במסגרת ZFC (אלון מציע ניסוח אחר, אבל הם שקולים). לטענה "f אינה פתירה" אין הוכחה ב- ZFC (כמו שאין הוכחה לכך ש- ZFC עקבית).
בעד הפלטוניזם 320145
שוטה הכפר הגלובלי • בתשובה לעוזי ו. יום ד', 27/7/2005, 14:58
כן, [אני חושב ש]את זה הבנתי אחרי מאמציו הבלתי נלאים של אלון, רק הסברתי את שאלתה של האלמונית לגבי הסתירה כביכול.
בעד הפלטוניזם 320146
האייל האלמוני • בתשובה לעוזי ו. יום ד', 27/7/2005, 14:59
הבנתי.:)
בעד הפלטוניזם 320142
האייל האלמוני • בתשובה לעוזי ו. יום ד', 27/7/2005, 14:45
ראה תגובה 320138
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות