בתשובה לסמיילי, 18/09/05 15:22
המטרה היא לא ''תובנה'' 330664
המטרה היא כמובן לא *חקר* התודעה.

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

מעבר לאי ההבנה בקשר למשמעות המשפט שבכותרת, נדמה לי שדבריך לא סותרים במילה אחת את דבריי.

חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים