טרחנים כפייתיים במתמטיקה

בתשובה לדורון שדמי, 20/09/05 18:24

מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת 2)

331204

דורון שדמי • בתשובה לדורון שדמי

יום ד', 21/9/2005, 0:22

אני רוצה לתקן את המשפט:

"התעלמות מודעת מ-(א) משתמשת במודע באי-הכרעה, הגוררת מיידית הוספת מטא-אקסיומות למערכת,"

ל:

"התעלמות מודעת מ-(א) משתמשת במודע באי-הכרעה, הגוררת מיידית שינוי יסודי בשיטה הפורמלית, המאפשרת אי-כריעות AND כריעות כתנאי יסוד שלה.

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

המאמר המלא

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