Das Curry-Paradoxon ist ein Paradoxon , bei dem eine beliebige Behauptung F allein durch die Existenz eines Satzes C bewiesen wird , der von sich selbst aussagt: „Wenn C , dann F “.
Kategorie
Self-referential paradoxes
5 Artikel
Der Gegenteiltag ist ein Fantasiespiel , das meist von Kindern gespielt wird. Er ist ein Feiertag , an dem man Dinge genau umgekehrt sagt und tut.
Das Kleene - Rosser-Paradoxon in der Mathematik zeigt die Inkonsistenz bestimmter Systeme formaler Logik auf , insbesondere der 1930 eingeführten Version von Haskell Currys kombinatorischer Logik und des 1932/33
In Philosophie und Logik bezeichnet das klassische Lügnerparadoxon (auch Lügnerparadoxon oder Antinomie des Lügners genannt) die Aussage eines Lügners, dass er lügt, beispielsweise: „Ich lüge.“ Wenn der Lügner
In der mathematischen Logik ist Russells Paradoxon (auch bekannt als Russells Antinomie ) ein mengentheoretisches Paradoxon, das 1901 von dem britischen Philosophen und Mathematiker Bertrand Russell veröffentlicht wurde.