„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
linkjav |
|||
78. sor:
== Kapcsolódó paradoxonok ==
* [[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 [[Gödel első nemteljességi tétele|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.
|