בתשובה לדורון שדמי, 23/11/05 18:52
אקסיומות המתמטיקה-המונדית 348497
(תגובה זו טובה גם כתגובה לתגובה 348472.)

הבעיה היא לא בכך שזה כתוב באנגלית. הבעיה היא שאתה מגדיר מושגים תוך שימוש במושגים שלא הגדרת. למשל, אתה מתיימר לתאר תכונות של אובייקט מסויים, בכך שאתה אומר שהוא מקרה פרטי של אובייקט אחר, שאנחנו לא יודעים עליו כלום. דוגמה אחרת: אתה מאפיין את p ו-s באמצעות יחס ביניהם, אבל לא מספר לנו על התכונות של היחס הזה.
אקסיומות המתמטיקה-המונדית 348511
תגדיר לי ''קבוצה'' ללא שימוש במושגים שלא הגדרת.
אקסיומות המתמטיקה-המונדית 348605
הכל מוגדר ב-תגובה 348604
אקסיומות המתמטיקה-המונדית 348608
על הניסוח של אותו משפט באמת התלבטתי מאוד. כשכתבתי "להגדיר" התכוונתי גם להכרזה על מושג כמושג-יסוד, על כל מה שנובע מכך. דורון לעולם לא יצהיר על מושגים כמו "להיות מוגדר ע"י", "תחום", "תודעה" שהם מושגי יסוד, כי המשמעות היא התעלמות מכל מה שהוא "יודע" אינטואיטיבית על אותם אובייקטים, כלומר התעלמות מה"תודעה". מה שעומד בבסיס כל הטענות של דורון, מתחילת הדיון ועד סופו ‏1, זו הטענה שיש מושגים שאנחנו מכירים בלי להגדיר (ושאין לנו דרך ללמוד את אותם מושגים מאדם אחר).

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

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

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

1 ע"פ התפתחות עלילת השחמט, הצריח נמצא על גבו של פיל, כמדומני.
אקסיומות המתמטיקה-המונדית 348614
תגובה 82203

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

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