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

בתשובה לדורון שדמי, 22/09/05 11:56

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

331607

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

יום ה', 22/9/2005, 13:18

אז אם נוסיף ל-ZF את האקסיומה "קיימת קבוצה", זה יפתור את כל הבעיות שלנו. כי אז, "ריקנותה" של קבוצה מסוימת תהיה תכונה משנית.

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

331610

שוטה הכפר הגלובלי • בתשובה להאייל הצעיר

יום ה', 22/9/2005, 13:24

נדמה לי שעוזי אמר פעם שלא צריך את האקסיומה הזאת.

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

331615

האייל הצעיר • בתשובה לשוטה הכפר הגלובלי

יום ה', 22/9/2005, 13:37

בוודאי שלא, הרי יש את האקסיומה שלפיה קיימת קבוצה ריקה. אך דורון מתעקש לא לקבל את האקסיומה הקיימת בתור אקסיומת קיום. הוא רוצה שהיא תהיה ''תכונה משנית''.

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

331660

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

יום ה', 22/9/2005, 16:13

"אז אם נוסיף ל-ZF את האקסיומה "קיימת קבוצה", זה יפתור את כל הבעיות שלנו."

ממש לא, כי באותה מידה ניתן להוסיף לZF את האקסיומה "קיימת שדחרדקףיה".

ללא הגדרה מופרטת הניתנת לבקורת, אין שום טעם בהגדרת קיום של אלמנט מתמטי.

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

המאמר המלא

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