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