Magazine Science

Haskell Curry

Publié le 01 septembre 2008 par Bruno K.

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."

Retour à La Une de Logo Paperblog

A propos de l’auteur


Bruno K. 145 partages Voir son profil
Voir son blog

l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte