בתשובה לקשר, 22/09/15 20:31
 |
|
 |
||
|
||||
 |
כמו-כן, הרשה לי תיקון להגדרה שלך: משפטים שאמיתותם מוכחת מהאקסיומות של מערכת נתונה נקראים משפטים בעלי "סיבתיות-עולה", משפטים שאמיתותם אינה מוכחת מהאקסיומות של מערכת נתונה, נקראים בעלי "סיבתיות יורדת". גם בהגדרה מתוקנת זו קיימת ההנחה הסמויה, שהוזכרה לעיל. |
 |
 |
 |
|
|
|
||
|
||||
|
ולתיקון הקודם אוסיף תיקון נוסף: מערכת שבה אמיתותם של כל המשפטים מוכחת ע"י אקסיומות המערכת, נקראת מערכת בעלת סיבתיות-עולה. מתוך ההגדרה הנ"ל ניתן להבין כי סיבתיות-יורדת קיימת במערכת, שבה לא מוכחת אמיתותם של כל משפטי המערכת (על אף היותם משפטי-אמת, כפי שהראה גדל). גם כאן לא נפתרה בעיית ההנחה הסמוייה. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |