בתשובה לאלון עמית, 04/09/03 3:52
מטא-מטא-מתמטיקה 168152
חשבתי ש GC (או שלילתה) חייבת לנבוע מז.פ.צ'. בגלל שהיא מרחיבה את האריתמטיקה מסדר שני. (אולי יש לי טעות במשהו עדין? איני לוגיקאי.)

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

צ'או ברודר
מטא-מטא-מתמטיקה 168188
ה-C ב-ZFC הוא לא עבור "כהן"? אם כן, הרי שבעברית יש לומר צפ"ך או צפ"כ.
מטא-מטא-מתמטיקה 168192
לא, זה עבור Cesàro.
ה-Z הוא עבור Zermelo.

אי לכך, ובהתאם לזאת, הדוקטור צודק.
מטא-מטא-מתמטיקה 168197
ZF הם צרמלו ופרנקל. ZFC היא מערכת האקסיומות של צרמלו ופרנקל, בתוספת אקסיומת הבחירה (Axiom of Choice).

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

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים