בתשובה לאלמוני אחר, 22/09/15 22:19
יציבות ואי-יציבות בלולאה 663906
אתה כותב:

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

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

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

אם אינך מסכים למושג הסיבתיות-היורדת ולהכללתה למושג המימד (כפי שתיארתי לעיל) אנא, הדגם באופן מתמטי כי, לדוגמא, אורך>0 ניתן לרדוקציה לאורך=0 וגם להחשב לאורך>0.

לפני שתתחיל, אנא כך בחשבון כי כדי שאי-הסכמתך תהיה בעלת תוקף מתמטי, עליך להוכיח, לדוגמא, כי 1=0.

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

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

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

"אם אינך מסכים למושג הסיבתיות-היורדת ולהכללתה למושג המימד (כפי שתיארתי לעיל) אנא, הדגם באופן מתמטי כי, לדוגמא, אורך>0 ניתן לרדוקציה לאורך=0 וגם להחשב לאורך>0."
לגמרי לא תיארת את מושג הממד, סתם הפלת אותו עלי. בכל מקרה, זה די פשוט, בו נגדיר מערכת אקסיומתית פסאודו-גיאומטרית עם שתי "נקודות" בלבד (נקרא להם דוד ושלמה), לכל אחד אורך אפס, וקו אחד (נקרא לו קו דוד-שלמה) שמכיל את שתי הנקודות ביקום שלנו, ובעל אורך 2.8. הנה, יש לנו אורך>0 שניתן לרדוקציה לאורך=0 וגם להחשב אורך>0.

למה אני צריך להוכיח ש:0=1 (לא שיש לי בעיה מיוחדת להוכיח את זה‏1, רק שאני לא רואה מה הטעם).

1 אלא אם כן אני חייב להשתמש ב-‏0 ו-‏1 המוכרים, ואז יש לי בעיה קטנה.

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

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