בתשובה לדורון שדמי, 12/11/05 16:19
השלכות פילוסופיות של מתמטיקה חדשה 345849
חשדתי שתגיד את זה. לכן הצעתי את ההגדרה החילופית. זרוק את ההגדרה המקורית לפח, וכעת פעל רק על פי ההגדרה החילופית: נאמר שסדרה היא *לא* מקורצחת דומא על ידי X אם קיים בסדרה איבר הקטן מ-X. נאמר על סדרה שהיא מקורצחת דומא אם ורק אם לא מתקיים שהסדרה *לא* מקורצחת דומא.

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

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

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

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

אם לא הבנת את זה גדי, אז אחדד בשבילך את המחלוקת ביננו.

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

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

לוגיקת הסתירה, שהיא חזות הכל בעיניך, אינה אלה מקרה פרטי של הלוגיקה-המשלימה, והדרך האחת והיחידה העומדת בפניך היא: להפריך את טענתי זו ולהראות כי הלוגיקה-המשלימה:

א) אינה קשורה כלל ללוגיקת הסתירה.

ב) או שהלוגיקה-המשלימה היא מקרה פרטי של לוגיקת-הסתירה.

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

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

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

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

עולמך הטריוויאלי מבוסס על לוגיקת סתירה, אשר כל בעיותיה מתקיימות במרחב הכרעה פשטני של כן XOR לא.

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

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

באשר להגדרה החלופית שלך, אני חושב בדיוק ההיפך ממך, זאת אומרת:

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

כל הגדרה אחרת, אינה מקובלת אלי כי היא מסלפת ומעוותת את ההבנה *המדוייקת* של אוסף אינסופי.

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

(באמת. אחרי "עולמך הוא עולם הכן XOR לא, ועולם זה הינו מכוער טריוויאלי ומשעמם, אשר אינו מעורר בי כל עניין להתעסק בהתפלפלותיו הסכולסטיות הריקניות, המובילות לניוון המחשבה, הדמיון, היצירתיות, דקות ההבחנה הרציונלית, ופיתוח החוש להתמודדות עם מצבים לא טריוויאליים, שבהם רב הנסתר על הנגלה" נראה לי שהקליימקס הגיע ועבר אותנו).
השלכות פילוסופיות של מתמטיקה חדשה 345935
התערבנו. (על מה?)
ובנושא אחר לגמרי: אם מישהו מהטכניוניסטים מתענין, אני ארצה ביום רביעי הקרוב בסמינר הקומבינטוריקה בטכניון.
השלכות פילוסופיות של מתמטיקה חדשה 345949
באיזו שעה זה? אני חושד שלא אוכל להגיע.
השלכות פילוסופיות של מתמטיקה חדשה 346134
התכוונת חושש, נכון?
על כל פנים, זה בשעה 15:00 בחדר 619 בבנין אמאדו.
השלכות פילוסופיות של מתמטיקה חדשה 346142
בפעם הבאה, אני חושש.
השלכות פילוסופיות של מתמטיקה חדשה 346069
אכן גדי מיצית את מיטב יכולתך בנדון ואני ממליץ לך בחום שתעמוד בדיבורך.

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

אז כדאי שתשמור על לשונך.
השלכות פילוסופיות של מתמטיקה חדשה 346118
''ריבית דריבית''. זה מארמית, ולכן אין צורך להוסיף גרש.
השלכות פילוסופיות של מתמטיקה חדשה 347140
תודה על התיקון

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

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