Back Curryjev paradoks BS Paradoxa de Curry Catalan Currys Paradoxon German Curry's paradox English Paradoja de Curry Spanish Curryn paradoksi Finnish הפרדוקס של קרי HE Curry paradoxonja Hungarian Paradosso di Curry Italian カリーのパラドックス Japanese
Le paradoxe de Curry fut présenté par le mathématicien Haskell Curry en 1942 et permet d'arriver à n'importe quelle conclusion à partir d'une phrase auto-référentielle et de quelques règles logiques simples. Une telle phrase s'énonce :
- Si cette phrase est vraie, alors le monstre du Memphrémagog existe.
C'est une traduction, en logique minimale, du paradoxe de Russell (théorie des ensembles), ou de la phrase de Gödel (théorie de la démonstration).[réf. nécessaire]
Il est aussi nommé le paradoxe de Löb puisque la preuve se déroule de manière semblable à celle du théorème de Löb publié en 1955 par le mathématicien Martin Löb.