Sur les interactions entre les mathématiques et l’informatique
Depuis le développement des premier ordinateurs, il y avait des mathématiciens que ont constaté que l’ordinateur peut avoir un impact profonde sur les mathématiques. Le lien commun entre ces déclarations est que l’ordinateur résultera dans des mathématiques qui sont moins orientés vers l’abstraction et plus vers le concret et qui sont ancrées dans des pratiques d’experiences mathématiques. Mais, si c’est vrai que l’ordinateur pourra changer les mathématiques profondement, qu’est qui a changé exactement avec l’introduction de l’ordinateur dans les mathématiques? Le but de cet exposé est d’attaquer ces questions en proposant trois charactéristiques des mathématiques assistées par l’ordinateur (interaction homme-machine£ intériorisation et temps) illustrés par des exemples qu’on peut trouver dans l’histoire des mathématiques.