הסבר: הפרדוקס של ראסל

[B][SIZE=4]רקע[/SIZE][/B]
[SIZE=2]ראסל (או בשמו המלא ברטראנד ראסל) היה פילוסוף ולוגיקן אשר חי בין השנים 1872-1970.[/SIZE]
[SIZE=2]את פרדוקס זה (אשר נקרא על שמו) ראסל שלח למייסדה של הלוגיקה המתמטית, גוטלוב פרגה בשנת 1901. הפרדוקס עוסק בתורת הקבוצה האלמנטרית (כלומר, תורת הקבוצות בלי שום חוקים ואקסיומות). [/SIZE]
[SIZE=2][/SIZE]
[B][SIZE=4]רקע מתמטי[/SIZE][/B]
[SIZE=2]הפרדוקס מדבר על קבוצות אז בואו נגדיר מה זאת קבוצה:[/SIZE]
[SIZE=2]"קבוצה היא אוסף של איברים אשר לא חייב להיות בינם קשר"[/SIZE]
[SIZE=2]סימון: סוגריים מסולסלות אשר בתוכם ההגדרה של הקבוצה אם יש לה כלל מסוים או האיברים שלה אם אין כלל מסוים.[/SIZE]
[SIZE=2]דוגמאות לקבוצה: {חתול, כלב}, {כלל המספרים הראשוניים} {כל המילים אשר מתחילות באות א' מתוך הא"ב} וכו'.[/SIZE]
[SIZE=2][/SIZE]
[B][SIZE=4]הפרדוקס עצמו[/SIZE][/B]
[SIZE=2]בפרדוקס עצמו ראסל החליט להשתמש בכך שאין חוקים בתורת הקבוצות הנ"ל והגדיר את ההגדרות הבאות:[/SIZE]
[SIZE=2]1. קבוצה מוזרה היא קבוצה שמכילה את עצמה (כלומר, היא אחת מהאיברים של עצמה, אני יודע שזה מוזר אבל קבוצות אינסופיות הן דבר אפשרי גם בתורת הקבוצות האקסיומטית).[/SIZE]
[SIZE=2]2. קבוצת כל הקבוצות הלא מוזרות=A.[/SIZE]
[SIZE=2]ואז הוא החליט לבדוק: A מוזרה או לא מוזרה (לא יכול להיות משהו באמצע, נכון?).[/SIZE]
[SIZE=2]אם A היא קבוצה מוזרה אזי היא מכילה את עצמה אבל היא מכילה [B]אך ורק [/B]את הקבוצות הלא מוזרות ולכן קיבלנו סתירה.[/SIZE]
[SIZE=2]אם כך, נשאר לנו לבדוק את האפשרות השנייה, A לא מוזרה:[/SIZE]
[SIZE=2]אם A לא מוזרה אזי היא מכילה את עצמה מכיוון שהיא קבוצת כל הקבוצות הלא מוזרות אבל אם היא מכילה את עצמה היא מוזרה ועוד הפעם קיבלנו סתירה.[/SIZE]
[SIZE=2][/SIZE]
[B][SIZE=4]מסקנות[/SIZE][/B]
[SIZE=2]אם ככה, קיבלנו שA לא מוזרה ולא לא מוזרה וזאת סתירה לכל המתמטיקה ולכן תורת הקבוצות האלמנטרית לוקה בחסר, דבר זה מתקנים בתורת הקבוצות האקסיומטית אבל זה כבר יותר מתקדם.[/SIZE]
[SIZE=2][/SIZE]
[SIZE=1][COLOR=black](קרדיט לי-[COLOR=black]~גלואה Αυολακγ~[/COLOR] ולי בלבד על כל המידע, אין להעתיק הסבר זה ללא רשותי)[/COLOR][/SIZE]

פרדוקס נחמד=) אהבתי...מעניין מה הכשל בו...

[quote=Dor_T;971053]פרדוקס נחמד=) אהבתי...מעניין מה הכשל בו...[/quote]
הכשל הוא בעצם שאסור להגדיר מושג שנקרא "קבוצה מוזרה" אבל הסיבה לזה לומדים בקורסי תורת הקבוצות האקסיומטית או תורת הקבוצות (תלוי באיזו אוניברסיטה לומדים).

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

[quote=הרוח המתמטקאית;971100]תודה רבה שהבארת,
גם שלפי זכרוני כבר הבאת עוד פעם
בכל מקרה תודה
כן הפרדוקס הזה היהי טוב ועשה שוק למתמטקאים בזמנו.[/quote]
*הבהרת

הבאתי אבל הוא לא היה מאורגן ולא מסודר כמו שצריך...
הוא עשה שוק וגרם לתחום חדש להגיע D: