בתשובה לקשר, 22/09/15 21:59
 |
|
 |
||
|
||||
 |
"שום דבר לא מיוחד באורך וקו ונקודה, למעט היותם דרך פשוטה להבין סיבתיות-עולה וסיבתיות-יורדת." הם לא. אם הם היו דרך פשוטה להבין מהם סיבתיות-עולה וסיבתיות-יורדת היית יכול להסביר את זה ב.. ובכן.. בפשטות. "אין לך שום "תובנה" בנושא, אם מה בדיוק אתה לא מסכים?" אני לא מסכים אם זה שמהעובדה שאורך הוא מאפיין של נקודה ושל קו אפשר להסיק שאוסף של נקודות אינו מהווה קו, וקו אינו ניתן לרדוקציה לנקודה (ועדיין להחשב כקו). נכון או לא נכון, ואם אני זוכר נכון זה לא נכון, זה בטח לא נובע מהעובדה שאורך הוא מאפין של שניהם (משקל הוא מאפיין של גרגר אורז ושל ערימת אורז ובכל זאת נראה לי שאוסף של גרגרי אורז מהווה ערימת אורז). יש לך כאן איזשהי הנחה נסתרת, אני לא יודע מהיא, ולא ברור לי איזה הנחה נסתרת אפשר להניח על מנת להגיע מההנחה לתוצאה, אבל בהנתן העובדה שהצלחתי לחלץ ממך אחרי מאמצים רבים את התוצאה וההנחה בעברית ברור לי שהיחס ביניהן הוא לא יחס של נביעה לוגית. "הרי בפירוש אתה מצהיר לפני כן "לא הבנתי."" נכון, לא הבנתי מה מיוחד בנקודה, קו ואורך שהדליק אותך כל כך. "לא אתה ולא אני יכולים לתרגם משהו מבלי להבינו תחילה, והיות וטענת קטגורית בתחילת תגובתך כי אינך מבין את דברי, אין אי-הבנה זו יכולה לשמש, לדעתי, כבסיס מהימן לתירגומם." אני מסכים בהחלט. בגלל זה ביקשתי ממך כמה פעמים לתרגם את דבריך לבד. אם אתה רוצה שיבינו אותך אתה צריך לכתוב בשפה שבני אדם אחרים מבינים. כשלא נענתי לבקשותי ניסיתי לתת לך דוגמא לאיך אני מבין את מה שאתה כותב בתקווה שתנצל את ההזדמנות ותתקן אותי במקומות בהם טעיתי כך שבסופו של דבר יהיה לנו טקסט שאותו שנינו מבינים. הדרך שלך להתקדם הלאה היא או לקחת את העצות שנתתי לך ולנסח את ה"תובנה" שלך בעברית, או להמשיך לדבר בנמרית ולהניח שכל מי שחשוב מבין אותך. |
 |
 |
 |
