پارادوکس بورالی-فورتی: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
Homologician (بحث | مشارکت‌ها)
خط ۱:
در [[نظریه مجموعه‌ها|نظریه مجموعه]]<nowiki/>ها، شاخه ایشاخه‌ای از  [[ریاضیات]]، '''پارادوکس بورالی-فورتی''' نشان مینشان دهدمی‌دهد که ساختن «مجموعه تمام [[عدد ترتیبی|اعداد ترتیبی]]» منجر به تناقض شده، و لذا به یک تناقض در اصول (به انگلیسی:  antinomy یا آنتیموان)  سیستمی منجر می شودمی‌شود که جواز ساختن آن مجموعه را می دهدمی‌دهد. این نامگذاری، پس از [[سیزار بورالی-فورتی]]  انجام شد که در سال ۱۸۹۷ به چاپ مقاله ایمقاله‌ای مبادرت ورزید که در حالی که خودش خبر نداشت، با نتیجه دیگری که توسط [[گئورگ کانتور|کانتور]] ثابت شده بود، مغایرت داشت.  [[برتراند راسل]] پس از آن متوجه تناقض شد و هنگامی که در سال ۱۹۰۳ کتاب «اصول ریاضیات» اش را چاپ نمود، اعلام کرد که این مسئله بواسطه مقاله بورالی-فورتی، و با نتیجه اینتیجه‌ای که بعدابعداً به نام بورالی-فورتی مشهور شد، به ذهن او رسیده بود.
 
 
 
== منابع ==
{{چپ چین}}
* {{Citation|last=Burali-Forti|first=Cesare|title=Una questione sui numeri transfiniti|year=1897|journal=[[Rendiconti del Circolo Matematico di Palermo]]|volume=11|pages=154–164|doi=10.1007/BF03015911|DOI=10.1007/BF03015911}}More than one of <code style="color:inherit; border:inherit; padding:inherit;">&#x7C;DOI=</code> and <code style="color:inherit; border:inherit; padding:inherit;">&#x7C;doi=</code> specified ([[راهنما:CS1 errors#redundant parameters|help]])
[[رده:صفحه‌های دارای ارجاع با متغیر تکراری]]
* {{Citation|last=Moore|first=Gregory H|title=Burali-Forti's paradox: A reappraisal of its origins|year=1981|last2=Garciadiego|first2=Alejandro|journal=Historia Mathematica|volume=8|issue=3|pages=319–350|doi=10.1016/0315-0860(81)90070-7|DOI=10.1016/0315-0860(81)90070-7}}More than one of <code style="color:inherit; border:inherit; padding:inherit;">&#x7C;DOI=</code> and <code style="color:inherit; border:inherit; padding:inherit;">&#x7C;doi=</code> specified ([[راهنما:CS1 errors#redundant parameters|help]])
[[رده:صفحه‌های دارای ارجاع با متغیر تکراری]]
* {{Citation|last=Rosser|first=Barkley|title=The Burali-Forti paradox|year=1942|journal=J. Symbolic Logic|volume=7|pages=1–17|mr=0006327|MR=0006327}}More than one of <code style="color:inherit; border:inherit; padding:inherit;">&#x7C;mr=</code> and <code style="color:inherit; border:inherit; padding:inherit;">&#x7C;MR=</code> specified ([[راهنما:CS1 errors#redundant parameters|help]])
{{پایان چپ چین}}
[[رده:صفحه‌های دارای ارجاع با متغیر تکراری]]
 
== لینکپیوند هایبه خارجیبیرون ==
* [[دانشنامه فلسفه استنفورد|Stanford Encyclopedia of Philosophy]]: "[http://plato.stanford.edu/entries/paradoxes-contemporary-logic/ Paradoxes and Contemporary Logic]" -- by Andrea Cantini.
[[رده:اعداد ترتیبی]]