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

Vous pourriez être intéressé par :

Retour à La Une de Logo Paperblog

Ces articles peuvent vous intéresser :

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 l'auteur n'a pas encore renseigné son compte