Currys Paradoxon

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.