Une brève histoire de l’informatique

-La préhistoire : de 3000 AC à 1900

-Abaques, machine pour prédire le mouvement des astres (80 AC)
-Formalisation du calcul : Al Khawarizmi (IX
* XVII ème
– Pascal : machine à additionner
– Leibniz : système binaire pour le calcul
* XVIII ème
– Jacquard : métier à tisser
– Babbage : machine différentielle
* XIX ème
– Boole : calcul binaire et calcul logique ème
– Peirce – Hilbert : 3 Questions : correction formelle – complétude décidabilité d’un système formel)
*De 1900 à 1940
– Gödel et Turing
– Tout système formel suffisamment puissant est soit incohérent soit incomplet
-Problème de l’arrêt indécidable
– Les années 40
– Travaux en cryptographie (décodage : Machine Enigma, Colossus)
– Parallèlement, en Angleterre, en Allemagne et aux USA, construction des premiers ordinateurs
– Calculateur électro-mécanique Mark 1 (Aiken, 44)
– 1946 : ENIAC Calculs balistiques (Atanasoff, Mauchly Eckert, 46)
– 44 : EDVAC, Mauchly Eckert et Von Neumann
– 48 : EDSAC, …
– Invention du transistor (Baarden, Brattain et Shockley 47)
* Les années 50
– Compilateurs (FORTRAN en 57)
– LISP en 58
– Circuits intégrés en 59
– Test de Turing en 50
* Les années 60
– Systèmes d’exploitation
– Basic en 64
– Automates – Langages formels – Correction de programmes
– Knuth : The Art of Computer Programming
– Micro-processeurs