בתשובה לאלון עמית, 28/08/03 11:08
 |
|
 |
||
|
||||
 |
אחי, אם ל זה.אף.צה. אין מודל אז למה לנו חיים? כל המתמטיקה מבוססת על זה, ולדעתי מניחה בעקיפין קיום מודל. ואם אין לה מודל, אז יש לי הוכחה מתמטית קצרה מאד להשערת פרמה וגם להשערת גולדבך. תלמיד תיכון T. |
 |
 |
 |
|
|
|
||
|
||||
|
כלומר, GC כן יכולה או לא יכולה להיות בלתי-תלויה ב-ZFC? | |
|
|
|
|
|
||
|
||||
|
נראה לי שהיא צריכה להיות משפט של זה.אף.צה, אבל מה שהזכרת על אי כריעות משוואות דיאופנטיות פגע בבטחוני המופרז ממילא. האם יש משוואות שלא ניתן להוכיח שיש להן פיתרון? מה עוד תוכל לומר על זאת? | |
|
|
|
|
|
||
|
||||
|
1. אני לא סבור שהפתרון השלילי לבעייה ה-10 רלוונטי לשאלות אי-תלות ב-ZFC; הזכרתי זאת רק כדוגמה לתוצאה שהיא בעיני מתמטיקה "אמיתית" ובעיניך, כך נדמה לי, לא. קישור לדוגמא: 2. לא הבנתי את כוונתך ב-"צריכה להיות". *כדאי* שהיא תהיה, *סביר* שהיא, או *לא יכול להיות אחרת*? |
|
|
|
|
|
|
||
|
||||
|
חשבתי ש GC (או שלילתה) חייבת לנבוע מז.פ.צ'. בגלל שהיא מרחיבה את האריתמטיקה מסדר שני. (אולי יש לי טעות במשהו עדין? איני לוגיקאי.) בכל אופן זה לא נראה לי חשוב: מה שחשוב זה האם ZFC יחד עם הנחת עקביותה (זו אקסיומה נוספת, שכל המתמטיקאים מניחים במובלע כדי שיהיה טעם לתוצאות שלהם) מכריעה את GC. נראה לי שצריך להיות כך אך יכול להיות שאני טועה. צ'או ברודר |
|
|
|
|
|
|
||
|
||||
|
ה-C ב-ZFC הוא לא עבור "כהן"? אם כן, הרי שבעברית יש לומר צפ"ך או צפ"כ. | |
|
|
|
|
|
||
|
||||
|
לא, זה עבור Cesàro. ה-Z הוא עבור Zermelo. אי לכך, ובהתאם לזאת, הדוקטור צודק. |
|
|
|
|
|
|
||
|
||||
|
ZF הם צרמלו ופרנקל. ZFC היא מערכת האקסיומות של צרמלו ופרנקל, בתוספת אקסיומת הבחירה (Axiom of Choice). | |
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |