Langage formel et langage naturel Abaisser les barrières entre eux pour promouvoir les sciences

, par  Bernard Vuilleumier , popularité : 1%

Nous étions plusieurs, parmi les utilisateurs réguliers de Mathematica, à craindre que son développement ne souffre de l’investissement de Wolfram Research dans Wolfram Alpha. Nous voilà pleinement rassurés autant qu’émerveillés. Avec la sortie de Mathematica 8, deux mondes se rencontrent : celui de la rigueur et de la précision des langages formels et celui de la richesse et de la polysémie des langages naturels. Quel bond en avant ! À l’heure où les politiques, les responsables de l’éducation et les enseignants s’inquiètent de l’image et de l’avenir de l’éducation scientifique, Wolfram Research montre la voie. Encore faudrait-il que les décideurs connaissent les fantastiques possibilités de Mathematica et prennent conscience du rôle qu’il peut jouer dans la promotion et l’enseignement des sciences.