בתשובה לדורון שדמי, 18/10/05 22:50
 |
|
 |
||
|
||||
 |
אתה זה שמתקשה בהבנת הנקרא: כתבתי ש*אם* קיימת פונקציה חח"ע ועל בין A ל-P(A), הרי שלפי אקסיומת ההפרדה קיימת גם S (ומכאן מגיעים לסתירה, ולכן אין פונקציה כזאת). |  |
 |
 |
|
|
|
||
|
||||
|
אייל צעיר אינני טוען כי קיימת פונקציה חח"ע ועל בין A ל-P(A), אלא מראה כי הוכחתו של קנטור תקועה בשלב ה-injection מכיוון ש-S אינה קיימת. | |
|
|
|
|
|
||
|
||||
|
תקרא כבר מה שכותבים לך! לא טענתי שאתה טוען את זה! טענתי שע"פ ZF, ההנחה *שאותה אנחנו רוצים לשלול* (קיימת פונקציה וגו') גוררת את הטענה ש-S קיימת (ע"פ אקסיומת ההפרדה). אתה שאלת מה הקשר בין אקסיומת ההפרדה לקיום של S (תגובה 338775). זה הקשר! (כך נראית תגובה מתלהמת בלי שני סימני קריאה רצופים.) |
|
|
|
|
|
|
||
|
||||
|
עיין נא בדו-שיח המצורף: תגובה 338854 תגובה 338859 תגובה 338861 תגובה 338864 תגובה 338912 תגובה 338936 |
|
|
|
|
|
|
||
|
||||
|
קראתי. נובע ממנו שאתה לא מקבל את אקסיומת ההפרדה. | |
|
|
|
|
|
||
|
||||
|
''קראתי. נובע ממנו שאתה לא מקבל את אקסיומת ההפרדה.'' הוכח את טענתך. |
|
|
|
|
|
|
||
|
||||
|
האקסיומה: given a set A and a predicate P, we can find a subset B of A whose members are precisely the members of A that satisfy P אתה: יש תכונות שניתן לנסח בשפה מסדר ראשון ושעבורן הטענה לא מתקיימת. |
|
|
|
|
|
|
||
|
||||
|
"אתה: יש תכונות שניתן לנסח בשפה מסדר ראשון ושעבורן הטענה לא מתקיימת." ללא ספק, לדוגמא: P היא לא-P הינה תכונה בשפה מסדר ראשון ושעבורה הטענה לא מתקיימת. |
|
|
|
|
|
|
||
|
||||
|
התכונה צריכה להיות תכונה של *קבוצה* (איבר), לא תכונה של התכונה! בכל אופן, גם עבור "P היא לא P" וגם עבור "x היא לא x" הטענה *נכונה*, והקבוצה המתאימה היא הקבוצה הריקה. |
|
|
|
|
|
|
||
|
||||
|
קרא נא את תגובה 338984 | |
|
|
|
|
|
||
|
||||
|
יש לי בקשה אליך: על תפנה אותי לתגובות שעליהן כבר הגבתי (ושללתי אותן), במיוחד אם אתה עוד לא ענית לי על התגובה שלי. אתה לא יכול לבסס את התשובה שלך לשאלה שלי על דברים שאמרת ואני עוד לא קיבלתי. תודה. |
|
|
|
|
|
|
||
|
||||
|
"על תפנה אותי לתגובות שעליהן כבר הגבתי (ושללתי אותן), " שללת אותן? על מה אתה מדבר? |
|
|
|
|
|
|
||
|
||||
|
כמעט כל תגובה שאני כותב לך הביעה אי-הסכמה עם מה שכתבת. גם במקרה הזה, התגובה שכתבתי הביעה אי-הסכמה. | |
|
|
|
|
|
||
|
||||
|
''כמעט כל תגובה שאני כותב לך הביעה אי-הסכמה עם מה שכתבת'' אי-הסכמה ללא כל בסיס המוכיח את טענתך, אינה שלילה של טענה. |
|
|
|
|
|
|
||
|
||||
|
ההקשר הוא הבקשה שלי בתגובה 339022. אתה (?) מתבסס על כך ש"כבר כתבת" משהו בתגובה אחרת שהוכחה לכך שאתה צודק. אם לא קיבלתי את התגובה ההיא, היא לא יכולה לשמש כהוכחה. אגב, אי-ההסכמה שלי לרוב מנומקת, וגם כשלא, מדובר בטענה לא-מנומקת שלך (?). |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |