בתשובה לשולם, 30/06/06 17:14
 |
|
 |
||
|
||||
 |
אפשר בוודאי לבנות מערכות הולכות וחזקות כאלה, פשוט ע"י הוספה "בכוח" של האקסיומות המתאימות (למשל, הוסף ל-PA כאקסיומה את הטענה "TP אינה תלויה ב-PA"). יהיה קשה מאוד לדעת אם המערכות הללו עקביות. איני טוען ש*בהכרח* לא ניתן להגיע למשהו עמוק יותר מ"יכולתן של מערכות מסויימות להראות דברים מסויימים", התייחסתי רק לדוגמה שנוצרה בעקבות השאלה של עדי. אם הנושא מעניין אותך, כדאי לך מאוד לנסות ולקרוא את Inexhaustability של Torkel Franzen. הוא מדבר די בדיוק על הנושאים האלה. |
 |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |