בתשובה לדורון שדמי, 09/10/05 0:03
יסודות שפת המתמטיקה 335899
קראתי. הבנתי חלק מהמושגים שלך. זה אפילו התחבר במידה מסוימת לדברים שדיברנו עליהם בעבר. אבל את ההוכחה לא קיבלתי.
כשאני קורא הוכחה, אני אף פעם לא עובר לטענה הבאה, אם אני לא מקבל את הוכחת הטענה הנוכחית. אם ההוכחה של אותה טענה לא מופיעה באותו מסמך, אני פונה לעזרת האינטרנט, לעזרת ספרים או לעזרת מומחה גדול ממני. מאחר שה''משפט'' הזה לא ידוע, הוא לא מופיע באינטרנט, ובטח שלא בספרים, אז אני הולך אל המומחה. אם המומחה הוא זה שכתב את ההוכחה שאותה אני מנסה לקרוא - על אחת כמה וכמה.

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

לפי מה אתה מחליט שלא קיבלת הוכחה?
יסודות שפת המתמטיקה 336153
נתחיל מזה שלא *ראיתי* הוכחה לטענה לפיה לקבוצה אינסופית אין התאמת-זהות.

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

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