בתשובה לדורון שדמי, 19/09/05 17:49
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330870
האייל הצעיר • בתשובה לדורון שדמי יום ב', 19/9/2005, 18:59
"אתה דורש ממני פעול ללא תבונה כדי שאתה תבין?"

לא. אני מציע לך להשתמש בדרך הנכונה בכלי שנקרא "הוכחה בדרך השלילה". אם אתה רוצה להוכיח שיש סתירה בהנחות מסוימות (למשל, השיטה האקסיומטית), אתה צריך להניח שההנחות נכונות ולהגיע מהן לסתירה.
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330889
גדי אלכסנדרוביץ' • בתשובה להאייל הצעיר יום ב', 19/9/2005, 19:46
אפילו האינטואיציוניסטיים לא מקבלים את דרך ה"הוכחה" הפתטית הזו. אתה חושב שמתמטיקאי רציני כמו דורון יקבל אותה?
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330896
האייל הצעיר • בתשובה לגדי אלכסנדרוביץ' יום ב', 19/9/2005, 20:07
למען האמת, חשדתי שלא. אבל הוא כל הזמן מנסה להראות שיש סתירה ב-ZF, אז רציתי לנסות להסב את תשומת ליבו לעובדה שהוא משתמש בשיטה זאת, ושהוא לא עושה זאת בדרך הנכונה.
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 330938
דורון שדמי • בתשובה להאייל הצעיר יום ב', 19/9/2005, 22:34
אם אני מוכיח את טענותי שאופן ישיר (ואני מוכיח אותם באופן ישיר) אין שום צורך להשתמש בהוכחה על דרך השלילה.
מחשבות טרחניות על המוחלט והיחסי בשפת המתמטיקה 331000
האייל הצעיר • בתשובה לדורון שדמי יום ג', 20/9/2005, 11:20
א. מתי הוכחת את טענותיך באופן ישיר? הדבר הכי קרוב להוכחה היו אמירות שכל מי שלא מסכים איתך מפחד או לא תבוני.

ב. ניסית להראות שיש סתירה ב-ZF, ולכן יש להשתמש במתמטיקה המונאדית, נכון? אבל כדי להראות את הסתירה (או ליתק דיוק, כדי להדוף את הפתרון לסתירה) השתמשת בהנחות של המתמטיקה המונאדית. זאת הבעיה.
חזרה לעמוד הראשי
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות