בתשובה למאור, 08/03/02 0:42
 |
|
 |
||
|
||||
 |
למרות יכולתנו *הפורמאלית* לפתור משוואות ווקטוריות ב 10,000 מימדים, איננו יכולים לדמיין יותר משלושה. לכן, אין היא יכולה להיות א-פריורית ("יכולה לקיים את הדרישות שלך"). "הם לא ישרים בשלושה מימדים ואין סתירה" - צלעותיו של משולש חייבות להיות ישרות. דוגמאות: סיבתיות, זמן (זמן הוא צורת הסתכלות!). בעייתי לומר שחוקי הלוגיקה הם אנליטיים, משום שמשמעות הסימנים שלהם מוגדרת על-ידם-עצמם. [ראה ההגדרות ה 'אנליטי'] לא הצלחתי לרדת לסוף דעתך בנוגע לאפיון המתמטי, אבל: מושג הקו הישר הוא סינתטי-אפריורי, כחלק מכל הגיאומטריה האאוקלידית. אין ערך לאפיון המתמטי של הקו הישר יותר מאשר הוכחת האקסיומות של הגיאומטריה האאוקלידית, ע"י הגיאומטריה האאוקלידית עצמה (מה שנקרא, הוכחה מעגלית). בבואנו לפתח גיאומטריה, אנו כבר צריכים להניח מושג כמו "קו ישר" (רק בתנאי שהגיאומטריה שלנו משתמשת בו, כמובן). ------------------------- אה, כן. אינני רואה בתגובותיך איזו הידחפות, ואינני רואה עצמי נעלה עליך בהבנתי ובשום תחום. |
 |
 |
 |
|
|
|
||
|
||||
|
טוב, מאה אחוז. אני מסכים - והעניין עם המימדים והאאוקלידיות פשוט מסביר שאם אנחנו נאלצים להסתפק בשלושת המימדים, ולא מסוגלים לדמיין רביעי, אנחנו נחיה בעולם אאוקלידי בשלושת המימדים האלה - מה שמאחד לדעתי את האפריוריות של האאוקלידיות עם האפריוריות של שלישית המימדים. כי אם היינו חיים בעולם תלת מימדי, עם יכולת תפיסה של מימד רביעי, גיאומטריה אי אאוקלידית הייתה אף היא בהישג דעתנו הלא פורמלית. זהו. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |