בתשובה לדורון שדמי, 05/09/05 0:31
עיון מחודש בבשיטת החשיבה הדדוקטיבית 327589
דורון שדמי • בתשובה לדורון שדמי יום ב', 5/9/2005, 0:40
צריך להיות:"של חלק מהטענות שניתן לנסח בה".

כמו כן אשמח לדעת מהם תכונותיהם המשותפות (אם יש כאלה) של המשפטים שלא מושפעים ממשפטי גדל, ללא קשר למערכת אקסיומטית מסוימת.
עיון מחודש בבשיטת החשיבה הדדוקטיבית 327732
האייל הצעיר • בתשובה לדורון שדמי יום ב', 5/9/2005, 19:43
א) אינני יודע איך לדבר על משפט ללא קשר למערכת אקסיומטית.
ב) במערכת לא שלמה, טענה ניתנת להכרעה אם יש הוכחה לה או לשלילתה. עד כמה שידוע לי (וזה לא הרבה), אין תכונה משותפת ''מעניינת'' יותר של אותן טענות בכל המערכות הלא-שלמות.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות