Institut de Recherche sur l'Enseignement des Mathématiques de Paris

Nous tentons de montrer que ces deux disciplines qui sont à la base de l'informatique sont bien deux sciences à part entière : très liées l'une à l'autre elles étudient les phénomènes de calcul.
Les calculs que nous effectuons en utilisant des algorithmes plus ou moins explicites sont innombrables, on peut dire qu'à chaque instant de notre vie consciente nous suivons un algorithme et il faut rajouter tous les calculs que notre corps ou notre cerveau effectue sans que nous en ayons conscience, que les sciences du vivant et les sciences cognitives parviennent aujourd'hui à décrire de plus en plus précisément. Les échanges et interactions entre membres d'un groupe coopérant à une tâche collective, ou entre humains coopérant avec des machines sont aussi régis par des algorithmes. Les modèles de calcul proposés par les grands pionniers que furent dans les années trente Church, Turing, Von Neumann tiennent le coup, ils ont été largement étendus et approfondis, et un vaste corps de connaissances concernant algorithmes et programmes ne cesse de s'agrandir.