Mathématiques, Calcul et Informatique

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 !