Histoire et Linformatique

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.

1900 - 1939: l'avance mathmatique

L'tude des machines calculer se poursuivait. On construisit des machines destines une utilisation particulire: ainsi, en 1919, le lieutenant d'infanterie E. Carissan (1880-1925) conut et ralisa une merveilleuse machine factoriser les entiers. L'Espagnol Leonardo Torres y Quevedo (1852-1936) construisit plusieurs machines lectromcaniques, dont l'une qui jouait des fins de parties d'checs. En 1928, le mathmaticien David Hilbert (1862-1943) posa trois questions au Congrs International des Mathmaticiens : (1) Les mathmatiques sont-elles compltes ? (tout nonc mathmatique peut-il tre soit prouv, soit rfut ?) (2) Les mathmatiques sont-elles cohrentes ? (peut-on tre sr que des raisonnements valides ne conduiront pas des absurdits ?) (3) Les mathmatiques sontelles dcidables ? (existe-t-il un algorithme pouvant dire de n'importe quel nonc mathmatique s'il est vrai ou faux ?) Cette dernire question est connue sous le nom de Entscheidungsproblem.

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 1940 : la guerre fait natre l'ordinateur lectronique

La complication des calculs balistiques, durant la seconde guerre mondiale, aiguillonna le dveloppement de l'ordinateur lectronique. En 1944, Harvard, Howard Aiken (1900-1973) construisit le calculateur lectromcanique Mark I, avec l'aide d'IBM. Le dcryptage militaire conduisit aussi des projets d'ordinateur. Alan Turing, en Angleterre, travaillait dcoder la machine allemande Enigma; les Anglais construisirent un calculateur, le Colossus, pour aider au dcryptage. En 1939, l'Universit d'Iowa, John Atanasoff (1904-1995) et Clifford Berry conurent et ralisrent l'ABC, un calculateur lectronique pour rsoudre des systmes d'quations linaires, mais il ne fonctionna jamais correctement. Atanasoff discuta de son invention avec John Mauchly (1907-1980), qui, plus tard, avec John Eckert (1919-1995), conut et ralisa l' ENIAC, un calculateur lectronique destin l'origine aux calculs balistiques. On ne sait pas trs bien quelles ides Atanasoff transmit Mauchly; le mrite d'avoir invent le premier ordinateur revient-il Atanasoff ou Mauchly et Eckert ? Ce fut le sujet de batailles juridiques, c'est encore celui d'un dbat historique. L'ENIAC fut construit l'Universit de Pennsylvanie, et termin en 1946. En 1944, Mauchly, Eckert, et John von Neumann (1903-1957) travaillaient la conception d'un ordinateur lectronique, l'EDVAC. Le premier rapport de Von Neumann sur l'EDVAC eut beaucoup d'influence; on y trouve de nombreuses ides encore utilises dans les ordinateurs les plus modernes, dont une routine de tri par fusion. Eckert et Mauchly reprirent ces ides pour construire l'UNIVAC. Pendant ce temps, en Allemagne, Konrad Zuse (1910-1995) construisait le premier calculateur programmable universel (non spcialis), le Z3 (1941). En 1945, Vannevar Bush publia As We May Think, un article tonnamment prophtique sur le traitement de l'information, et ses effets sur la socit dans les temps venir. En Angleterre, Maurice Wilkes (n en 1913) construisit l'EDSAC ( partir de l'EDVAC). F. Williams (n en 1911) et son quipe construisirent le Manchester Mark I, dont une version fut oprationnelle ds juin 1948. Certains considrent cette machine comme le premier ordinateur programme en mmoire (architecture dite de Von Neumann). L'invention du transistor en 1947 par John Bardeen, Walter Brattain et William Shockley transforma l'ordinateur, et permit la rvolution du microprocesseur. Pour cette dcouverte, ils reurent le Prix Nobel de Physique en 1956. (Par la suite, Shockley se rendit clbre pour ses points de vue racistes.) Jay Forrester (n en 1918) inventa vers 1949 la mmoire noyau magntique.

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 annes 1960

Dans les annes 1960, l'informatique devint une discipline part entire. Le premier dpartement d'informatique fut cr en 1962 l'Universit de Purdue; le premier Ph.D. d'informatique fut dlivr Richard Wexelblat par l'Universit de Pennsylvanie, en dcembre 1965. Il y eut une perce dans les systmes d'exploitation. Fred Brooks (IBM) conut System/360, une srie d'ordinateurs de tailles varies, avec la mme architecture et le mme ensemble d'instructions. Edsger Dijkstra, Eindhoven, conut le systme multiprogramme THE. De nombreux langages de programmation virent le jour, tels que BASIC, dvelopp vers 1964 par John Kemeny (1926-1992) et Thomas Kurtz (n en 1928). Les annes 1960 virent merger la thorie des automates et des langages formels : on peut notamment citer Noam Chomsky (qui se fit plus tard remarquer par la thorie suivant laquelle le langage est cbl dans le cerveau, et pour sa critique de la politique trangre des Etats-Unis) et Michael Rabin. On commena aussi utiliser des mthodes formelles pour prouver la correction des programmes. Les travaux de Tony Hoare (l'inventeur de Quicksort) jourent un rle important. Vers la fin de la dcennie, on commena construire ARPAnet, le prcurseur d'Internet. Ted Hoff (n en 1937) et Federico Faggin (Intel) conurent le premier microprocesseur en 1969-1971. Donald Knuth (n en 1938), auteur du trait The Art of Computer Programming, posa des fondements mathmatiques rigoureux pour l'analyse des algorithmes.

Les annes 1970

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.

Les annes 1980

Cette dcennie vit apparatre le micro-ordinateur personnel, grce Steve Wozniak et Steve Jobs, fondateurs de Apple Computer. Les premiers virus informatiques apparurent en 1981 (leur nom est d Leonard Adleman). En 1981, l'Osborne I, le premier ordinateur vraiment portable, fut mis sur le march. En 1984, Apple commercialisa le Macintosh. En 1987, l'US National Science Foundation dmarra NSFnet, qui devait devenir une partie de l'Internet actuel.

Les annes 1990 et au-del

On continue dvelopper des ordinateurs parallles. L'informatique biologique, avec les rcents travaux de Leonard Adleman sur l'utilisation de l'ADN comme calculateur non dterministe, ouvre de grandes perspectives. Le projet Gnome Humain cherche squencer tout l'ADN d'un individu. Peter Shor dcouvre que l'on peut efficacement factoriser des entiers sur un ordinateur quantique (thorique), ce qui ouvre la voie la programmation quantique. Les autoroutes de l'information relient de plus en plus les ordinateurs du monde entier. Les ordinateurs sont de plus en plus petits; naissance de la nano-technologie.

Source : http://dept-info.labri.u-bordeaux.fr/~dicky/HistInfo.html