בתשובה למאותגר גדל-ית, 19/08/03 14:28
 |
|
 |
||
|
||||
 |
ואם האפשרות השלישית נכונה? האם זה אומר שהיא *לא* בלתי-תלויה? שימ/י לב, כתבת "לא ניתן להוכיח שהיא בלתי-תלויה". אכן, נראה לי שאי-אפשר ב-PA להוכיח שגולדבך בלתי-תלויה. זה לא אומר שאי-אפשר להוכיח אי-תלות זו במערכת רחבה יותר, וזה בוודאי לא אומר שאפשר ב-PA להוכיח את GC או את שלילתה. הדבר היחיד שעולה מהטיעונים הללו הוא שאת GC אפשר להפריך ב-PA אם היא לא נכונה. זה לא אומר שאפשר להוכיח אותה ב-PA אם היא כן נכונה. ואם זה המצב, אז אין יותר סתירות ב-(PA פלוס GC~) מאשר ב-PA לבדה. |
 |
 |
 |
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |