בתשובה לדורון שדמי, 08/10/05 23:42
יסודות שפת המתמטיקה 335894
קראתי את ההוכחה, ושוב לא הבנתי. קודם כל זאת נראית כמו הוכחה על ידי דוגמא (ות), ולא הוכחה כללית.
דבר שני אני לא בטוח שאני מבין מה אתה מוכיח - שאין העתקת הזהות על קבוצה אינסופית?
אם כן, אז אולי לא ברור לי מה זה העתקה אצלך?
אולי אצלך העתקה זה רק משהו שאפשר לכתוב בדיוק מה הוא עושה, על ידי טבלה? אם כן, אז ברור שאין העתקה כזו. אם לא אז לא הבנתי מדוע f(x)=x אינה קיימת אצלך.
אבל אם באמת הדברים היחידים שקיימים הם סופיים, (או הרצף - שלא הבנתי לגמרי מהו), אז מה בכלל תורת הקבוצות שלך יכולה להשיג? אולי תשנה לה את השם לתורת המספרים? (ואז אתה תרשה הוכחות על ידי אינדוקציה? או שגם זה אסור כי זה אינסופי?).
מלבד זה עוד לא ענית לי על השאלות שלי על ONN (ראה תגובה 334883).
יסודות שפת המתמטיקה 335904
"קראתי את ההוכחה, ושוב לא הבנתי."

האם קראת את *כל* http://www.createforum.com/phpbb/viewtopic.php?t=45&... ?

האח של סמיילי.

הוכח נא שאתה מסוגל להפעיל ריגורוזית אמצעי כלשהו אשר מסוגל לעבור על *כל* איברי R ללא יוצא מן הכלל, כאשר ברור לחלוטין כי איברי R מובחנים היטב זה מזה.

"אבל אם באמת הדברים היחידים שקיימים הם סופיים,"

לא ולא, במערכת שלי יש לפחות שלוש רמות-קיום:

א) אוסף סופי של איברים מובחנים (לדוגמא:{54.56,4,0})

ב) אוסף אינסופי של איברים מובחנים (לדוגמא R).

ג) רצף אינסופי (לדוגמא {__}).

כמו-כן קיים מרחב בין אוסף לרצף, המתקיים כגישור בין SET ל-MULTISET.
יסודות שפת המתמטיקה 335917
לא קראתי. חשבתי שההוכחה שנתת כאן הספיקה (היא הסתימה ב QED!).
למה אתה קורא אמצעי אשר מסוגל לעבור על כל אברי R?

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

אם כך, האם הרצף הוא אוסף אינסופי של איברים שאינם מובחנים זה מזה?
יסודות שפת המתמטיקה 335921
"אם אתה מתכוון לשאול האם יש פונקציה 1-1 בין R"

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

"אם כך, האם הרצף הוא אוסף אינסופי של איברים שאינם מובחנים זה מזה?"

בשום אופן לא!

רצף אינו אוסף אלא אלמנט בלתי מורכב > 0 כגון 1_0 כאשר _ הוא רצף.
יסודות שפת המתמטיקה 335978
טוב, הנה הדברים שאני לא מבין:
מה זה לדעתך פונקציה? ואל תגיד לי גישור בין התודעה וכו', אני לא מבין את המשפט הזה.
למה אני צריך לעבור מאיבר ב R לאיבר אחר ב R בלי לדלג? מה הכוונה לדלג? למה צריך לעבור? האם אתה מתכוון לומר שאין דרך חישובית לכתוב פונקציה כזו? אם לא האם ב N זה אפשרי?
כתבת שהרצף הוא אלמנט וכו': מהו אלמנט? מהו אלמנט בלתי מורכב? מהו יחס הסדר בין האלמנטים? את כל זה תסביר בבקשה כמו מתמתיקאי, בצורה שבה כותבים מאמרים וספרים מתמטיים רגילים, ולא כמו פילוסוף או סופר, או גורו.

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

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