בתשובה להאייל הצעיר, 11/11/05 3:16
השלכות מעשיות/תיאורתיות של מתמטיקה חדשה 347368
"פירוש המשפט "לסדרה A_n יש חסם" שונה מפירוש המשפט "לסדרה A_n יש סוף". "מהות שפת המתמטיקה" לא רלוונטית."

אתה טועה.

בגלל הטענה כי ""לסדרה A_n יש חסם" ...999 .0 [בסיס 10] = 1,
ולאוסף אינסופי יש קרדינל מדוייק.

היות והוכחתי כי יש קשר בין הבנת המילים שבהם אנו משתמשים, לתוצרי המערכת המשתמשת בהם, הריי כתוצאת השימוש במושג "חסם" פוגעת בהבנת התכונות *המדויקות* המאפיינות אוסף/סרדה אינסופיים (לאוסף אינסופי אין קרדינל מדוייק, ולא ניתן לסכם סדרה אינסופית).
השלכות מעשיות/תיאורתיות של מתמטיקה חדשה 347371
1. 0.999... זו שיטת סימון. לא יותר מזה. אם אתה רוצה לסמן איתה משהו אחר - בשמחה! רק תצהיר על זה באופן מפורש.
2. אני לא רואה את הקשר בין הטענה הזאת לבין הטענה לפיה לאוסף אינסופי יש קרדינל מדויק.
3. העובדה שמכשיר מכני (מחשב) יכול לבדוק הוכחות במערכת האקסיומות שלנו מראה שאין השפעה לא-מכוונת של מילים על המתמטיקה. אם יש לך בעיה עם מסקנות המתמטיקה, אז יש לך בעיה עם האקסיומות ‏1, ולא עם המינוח.

1 שמבחינתי הן רק חוקי משחק, כזכור.
השלכות מעשיות/תיאורתיות של מתמטיקה חדשה 347378
"0.999... זו שיטת סימון."

זאת אומרת שלדבר אליך ואל הקיר זה אותו דבר, כי הריי אני מוכיח בצורה חד-משמעית כי אלמנטים כגון ...111 .0 [בסיס 2] הם אלמנטים לא-לוקליים (שאין להם מיקום מדוייק) על פני הישר-הממשי, ואילו אלמנטים כגון 1 הם אלמנטים לוקליים (שיש להם מיקום מדוייק על פניי הישר הממשי):

תגובה 347285

תגובה 347205

תגובה 347289
השלכות מעשיות/תיאורתיות של מתמטיקה חדשה 347382
"אני לא רואה את הקשר בין הטענה הזאת לבין הטענה לפיה לאוסף אינסופי יש קרדינל מדויק."

מאמת קשה לך להבין כי (לדוגמא) ...111 .0 [בסיס 2] הינו למעשה אוסף הסדור על פני אינסוף קניי-מידה ?

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

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

המכשיר המכני הינו סוכן שלך, ואתה מכוון אותו למצוא את מה שאתה רוצה שהוא ימצא.

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

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

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

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

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

אין דבר כזה אקסימיות מוכנות-מראש כמו חלקי פאזל להרכבה, וכל קיומן תלויי לחלוטין בעומק התובנה שלנו, שהוא *לא פחות* מגישור בין חשיבה מקבילית (אינטואיטיבית) לחשיבה סדרתית (אנליטית).

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

נתתי כבר מזמן הסבר מדוייק לכך בתגובה 342686 , אך על אף בקשותיי החוזרות ונשנות חבריך ואתה בוחרים להתעלם מהסבריי, ואחר-כך באים בטענות כי איני מובן.
השלכות מעשיות/תיאורתיות של מתמטיקה חדשה 347397
שוב קראתי את התגובה, ולא קיבלתי תשובה לשאלה שלי. גם באותה תגובה אתה מניח משום-מה ש-אם 0.111... [בסיס 2] זה לא 4, אז <מסקנה על אוספים>.

אתה לא מסביר שם מהו בדיוק האוסף 0.111... [בסיס 2]. אני מבקש שתסביר: מהם איברי האוסף.
השלכות מעשיות/תיאורתיות של מתמטיקה חדשה 347415
תגובה 347414
השלכות מעשיות/תיאורתיות של מתמטיקה חדשה 347420
התנצלתי שם על הטעות, אבל לא ענית על התגובה שלי:

