בתשובה להאייל האלמוני, 14/07/05 12:43
עזרה בשעורי בית 316777
אלון עמית • בתשובה להאייל האלמוני יום ה', 14/7/2005, 13:14
אם יש לך כמה אקסיומות (נניח PA) שלא מוכיחות משהו (נניח C, שהיא הטענה "PA עקבית"), זה בדיוק אומר שהן לא מסוגלות לסתור את שלילתו של אותו משהו (שאחרת, היו מוכיחות אותו...), שזה בדיוק אומר שלא ניתן להגיע ל"...סתירה. מש"ל!" אם מתחילים מהן וממנו, שזה בדיוק אומר שצירוף שלילתו אליהן לא מוביל לסתירה, שזה בדיוק אומר שצירוף שלילתו (C~) אליהן (ל-PA) יוצר מערכת שלא-מוכיחה-סתירה, כלומר מערכת עקבית (Z).
עזרה בשעורי בית 316778
אלון עמית • בתשובה לאלון עמית יום ה', 14/7/2005, 13:18
(''אם מתחילים מהן ומשלילתו'', צ''ל. מבלבל העסק הזה).
עזרה בשעורי בית 316789
האייל האלמוני • בתשובה לאלון עמית יום ה', 14/7/2005, 13:53
ד'רבה.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות