תנו לגדול בשקט

בתשובה לשוטה הכפר הגלובלי, 27/07/05 14:36

בעד הפלטוניזם

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

הבנתי.:)

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

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות