בתשובה לגיל לדרמן, 01/09/05 15:51
פרסום (?) למתמטיקה מונדית 327054
גיל לדרמן:

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

דורון:

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

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

תגובתי:

גיל:

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

דורון:

טעות בידך.

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

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

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

תודה,

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

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

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