پارادوكس ها در نظريه ي مجموعه ها
پارادوكس ( باطلنما ) چيست؟ آنچه كه تناقض آميز، باورنکردني يا خلاف انتظار (و شهود) ماست . آنچه به نظر درست مي رسد ولي غلط است ، به نظر غلط مي رسد ولي درست است ، يا ...
مقدمه:
نظریۀ مجموعه ها اولین بار به عنوان دیسیپلین ریاضی به وسیلۀ کانتور(1918-1845) در نیمۀ دوم قرن نوزدهم مورد مطالعه قرار گرفت.امروزه تئوری مجموعه ها جزء بنیا دهای ریاضیات است و تقریباً در همان موقع که نظریۀ مجموعه ها شروع به تأثیر در سایر شاخه های ریاضی کرد،تناقضات گوناگونی ،که پارادوکس نامیده می شوند،کشف شدند،که اولین آنها به وسیلۀ بورالی-فورتی در 1897 بود. در این مقاله بعضی از پارادوکس ها ارائه می شود.
پارادوکس :
پارادوكس ( باطلنما ) چيست؟ آنچه كه تناقض آميز، باورنکردني يا خلاف انتظار (و شهود) ماست . آنچه به نظر درست مي رسد ولي غلط است ، به نظر غلط مي رسد ولي درست است ، يا به نظر غلط مي رسد و واقعا غلط است . فايده پارادوکسها :1. ايجاد انگيزه براي گسترش مرزهاي دانش ؛ 2. تعميق بينش ؛ 3. تعميم شيوه هاي استدلال ؛ 4. افزايش دقت ؛
5. وضع قوانين زبان شناختي جديد .
بعضي پارادوكسها که متضمن تناقض اند صادق به نظر مي رسند وحتي اين ايده را به ذهن نزديك ميكنند كه چرا تناقضها را نپذيريم ! درمنطق پيراسازگار (paraconsistent) مي توان تناقض داشت و بر خلاف رياضيات کلاسيک ، چنين نيست كه از تناقض هر چيزي نتيجه شود.
یادآوری(خانوادۀ مجموعه ها):
یادآور می شویم که یک مجموعه عبارت است از گردآورده ای از اشیای معین و متمایز.به طور غیر دقیق،یک خانواده عبارت است از گردآورده ای از اشیاء معین که لزوماً متمایز نیستند.بعنوان مثال {a,a,a} یک خانوادۀ سه عضوی است که اعضای آنa,a,وa هستند. در صورتی که اگر همان خانوادۀ {a,a,a} را بعنوان یک مجموعه در نظر بگیریم برابر مجموعۀ تک عضوی{a} خواهد بود. فرض کنید Gیک مجموعه باشد و به ازای هر عضو g از G یک مجموعۀ Ag وابسته شود.مجموعه ی تمامی مجموعه های Ag را یک خانوادۀ اندیس دار از مجموعه ها می نامیم وG را مجموعه ی اندیس آن گوییم و به صورت{Ag|gÎG} نمایش می دهیم،به عنوان مثال ،خانوادۀ مجموعه های{1,2},{2,4},{3,6},…,{n,2n},… را می توان به عنوان یک خانوادۀ اندیس دار از مجموعه ها در نظر گرفت که مجموعۀ اندیس آن N است،و به ازای هر nÎN داریم{An={n,2n .
براي ديدن ادامه ي مقاله به فايل زير مراجعه كنيد :
فایل های پیوست
| FILE | توضيحات | FILE SIZE | آخرين ويرايش |
paradox | پارادوكس ها در نظريه ي مجموعه ها | 117 Kb | ۰۹/۱۱/۱۴ 18:09 |