שוב קראתי את התגובה (שאליה קישרת קודם), ולא קיבלתי תשובה לשאלה שלי. גם באותה תגובה אתה מניח משום-מה ש-אם 0.111... [בסיס 2] זה לא 1, אז <מסקנה על אוספים>.

אתה לא מסביר שם מהו בדיוק האוסף 0.111... [בסיס 2]. אני מבקש שתסביר: מהם איברי האוסף?
מי מכיר את האיש שבקיר? 347383
אתה מסמן באמצעות 0.111... [בסיס 2] אלמנט לא-לוקאלי שאיננו מספר ממשי. אין בעיה.
מי מכיר את האיש שבקיר? 347388
"אתה מסמן באמצעות 0.111... [בסיס 2] אלמנט לא-לוקאלי שאיננו מספר ממשי. אין בעיה."

ועוד איך יש בעיה, כי כל מושג האינסוף שלך מושתת על אלמנטים לוקליים בלבד המשמשים כחסמים לאלמנטים לא לוקליים ולכן בעולמך הצר והחסר אלמנט לא-לוקאלי כמו ...111 .0 [בסיס 2] אכן שווה לאלמנט הלוקאלי 1 .

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

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

נכון, אני בדרך-כלל מסמן את 4 (בין השאר) כ-"0.111... [בסיס 2]"; אין לי שום בעיה לדבר איתך ולעסוק באובייקטים אחרים, לא-לוקאליים, שיסומנו באותה צורה.

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

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

והעוצמה הזו הינה מדוייקת לחלוטין.

שמה תסביר לנו כיצד אתה יכול ליחס ערך מדוייק לאוסף אינסופי?

קח בחשבון שאתה צריך להוכיח כי אוסף אינסופי הינו אלמנט מתמטי שלם.

אני הראיתי באופן שאינו משתמע לשתיי פנים כי היות ואוסף אינסופי אינו יכול להשיג את מצב הרצף המוחלט והשלם (שאינו מורכב מתת-אלמנטים) הריי שהוא בלתי שלם בהכרח, ואינסופיותו הינה למעשה שאיפה בלתי-מושגת להשיג את מצב הרצף המוחלט השלם והלא-מורכב.
מי מכיר את האיש שבקיר? 347414
"נכון, אני בדרך-כלל מסמן את 4 (בין השאר) כ-"0.111... [בסיס 2]";"

על מה אתה מדבר?

...111 .0 [בסיס 2] = 1 במתמטיקה הרגילה.
מי מכיר את האיש שבקיר? 347418
צודק, טעות (מביכה) שלי.
מי מכיר את האיש שבקיר? 347416
אני לא ממש בטוח למה הכוונה ב"אלמנט מתמטי שלם", אבל נראה לי שזה עונה על הדרישה: בתורת הקבוצות, כל קבוצה קונקרטית מיוצגת באופן סופי, וכן ניתן להוכיח (במספר סופי של צעדים) שקיימות קבוצות שלא ניתן לייצג באופן סופי בשפה הזאת. מערכת האקסיומות אמנם עוסקת באינסוף, אבל מתארים את המערכת עצמה, כל משפט במערכת וכל הוכחה במערכת באופן סופי!
מי מכיר את האיש שבקיר? 347448
"אני לא ממש בטוח למה הכוונה ב"אלמנט מתמטי שלם""

אלמנט מתמטי שלם הינו אלמנט ש*כולו* בר השגה, לדוגמא:

1) *כל* איבריו של אוסף סופי הם ברי-השגה.

2) אינסוף שלם, הינו *כל* שלמותו בבת-אחת, בין אם הוא מייוצג ע"י קטע סופי רציף לחלוטין או קו אינסופי רציף לחלוטין, כאשר אי-רציפות מוחלטת הינה מרחב קשיר לחלוטין (שאין בו שום תת-אלמנטים).

3) אלמנט מתמטי לא-שלם הינו אוסף אינסופי סדור/לא-סדור כלשהו, אשר אינו מכיל את *כל* איבריו, כי ברגע שהוא מכיל את *כל* איבריו, הוא הופך מייד לאוסף סופי *שכל* איבריו ניתנים להשגה.

הסברתי זאת בבהירות מוחלטת ב:

תגובה 346385

תגובה 346414

תגובה 346721

אני תוהה מדוע אינך יכול להבין את הנ"ל.

אוליי הפעם יועיל כבודו לקרוא את *כל* תגובה 342686 אם הוא *באמת* רוצה להבין אותי?
מי מכיר את האיש שבקיר? 347451
הרעיון הוא פשוט: אוסף אינסופי אינו בר השגה, אבל מערכת אקסיומות שמתארת תכונות מסוימות שלו היא כן בת השגה.
מי מכיר את האיש שבקיר? 347467
"אוסף אינסופי אינו בר השגה, אבל מערכת אקסיומות שמתארת תכונות מסוימות שלו היא כן בת השגה."

אז מה?

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

כמו-כן ידוע כי מערכת-אקסיומות אשר יש בכוחה לקיים אריתמטיקה של מספרים טבעיים, אינה עיקבית עם היא שלמה (ש*כל* האקסיומות שלה ברי-השגה) לפי משפטי אי-השלמות של גדל.
מי מכיר את האיש שבקיר? 347470
א. אתה מודע לעובדה שאצל גדל המילה "שלמה" מופיעה במשמעות אחרת, נכון?

ב. האם "בר-השגה" משמעותו "ניתן לחישוב (במספר צעדים סופי)"?
מי מכיר את האיש שבקיר? 347515
"א. אתה מודע לעובדה שאצל גדל המילה "שלמה" מופיעה במשמעות אחרת, נכון?"

זוהי *בדיוק* כוונתו של גדל והיא:

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

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

למעשה, אפשר לומר כי כל מערכת אקסיומות העוסקת באוסף אינסופי, היא בלתי-שלמה בהכרח אם אנו רוצים שהיא תהיה עיקבית, ולכן המתמטיקה של האוסף האינסופי היא *פתוחה* בהכרח, ואינה דדוקטיבית-טהורה.
מי מכיר את האיש שבקיר? 347681
"שמערכת אקסיומות שיש בכוחה לקיים אריתמטיקה של מספרים טבעיים, תמיד ייתקיימו בה משפטים בלתי-כריעים"

כן, לזה בדיוק התכוון גדל כשהוא אמר "לא-שלמה". זאת בניגוד להגדרה "שכל האקסיומות שלה ברי-השגה" מתגובה 347467.

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

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

"המתמטיקה של האוסף האינסופי היא *פתוחה* בהכרח, ואינה דדוקטיבית-טהורה"

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

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

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

אני מגיב כאן לתגובה ישנה שלך, שפיספסתי.

אומר את דברי בפשטות:

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

יותר מכך, הלוגיקה של שניי-מצבים עצמה (זו שאמורה לאפשר הכרעת כל משפט במערכת אקסיומטית סופית) נפתחת והיא אינה ברת-הכרעה כאשר היא עוסקת באינסוף, וניתן לראות זאת בבירור ב- http://www.geocities.com/complementarytheory/PTree.p...
ובדיון המתועד ב-http://www.createforum.com/phpbb/viewtopic.php?t=33&... .

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

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

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

לסיום:

Moshe Klein wrote:

Hi Doron:

In the book "The man who loved only numbers" about Poul Erdos it's written that Gödel tried to understand Leibeniz" so it is very clear to me today more the ever, that Leibeniz was right when he wrote that the fundamental problem in the human race is using a wrong language.

What do you think about that, one day before your Travel?

Let me give some analogy:

30 years ago scientists had to kill any living creature, in order to examine it under an electronic microscope.

Today we can examine living creatures without killing them first.

Standard Math has to kill any living insight in order to examine it under the rigorous mathematical microscope, because it has no ability to deal with redundancy and uncertainty as first-order properties of the examined insight.

The result is that standard Math can deal only with trivial problems, which mostly based on black XOR white state of mind, which is a very trivial way of thinking when compared to colorful realm.

Standard Math can deal only with dead flock of birds, but in order to deal with a living flock of birds we need a paradigm-shift in the language of Mathematics and its standard logical reasoning.

It is a very trivial thing to through a dead bird in the air, and then calculate its ballistic path, according to Newtonian calc.

But in order to deal with a living bird thrown in the air, we need a deeper and finer language that does not kill first in order to define its trivial ballistic path.

