„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
81. sor:
== Kapcsolódó paradoxonok ==
 
* A [[A hazug paradoxona]] és az [[Epimenidész-paradoxon]] egyaránt ókori eredetű. A hazug paradoxona nagyon alapvető, a [[20. század]]ban kétszer is fontos szerepet játszott a matematikában. Először [[Kurt Gödel]] használta fel egy formalizált változatát [[nemteljességi tétel]]ének igazolásához. Másodszor [[Alan Turing]] bizonyította a [[megállási probléma]] eldönthetetlenségét a paradoxon segítségével
* [[Grelling–Nelson-paradoxon]]
* [[Curry paradoxonja]], amely a Russell-paradoxontól eltérően rejtve, a ''következik'' premisszájába rejtve használ negációt.