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