When a language is tuned to kill first, the first victim is the cognition that uses it, and we can clearly see how most of professional mathematicians around our planet have lost their ability to think freely, without the continuous control of the agreed terms of their community.

Real Mathematics, first of all has to educate its users to develop their natural abstract skills, in such a way that it is not depends on any specific school of thought.

By this educational process, any student and any teacher, learn together and develop together abstract skills through a real-time dialog, which is the heart of the mathematical education.

Gödel's incompleteness theorems clearly show us that any axiomatic system is actually an open framework, which can be deeply changed when deeper insights of its fundamental concepts are invented/discovered by its speakers.

Strictly speaking, rigorous definitions must not kill insights in order to define them, and the best way to do it, is to accept redundancy and uncertainty as welcome first-order properties of the language of Mathematics and its logical reasoning.

Monadic Mathematics is the first mathematical framework that uses redundancy and uncertainty as its first-order properties, as can be shown here:

http://www.geocities.com/complementarytheory/TAP.pdf
אי-שלמות הגיאומטריה האוקלידית והלא-אקלידית 349052
"מערכת אקסיומות המפרידה קטגורית בין אינסוף שלם (מרחב קשיר-לחלוטין שאיננו ניתן להגדרה במונחים של אוסף) לאינסוף לא-שלם (מרחב לא קשיר-לחלוטין המוגדר במונחים של אוסף), הינה מערכת פתוחה אשר אשר תמיד יתקיימו בה מצבים שאינם ברי-הכרעה, המצריכים הוספת אקסיומות נוספות למערכת."

שטויות. וגם אם זה היה נכון, כמו שזה נכון עבור אקסיומות פאנו או ZFC, אז מה?

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

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

"הוכחתי *מעל ומעבר לכל ספק*" - זה משעשע שכך אתה קורא לטיעון שרק שני אנשים בכל העולם מקבלים.

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

--- הצהרה נבואית בקול דרמטי ---

"וטעותה אכן נחשפה ותמשיך להחשף" - למה שתמשיך להחשף? המערכות אמורות להעלם עם חשיפת הטעות הראשונה, לא?

"עד להיותה זכרון טראגי בנבכי ההיסטוריה של התפתחות המדע והתודעה האנושית" - )-;
אי-שלמות הגיאומטריה האוקלידית והלא-אקלידית 349075
לא נמאס? הרי זה לא שהתשובה שלך אומרת משהו שאינו מובן מאליו, או שהיא תשנה משהו לדורון.
אי-שלמות הגיאומטריה האוקלידית והלא-אקלידית 349081
לתשובות שלי אין השפעה מיידית, אבל בזכותן תגובות כמו תגובה 349002 (זו של דורון שלה הגבתי, עם הסיום הנבואי המלודרמטי) או תגובה 349025 (זו עם הציפורים) באות לעולם. מהן אני דווקא די נהנה (ומתרגז, ומגיב, וחוזר חלילה).
אי-שלמות הגיאומטריה האוקלידית והלא-אקלידית 349129
הכוכבים חוזים לך ביקור נוסף אצל האורתודנט (אלון עמית, בתולה שכמותו, מתכוון לבקר בארץ ולסגור כמה חשבונות).
אי-שלמות הגיאומטריה האוקלידית והלא-אקלידית 349135
תגובה 214551
אי-שלמות הגיאומטריה האוקלידית והלא-אקלידית 349209
אוי ואבוי. אני מתאהבת סדרתית בשוורים מתמטיים, והשמות ''אלון'' ו''עמית'' קרובים במיוחד ללבי... אצטרך להיזהר שלא להיתקל בך אישית בביקוריך כאן...
אי-שלמות הגיאומטריה האוקלידית והלא-אקלידית 349159
''הרי זה לא שהתשובה שלך אומרת משהו שאינו מובן מאליו''

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

רק חמורי-גרם-המעלות טוענים כי דבר לא משתנה תחת פרסותיהם.
אי-שלמות הגיאומטריה האוקלידית והלא-אקלידית 349119
''זה משעשע שכך אתה קורא לטיעון שרק שני אנשים בכל העולם מקבלים.''

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

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

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

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

עד עכשיו ספגתי הכל, מעכשיו אני ראי שמחזיר לציני את הציניות שלו ולזלזלן את הזלזול שלו, וכו'.

לא מתאים לך, אל תתדיין איתי.

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

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