בתשובה לאלון עמית, 04/09/03 3:52
 |
|
 |
||
|
||||
 |
חשבתי ש GC (או שלילתה) חייבת לנבוע מז.פ.צ'. בגלל שהיא מרחיבה את האריתמטיקה מסדר שני. (אולי יש לי טעות במשהו עדין? איני לוגיקאי.) בכל אופן זה לא נראה לי חשוב: מה שחשוב זה האם ZFC יחד עם הנחת עקביותה (זו אקסיומה נוספת, שכל המתמטיקאים מניחים במובלע כדי שיהיה טעם לתוצאות שלהם) מכריעה את GC. נראה לי שצריך להיות כך אך יכול להיות שאני טועה. צ'או ברודר |
 |
 |
 |
|
|
|
||
|
||||
|
ה-C ב-ZFC הוא לא עבור "כהן"? אם כן, הרי שבעברית יש לומר צפ"ך או צפ"כ. | |
|
|
|
|
|
||
|
||||
|
לא, זה עבור Cesàro. ה-Z הוא עבור Zermelo. אי לכך, ובהתאם לזאת, הדוקטור צודק. |
|
|
|
|
|
|
||
|
||||
|
ZF הם צרמלו ופרנקל. ZFC היא מערכת האקסיומות של צרמלו ופרנקל, בתוספת אקסיומת הבחירה (Axiom of Choice). | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |