בתשובה לדורון שדמי, 01/09/05 14:19
פרסום (?) למתמטיקה מונדית 327027
גיל לדרמן • בתשובה לדורון שדמי יום ה', 1/9/2005, 15:51
אתה טוחן מים. "שפה ישנה" זה ZFC (או גרסאות "עיליות" שלה שניתנות לתרגום אם רק היינו מתעקשים). מה זה ALL = more_than_ALL ב ZFC? לא מובן. זו המצאה שלך, ולכן שוב אתה נשאר באותו ארגז חול זנוח ולא מעניין כל כך.
S הינה קבוצה על פי ZFC באופן ברור למדי - Z זו קבוצה, PZ (לא הולך לי עם הסוגריים ביחד עם אנגלית) זו קבוצה על פי אקסיומת החזקה, פונקציה f בין שתי קבוצות זו קבוצה, וכמובן שאוסף כל האיברים בקבוצה אשר מקיימים נוסחא בשפה של תורת הקבוצות הינו קבוצה לפי אקסיומת ההפרדה. זה כל מה שנדרש אם מקבלים את ZFC - לעקוב אחרי אקסיומות וכללי הסקה.

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

הניחוש שלי הוא שמדובר במקרה השני, מה ששוב מותיר אותך עם הרבה פילוסופיה אולם בלי שוב דבר חשוב לומר על מתמטיקה.
פרסום (?) למתמטיקה מונדית 327054
דורון שדמי • בתשובה לגיל לדרמן יום ה', 1/9/2005, 18:04
גיל לדרמן:

או שאתה טוען ש S איננה קבוצה לפי ZFC ואז מוטל עליך למצוא כשל בטיעון הישיר למדי שמראה כי S הינה קבוצה על פי האקסיומות.

דורון:

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

אם אתה אינך יכול להמנע מגישתך הנ"ל ראה נא בזאת את תגובתי האחרונה אליך.

תגובתי:

גיל:

S הינה קבוצה על פי ZFC באופן ברור למדי...

דורון:

טעות בידך.

S מבוססת על הגדרה שיש בה סתירה עצמית ברורה, המונעת את קיומה.

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

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

תודה,

דורון
פרסום (?) למתמטיקה מונדית 327092
גיל לדרמן • בתשובה לדורון שדמי יום ה', 1/9/2005, 22:25
קראתי בזהירות גם את התגובה שלך וגם את הקישור המצורף, ולא התרשמתי כל כך. קורה.
אני מסביר לך שלמיטב הכרתי (והכרתם של לא מעט אנשים אחרים, לא כולם מטומטמים) הקבוצה S מוגדרת היטב על פי האקסיומות של ZFC (ועל פי הנחת השלילה בדבר קיומה של פונקצית התאמה בין Z ל PZ). אז יכול להיות שאתה טוען שאני טועה והם טועים - ואז מוטל עליך להראות זאת. להגיד שהיא "מבוססת על הגדרה שיש בה סתירה עצמית ברורה" זה בעצם לא להגיד כלום. האם אתה מסכים ש PZ זו קבוצה? אם כך, האם אתה מסכים שפונקציה f בין Z ל PZ הינה קבוצה? ואם כך, האם לא ברור לנו מאקסיומת ההפרדה שגם S הינה קבוצה?
או שבעצם אתה לא מתבסס על אקסיומת החזקה ואקסיומת ההפרדה ושאר האקסיומות של ZFC, ובמקום זה אתה מדבר על תורת הקבוצות של דורון שדמי. במקרה זה, אני חוזר ואומר שאין שום דבר מעניין במיוחד בתאוריה שלא מספרת על שום דבר מלבד על עצמה, וגם מה שהיא מספרת על עצמה לא חורג מקצת קומבינטוריקה סופית אלמנטרית למדי.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות