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