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

בתשובה לעוזי ו., 27/07/05 2:11

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

637539

דני גליק • בתשובה לעוזי ו.

שבת, 2/8/2014, 16:28

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

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

המאמר המלא

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