La programmation symbolique et l’émergence du sens

Dans un très intéressant billet sur la programmation symbolique qui adapte certaines structures du langage humain pour les rendre « calculables » et sur la façon dont Mathematica 6 représente toute chose en utilisant ces structures, Kovas Boguta énonce quelques profondes pensées :

« Les expressions symboliques sont la fabrique à partir de laquelle nous construisons la signification. »

« La siginification est encodée par des structures. La transformation d’une signification en une autre correspond à la transformation d’une structure en une autre. »

Le langage de programmation utilisé par Mathematica, en considérant des expressions symboliques comme des réservoirs de signification, permet de traiter d’une manière unifiée les entrées, les sorties et toutes les interactions entre humain et machine qui interviennent durant un calcul.

Le nombre de conséquences découlant de cette approche symbolique qui ajuste le calcul au langage plutôt que l’inverse est impressionnant. Si vous en doutez, consultez les réalisations et témoignages d’utilisateurs !