Paradoxe de Curry

Carte Commune · n° 374134

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 explicitement vraie. L'exemple d'une telle phrase s'énonce : Si cette phrase est vraie, alors le Multivers existe. Si cette phrase est vraie, alors le ciel est rouge. 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.

Lire sur Wikipédia · Image Fool, Public domain