בתשובה לעוזי ו., 25/07/05 19:27
 |
|
 |
||
|
||||
 |
שכחתי להשיב על השאלה האחרונה: הוא אומר של-(Con(T יש ערך אמת, ושאם T היא סיגמא-נאותה (כלומר לא מוכיחה בטעות שטענה-דמוית-גולדבאך היא שקרית, כשהיא לא), אז שערך האמת הוא "נכון". מובן שבמקרה זה זו טענה מאוד לא מעניינת: מספיק ש-T תהיה עקבית כדי שהפסוק יהיה נכון. |  |
 |
 |
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |