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