Académique Documents
Professionnel Documents
Culture Documents
Avant 1900
Les machines calculer sont utilises depuis des milliers d'annes : on trouvait probablement des abaques Babylone en 3000 avant notre re. Les Grecs ont fabriqu des calculateurs analogiques trs perfectionns. En 1901, au large de l'le d'Antikythera, on a dcouvert une pave dans laquelle se trouvait, encrot de sel, un assemblage d'engrenages rouills (le mcanisme d'Antikythera), dat d'environ 80 avant notre re, que l'on a reconstruit : il servait prdire les mouvements des astres. L'Ecossais John Napier (1550-1617), l'inventeur des logarithmes, fabriqua vers 1610 les rgles de Napier pour simplifier la multiplication. En 1641, Blaise Pascal (1623-1662) construisit une machine additionner. Un travail analogue fut ralis par Gottfried Wilhelm Leibniz (1646-1716), qui prconisa l'utilisation du systme binaire pour les calculs. On a rcemment dcouvert que Wilhelm Schickard (1592-1635), professeur l'Universit de Tbingen, avait construit une machine de ce genre vers 1623 ou 1624 (avant Pascal et Leibniz), qu'il dcrivit brivement dans deux lettres Johannes Kepler. Malheureusement, la machine brla dans un incendie, et Schickard lui-mme mourut de la peste bubonique en 1635, durant la Guerre de Trente Ans. Joseph-Marie Jacquard (1752-1834) inventa un mtier tisser dont les motifs tait indiqus par des cartons perfors. Charles Babbage (1792-1871) construisit deux machines : la machine diffrentielle (expose au Science Museum de Londres) et la machine analytique, beaucoup plus ambitieuse (un prcurseur de l'ordinateur), mais aucune des deux ne marchait correctement. (Babbage, que l'un de ses biographes traite de gnie irascible , tait un peu bizarre. On ignore gnralement qu'il est l'inventeur de la dendrochronologie, ou datation des arbres; il ne poursuivit pas ses recherches ce sujet. Devenu vieux, il consacra une grande partie de son temps perscuter les joueurs d'orgue de Barbarie.) Une amie de Babbage, Ada Byron, comtesse de Lovelace (1815-1852), est parfois considre comme le premier programmeur de l'Histoire, en raison d'un rapport qu'elle crivit sur la machine de Babbage. (Le langage de programmation Ada a t nomm en son honneur.) L'conomiste et logicien anglais William Jevons (1835-1882) construisit en 1869 une machine rsoudre des problmes de logique : la premire machine suffisamment puissante pour rsoudre un problme compliqu plus rapidement qu' la main (Martin Gardner). La machine se trouve actuellement au Museum of the History of Science d'Oxford. Le statisticien amricain Herman Hollerith (1860-1929) inventa la carte perfore moderne pour l'utiliser dans une machine destine analyser les rsultats du recensement de 1890.
En 1931, Kurt Gdel (1906-1978) rpondit deux de ces questions. Il dmontra que tout systme formel suffisamment puissant est soit incohrent, soit incomplet. De plus, si un systme d'axiomes est cohrent, cette cohrence ne peut tre prouve en n'utilisant que les axiomes. La troisime question restait ouverte, en remplaant vrai par prouvable (existe-t-il un algorithme pour dire si une assertion peut tre prouve ?) En 1936, Alan Turing (1912-1954) rsolut l'Entscheidungsproblem en construisant un modle formel de calculateur - la machine de Turing - et en prouvant qu'une telle machine ne pouvait pas rsoudre certains problmes, en particulier le problme d'arrt : tant donn un programme, peut-on dire s'il termine pour n'importe quelle valeur des donnes ?
Les annes 50
Grace Hopper (1906-1992) inventa la notion de compilateur (1951). (Quelques annes plus tt, elle avait trouv le premier bug de l'histoire de l'informatique, une phalne entre dans le Mark II de Harvard.) John Backus et son quipe crivirent le premier compilateur FORTRAN en avril 1957. LISP (List Processing), un langage de traitement de listes pour l'intelligence artificielle, fut invent par John McCarthy vers 1958. Alan Perlis, John Backus, Peter Naur et leurs associs dvelopprent Algol (Algorithmic Language) en 1959. Jack Kilby (Texas Instruments) et Robert Noyce (Fairchild Semiconductor) inventrent les circuits intgrs en 1959. Edsger Dijkstra (1930-2002) trouva un algorithme efficace pour rsoudre le problme des plus courts chemins dans un graphe, titre de dmonstration pour l'ARMAC en 1956. Il trouva aussi un algorithme efficace de recherche d'un arbre recouvrant de poids minimal, afin de minimiser le cblage du X1. (Dijkstra est clbre pour ses dclarations caustiques et premptoires; voir par exemple son avis sur quelques langages de programmation). Dans un clbre article de la revue Mind, en 1950, Alan Turing dcrivit le test de Turing, l'une des premires avances en intelligence artificielle. Il proposait une dfinition de la pense ou de la conscience relative un jeu : un examinateur pose des questions par crit un interlocuteur situ dans la pice voisine, et doit dcider, au vu des rponses, si son interlocuteur est une machine ou un tre humain. S'il est incapable de rpondre, on peut raisonnablement dire que l'ordinateur pense . En 1952, Alan Turing fut arrt pour outrage aux bonnes moeurs aprs qu'une plainte pour cambriolage eut rvl sa liaison avec Arnold Murray. L'homosexualit affiche tait tabou dans l'Angleterre des annes 1950, et on obligea Turing suivre un traitement hormonal qui le rendit impuissant et lui fit pousser des seins. Le 7 juin 1954, Turing se suicida en mangeant une pomme enrobe de cyanure.
Les travaux d'Edgar Codd (1924-2003) sur les bases de donnes relationnelles permirent une avance majeure dans la thorie des bases de donnes. Codd reut le Turing Award en 1961. Le systme d'exploitation Unix fut dvelopp aux Bell Laboratories par Ken Thompson (n en 1943) et Dennis Ritchie (n en 1941). Brian Kernighan et Ritchie dvelopprent C, un important langage de programmation. On vit apparatre de nouveaux langages, tels que Pascal (invent par Niklaus Wirth) et Ada (ralis par une quipe dirige par Jean Ichbiah). La premire architecture RISC fut commence par John Cocke en 1975, chez IBM. Vers cette poque, des projets analogues dmarrrent Berkeley et Stanford. Les annes 1970 virent aussi natre les super-ordinateurs. Seymour Cray (n en 1925) conut le CRAY-1, qui apparut en mars 1976; il pouvait excuter 160 millions d'oprations par seconde. Le Cray XMP sortit en 1982. Cray Research ( prsent repris par Silicon Graphics) continue construire des ordinateurs gants. Il y eut aussi des progrs importants en algorithmique et en thorie de la complexit. En 1971, Steve Cook publia son article fondamental sur la NP-compltude, et, peu aprs, Richard Karp montra que de nombreux problmes combinatoires naturels taient NP-complets. Whit Diffie et Martin Hellman publirent un article fondant la thorie de cryptographie clef publique; le systme de cryptage RSA fut invent par Ronald Rivest, Adi Shamir, et Leonard Adleman. En 1979, trois tudiants de Caroline du Nord dvelopprent un serveur de nouvelles distribu qui finalement devint Usenet.
Source : http://dept-info.labri.u-bordeaux.fr/~dicky/HistInfo.html