בתשובה לאלון עמית, 10/07/05 19:44
 |
|
 |
||
|
||||
 |
לגבי הוכחות אי תלות ועקביות, אתה כמובן צודק, אבל הטיעון הנ"ל נכון לכל משפט שעליו אומרים "הוכחנו עקביות" או "הוכחנו אי תלות". בדרך כלל לא מתחילים ממערכת פורמלית חזקה יותר, אלא עובדים ב-ZFC ומוכיחים עקביות יחסית כלומר מוכיחים את המשפט הפורמלי: Con(ZFC)->Con(ZFC+CH)
|
 |
 |
 |
|
|
|
||
|
||||
|
נכון, במיוחד ל-ZFC. נדמה לי שהוכחות אי-תלות ב-PA דווקא לעיתים נעשות פשוט ב-ZFC (או בחלק שלה), למשל משפט גודסטין הזכור לטוב. | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |