Back কারির কূটাভাস Bengali/Bangla Curryjev paradoks BS Paradoxa de Curry Catalan Curry's paradox English Paradoja de Curry Spanish Curryn paradoksi Finnish Paradoxe de Curry French הפרדוקס של קרי HE Curry paradoxonja Hungarian Paradosso di Curry Italian
Currys Paradoxon ist ein Paradoxon, das Haskell Curry 1942 beschrieb; es erlaubt die Ableitung einer beliebigen Aussage aus einem selbstbezüglichen Ausdruck, der seine eigene Gültigkeit voraussetzt, mittels einfacher, allgemeiner logischer Regeln. Curry zeigte auf diesem Weg die Inkonsistenz von Axiomensystemen mit solch einem Ausdruck.[1]
- ↑ Haskell B. Curry: The inconsistency of certain formal logics. In: Journal of Symbolic Logic. Bd. 7, Nr. 3, 1942, ISSN 0022-4812, S. 115–117.