|
|
|
||
|
||||
|
אתה כותב: "אני לא מסכים אם זה שמהעובדה שאורך הוא מאפיין של נקודה ושל קו אפשר להסיק שאוסף של נקודות אינו מהווה קו, וקו אינו ניתן לרדוקציה לנקודה (ועדיין להחשב כקו). נכון או לא נכון, ואם אני זוכר נכון זה לא נכון, זה בטח לא נובע מהעובדה שאורך הוא מאפין של שניהם". בדבריך אלה הבהרת לי כי מושג האורך מובן על ידך עפ"י סיבתיות-עולה בלבד, שעל פיה קו הינו אוסף של נקודות, שטח הינו אוסף של קווים, נפח הינו אוסף של שטחים וכו', או בקיצור, מושג האורך ניתן לרדוקציה לאורך=0 וכל השאר מורכב מאוספים של אורכי 0. לדעתי, סיבתיות-עולה הינה ההשקפה הרווחת בין רוב המתמטיקאים והמדענים מזה כ-2500 שנים, ולעניות דעתי כדאי להוסיף ל"משחק" גם את הסיבתיות-היורדת, שעל-פיה מימדים "גבוהים" יותר אינם בהכרח אוסף של מימדים "נמוכים" יותר, והדוגמא הלוגית הידועה ביותר לכך הינה משפטי אי-השלמות של גדל, אשר על פיהם, קיים משפט מתמטי אמיתי (שקול למימד ה"גבוה" יותר במערכת מתמטית החזקה דיה להתמודד עם אריתמטיקה) אשר יכיחות אמיתותו אינה כריעה ע"י אקסיומות המערכת (שקולים למימד ה"נמוך" יותר במערכת מתמטית החזקה דיה להתמודד עם אריתמטיקה). אם אינך מסכים למושג הסיבתיות-היורדת ולהכללתה למושג המימד (כפי שתיארתי לעיל) אנא, הדגם באופן מתמטי כי, לדוגמא, אורך>0 ניתן לרדוקציה לאורך=0 וגם להחשב לאורך>0. לפני שתתחיל, אנא כך בחשבון כי כדי שאי-הסכמתך תהיה בעלת תוקף מתמטי, עליך להוכיח, לדוגמא, כי 1=0. בהצלחה. |
|
|
|
|
|
|
||
|
||||
|
יש שתי בעיות שמקשות עלי לנהל איתך דיון. אתה משתמש במושגים פרטיים שלא הגדרת, ואתה קופץ הרבה יותר מידי שלבים קדימה בלי להסביר. מושג האורך לא מוגדר על ידי בשום צורה שהיא, לקחתי את ההגדרה שלך, והכלתי אותה על ה"תובנה" שלך, וזה מה שיצא. אני לגמרי לא בטוח שהבנתי למה אתה מתכוון בסיבתיות עולה ויורדת, ונראה לי שכדאי שתקרא את זה. "לעניות דעתי כדאי להוסיף ל"משחק" גם את הסיבתיות-היורדת, שעל-פיה מימדים "גבוהים" יותר אינם בהכרח אוסף של מימדים "נמוכים" יותר" אז עכשיו הכנסת מושג חדש, "ממד", שברור שהוא מוגדר אצלך אחרת לגמרי מאשר אצל שער העולם, ובכל זאת לא ברור לך שאני משום מה מבין למה אתה מתכוון בו. לא, זה לא עובד ככה, אני לא קורא מחשבות. "אם אינך מסכים למושג הסיבתיות-היורדת ולהכללתה למושג המימד (כפי שתיארתי לעיל) אנא, הדגם באופן מתמטי כי, לדוגמא, אורך>0 ניתן לרדוקציה לאורך=0 וגם להחשב לאורך>0." לגמרי לא תיארת את מושג הממד, סתם הפלת אותו עלי. בכל מקרה, זה די פשוט, בו נגדיר מערכת אקסיומתית פסאודו-גיאומטרית עם שתי "נקודות" בלבד (נקרא להם דוד ושלמה), לכל אחד אורך אפס, וקו אחד (נקרא לו קו דוד-שלמה) שמכיל את שתי הנקודות ביקום שלנו, ובעל אורך 2.8. הנה, יש לנו אורך>0 שניתן לרדוקציה לאורך=0 וגם להחשב אורך>0. למה אני צריך להוכיח ש:0=1 (לא שיש לי בעיה מיוחדת להוכיח את זה1, רק שאני לא רואה מה הטעם). 1 אלא אם כן אני חייב להשתמש ב-0 ו-1 המוכרים, ואז יש לי בעיה קטנה. |
|
|
|
|
|
|
||
|
||||
|
ועוד כתבת: "יש לך כאן איזשהי הנחה נסתרת, אני לא יודע מהיא, ולא ברור לי איזה הנחה נסתרת אפשר להניח על מנת להגיע מההנחה לתוצאה, אבל בהנתן העובדה שהצלחתי לחלץ ממך אחרי מאמצים רבים את התוצאה וההנחה בעברית ברור לי שהיחס ביניהן הוא לא יחס של נביעה לוגית." סליחה ידידי, איזה "הנחה נסתרת" שאתה "לא יודע מהיא, ולא ברור" לך "איזה הנחה נסתרת אפשר להניח על מנת להגיע מההנחה לתוצאה" תומכת ב-"עובדה" שהצלחת "לחלץ" ממני "אחרי מאמצים רבים את התוצאה וההנחה בעברית" (בסתירה לטענתך כי אתה "לא יודע מהיא" ההנחה), כך ש-"ברור" לך "שהיחס ביניהן הוא לא יחס של נביעה לוגית."? ואחרי הניסוח הנ"ל, האם אתה עדיין מחזיק בדיעה כי יש בידך לעזור לי לנסח את רעיונותי ביתר בהירות? |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |