הוא לולאה מוזרה

בתשובה לקשר, 22/09/15 20:46

יציבות ואי-יציבות בלולאה

663894

קשר • בתשובה לקשר

יום ג', 22/9/2015, 21:00

ולתיקון הקודם אוסיף תיקון נוסף:

מערכת שבה אמיתותם של כל המשפטים מוכחת ע"י אקסיומות המערכת, נקראת מערכת בעלת סיבתיות-עולה.

מתוך ההגדרה הנ"ל ניתן להבין כי סיבתיות-יורדת קיימת במערכת, שבה לא מוכחת אמיתותם של כל משפטי המערכת (על אף היותם משפטי-אמת, כפי שהראה גדל).

גם כאן לא נפתרה בעיית ההנחה הסמוייה.

חזרה לעמוד הראשי

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש	© כל הזכויות שמורות