בתשובה לדורון שדמי, 19/09/05 17:43
 |
|
 |
||
|
||||
 |
"אם ברצונך להוכיח בדרך השלילה שיש סתירה בגישה האקסיומטית, עליך להניח ש*אין*, לפעול ע"פ השיטה האקסיומטית עצמה, בלי "תבונה" או התייחסות ל"תודעה", ולהגיע לסתירה. אם תגיע בצורה כזו לסתירה, כולנו נבין אותה." אני קורא ופשוט לא מאמין. אתה דורש ממני פעול ללא תבונה כדי שאתה תבין? האם אוזניך שומעות את מה שפיך דובר? או שמה "אין אף אחד בבית"? |
 |
 |
 |
|
|
|
||
|
||||
|
"אתה דורש ממני פעול ללא תבונה כדי שאתה תבין?" לא. אני מציע לך להשתמש בדרך הנכונה בכלי שנקרא "הוכחה בדרך השלילה". אם אתה רוצה להוכיח שיש סתירה בהנחות מסוימות (למשל, השיטה האקסיומטית), אתה צריך להניח שההנחות נכונות ולהגיע מהן לסתירה. |
|
|
|
|
|
|
||
|
||||
|
אפילו האינטואיציוניסטיים לא מקבלים את דרך ה"הוכחה" הפתטית הזו. אתה חושב שמתמטיקאי רציני כמו דורון יקבל אותה? | |
|
|
|
|
|
||
|
||||
|
למען האמת, חשדתי שלא. אבל הוא כל הזמן מנסה להראות שיש סתירה ב-ZF, אז רציתי לנסות להסב את תשומת ליבו לעובדה שהוא משתמש בשיטה זאת, ושהוא לא עושה זאת בדרך הנכונה. | |
|
|
|
|
|
||
|
||||
|
אם אני מוכיח את טענותי שאופן ישיר (ואני מוכיח אותם באופן ישיר) אין שום צורך להשתמש בהוכחה על דרך השלילה. | |
|
|
|
|
|
||
|
||||
|
א. מתי הוכחת את טענותיך באופן ישיר? הדבר הכי קרוב להוכחה היו אמירות שכל מי שלא מסכים איתך מפחד או לא תבוני. ב. ניסית להראות שיש סתירה ב-ZF, ולכן יש להשתמש במתמטיקה המונאדית, נכון? אבל כדי להראות את הסתירה (או ליתק דיוק, כדי להדוף את הפתרון לסתירה) השתמשת בהנחות של המתמטיקה המונאדית. זאת הבעיה. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |