Les précurseurs:

• John Neper (les logarithmes et la règle à calculs, XVIe-XVIIe siècles),



• Blaise Pascal (l'addition, XVIIe siècle),



• Gottfried Wilhelm Leibniz (la multiplication, XVIIe siècle),



• Jacques de Vaucanson (les automates, XVIIe siècle),



• Joseph Marie Jacquard (le métier à tisser précurseur des machines programmables -premiers supports perforés: cartes et rubans-, XVIIIe siècle),



• Charles Babbage et Lady Ada Lovelace (le premier ordinateur -mécanique-, XIXe siècle),



• etc...

Les notions d'algorithme, de calculabilité et de machine à calculer programmable:

• Le dixième problème de David Hilbert -résolubilité des équations diophantiennes- (1900),



• Alonzo Church (~1930),



• Kurt Gödel (1931),



• Alan Turing (~1930),



• John von Neumann (~1940),



• etc...

Les Mathématiques "expérimentales":

  

Le traitement de textes mathématiques.

Les démonstrations et les vérifications assistées par ordinateur.

Les progrès matériels et logiciels:

Un rôle de plus en plus (trop?) important pour l'informatique:

Mais Pythagore, Galilée, Newton, Einstein,... n'avaient pas d'ordinateurs!