„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
82. sor:
* 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
* [[
* [[Curry paradoxonja]], amely a Russell-paradoxontól eltérően rejtve, a ''következik'' premisszájába rejtve használ negációt.
* [[Boethius-paradoxon]]
|