Magazine Science
Le mathématicien et logicien américain Haskell Brooks Curry est mort le 1er septembre 1982.
Il a travaillé à la programmation fonctionnelle et a donné son nom à la curryfication, opération qui fait passer d'une fonction à plusieurs arguments à une fonction à un argument et qui retourne une fonction qui prend le reste des arguments.
Il s'est aussi intéressé à la logique mathématique et nous a laissé le paradoxe de Curry qui 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."