בתשובה להפונז, 20/05/16 13:41
הפוך גוטה הפוך 677488
כשמתמטיקאי טוען "קיים משולש (מושלם!) שהיחסים בין צלעותיו הן 3:4:5", הוא טועה?

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

1 ∃ מלשון Empty symbol.
2 או שמא "ורוד אבן שמחטיה הן SSSכיסא, SSSSכיסא ו-SSSSSכיסא", רק כדי למנוע אי הבנות...
הפוך גוטה הפוך 677495
ודאי שבתוך הקונטקסט שלו הוא לא טועה. גם כשהרמיוני אומרת לרון ש"כרגע ראיתי את הארי עומד בחדר הכישוף המשולש עם חדי הקרן", היא לא טועה.
אבל המתימטיקאי כלל לא טוען מראש שהמשולש "קיים במציאות", שהוא איזה "יישות לא פיזיקלית" שמשפיעה על עולמנו, כמו שאריק טען.
לא הבאת פה דוגמא למשולש שכזה (שמידותיו בדיוק 3:4:5) שתקשר עם משהו פיזיקלי. אתה יודע, יש גאומטריות שבהן אותו מתמטיקאי יצהיר שאותו משולש "לא קיים". (טוב, לא באמת, כי אפילו לא דרשת שהוא יהיה ישר זוית. במקרה הזה קיימים אינסוף משולשים מכל צירוף של שלושה מספרים שתבחר, כל עוד המספר הגדול קטן מסכום שני האחרים, אם אני לא טועה. לכל משולש כזה יש אפילו שטח מוגדר. אתה בטח יודע מה סכום השטחים של כולם. באיזה יקום ענק ואנטי אוקהמי לתפארת קיימים כל המשולשים האלה?)

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

גם אני תוהה.

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

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