 |
משפט גדל אומר שלא ניתן לדעת *כלום*? הוא אומר לכל היותר שבמערכות אקסיומטיות מורכבות מספיק לא ניתן לדעת (=להוכיח) *הכל* - וגם זה ניסוח שאלון בטח יקפד את ראשי בגללו, ובצדק. במרחב שבין "כלום" ל"הכל" תמצא די הרבה דברים שאפשר לדעת, אם רק תחפש. אף אחד גם לא אוסר עליך לעבור למטא-מערכת שבה תוכל למצוא את ההוכחות שהיו חסרות בקודמת, וכך הלאה וכך הלאה עד שתתעייף, ובינתיים צברת די הרבה דברים שאפשר לדעת. מספר גדל עצמו, אותו אחד שטוען על עצמו שהוא נכון אך לא יכיח, מוכח (במטא מערכת) כחלק מהתהליך. לא? הרי הטענה שם היא שהוא אינו יכול להיות לא נכון אם המערכת חסרת-סתירה, ואם כך הראית שהוא נכון, כלומר הוכחת אותו, רק שנאלצת לצאת מהמערכת בשביל זה. ביג דיל.
ומכאן שהסתירה הפנימית במשפט שלך לא ממש מרשימה, מכל מקום לא יותר מאותו סַפָּר יווני שמספר את כל אלה שמעידים על עצמם שהם שקרנים.
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש