„Russell-paradoxon” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Syp (vitalap | szerkesztései)
Nincs szerkesztési összefoglaló
Ragacs (vitalap | szerkesztései)
Elütés javítása...
56. sor:
Miután Russell felfedezte paradoxonját, minden matematikus számára világos lett, hogy a halmazelmélet abban az intuitív formában, ahogy Cantor megalkotta, nem tartható, hiszen ebben az elméletben bármilyen bizonyítható tétel tagadása is bizonyítható.
 
Az első választ a paradoxonra maga Russell adta. Munkatársával, [[Alfred North Whitehead]] segítségével kidolgoztak egy alternatív halmazelméletet a [[Principia Mathematica]] című munkájukban (amely nevét [[Isaac Newton]] hasonló című munkájáról, a [[Philosophiae Naturalis Principia Mathematica]]-tól kölcsönözte), ez a '''tipizált halmazelmélet''', vagy [[típuselmélet]]et. Ez lehetővé teszi az összes addig ismert halmazelméleti és matematikai eredmény levezetését, de elkerüli a paradoxonból következő ellentmondást. Ennek ellenére különféle okok miatt nem vált különösebben népszerűvé matematikusi körökben. A matematikusok nehézkesnek és mesterkéltnek tartották az elméletet, és sokkal egyszerűbb utat találtak a halmazelmélet megreformálására.
 
Egy másik irányzat volt a Cantor-féle naiv halmazelmélet megreformálása, amelynek eredménye a modern [[axiomatikus halmazelmélet]] lett. Ez a típuselmélethez hasonlóan, nem engedi meg tetszőleges halmazok létrehozását, és így elkerüli a Russell-féle és a hozzá hasonló problémákat, ugyanakkor a típuselméletnél rugalmasabb.