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