„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ó |
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]]
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.
|