בתשובה לדורון שדמי, 11/11/05 16:26
 |
|
 |
||
|
||||
 |
התכונה: באוסף לא ניתן להגדיר "עוקב" (כפי שהגדרתי אותו בתגובה 337401) כך שהאוסף יהיה סגור תחת העוקב. התייחסתי להשלכה שלך בתגובה 337371. יש לציין שהפתיל ההוא עסק ב-ZF ושאתה ניסית להשתמש בו בטיעונים של קנטור. לגבי האינטואיציה: אז איזה כשל יכול להיות באינטואיציה *שלי* לגבי מבני ההיגיון *שלי*? ואיך *אתה* יכול להתיימר לתקן את הכשל? |
 |
 |
 |
|
|
|
||
|
||||
|
הינה תגובתך: "לא, העוקב חורג מכל קבוצה חלקית סופית של האוסף. או ליתר דיוק: בכל קבוצה חלקית סופית של האוסף, קיים איבר שהעוקב שלו אינו איבר בקבוצה. זו ה"הפרדה הקטגורית" (לפחות הגדרה אפשרית אחת) בין קבוצות סופיות לקבוצות אינסופיות: בקבוצה סופית לא ניתן להגדיר "עוקב" לכל איבר, ובקבוצה אינסופית אפשר. חבל שאתה לוקח תכונות שמתקיימות עבור קבוצות סופיות, ומניח אותן אוטומטית עבור קבוצות אינסופיות. ככה אתה מגיע לתוצאות שגויות." תשובתי לכך נמצאת בתגובה 342686 וניתן להוסיף לה גם את בתגובה 345451 . משתייהן *בחרת להתעלם* עד כה. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |