Vous êtes sur la page 1sur 8

Les quatre concepts de l'informatique

Gilles Dowek INRIA 23 avenue d'Italie, ! "#32#, $%2#& 'aris ede( #3, )rance gilles.dowek@inria.fr

* la question + ,u'est ce que l'informatique - ., nous sommes souvent tent/s de donner une r/ponse de la forme + L'informatique est 000 .0 Ainsi, l'informatique est souvent d/finie comme la science des al1orit2mes, la tec2nique du traitement de l'information, la partie constructive des mat2/matiques, une 3ranc2e de l'/lectronique, une p24sique du si1ne, 000 5outes ces r/ponses sont imparfaites, car partielles0 Au lieu de tenter une r/ponse de la forme + L'informatique est 000 ., il sem3le plus sa1e de tenter des r/ponses de la forme + 6n informatique, il 4 a 000 .0 'lusieurs r/ponses peuvent alors contri3uer 7 /num/rer les diff/rents constituants de l'informatique, 8usqu'7 ce que suffisamment de constituants soient /num/r/s pour couvrir l'e(tension courante du mot + informatique .0 Il est alors possi3le, dans une seconde /tape, de c2erc2er les relations entre ces diff/rents constituants, qui forment la structure de ce c2amp de la connaissance0 es constituants peuvent 9tre des 3ranc2es de l'informatique0 Ainsi, on peut dire qu'en informatique il 4 a la t2/orie des lan1a1es de pro1rammation, la t2/orie des 3ases de donn/es, 000 mais il sem3le plus pertinent d'/num/rer, non les sous:disciplines, mais les concepts utilis/s dans ce domaine de la connaissance, qui ont sans doute une sta3ilit/ temporelle plus 1rande que les diverses sous: disciplines qui se recomposent sans cesse0 Les relations entre ces diff/rents concepts sont /1alement sans doute plus r/v/latrices de la structure profonde de l'informatique, que les relations entre ces diverses sous:disciplines0 ,uatre concepts ; al1orit2me, mac2ine, lan1a1e et information ; sem3lent suffisants pour couvrir l'ensem3le de ce que nous appelons + informatique .0

Le concept d'al1orit2me
Le concept d'al1orit2me est le plus ancien, puisque 2%<< ans avant notre =re, les compta3les utilisaient d/87 des al1orit2mes pour effectuer les quatre op/rations, calculer des pr9ts, des 2/rita1es, 000 et les arpenteurs pour calculer l'aire de surfaces a1ricoles0 e concept d'al1orit2me n'est pas propre 7 l'informatique, puisqu'il est /1alement utilis/ en mat2/matiques, o> e(istent de nom3reu( al1orit2mes pour r/soudre des /quations de mani=re e(acte ou approc2/e, d/river et int/1rer des e(pressions fonctionnelles, calculer la pro3a3ilit/ de certains /v/nements, ? !i on fait d/marrer l'informatique dans les ann/es #@3<, ce concept est donc 3ien ant/rieur 7 l'informatique, mais si on fait d/marrer les mat2/matiques au Ae si=cle avant notre =re, il est /1alement ant/rieur au( mat2/matiques0 Bn al1orit2me est une recette qui permet de r/soudre un certain pro3l=me de mani=re s4st/matique0

Bn e(emple paradi1matique est la recette de la tarte au( pommes, qui permet de r/soudre un pro3l=me C faire une tarte au( pommes0 5outefois, dans cet e(emple, il est important de distin1uer la recette en tant que te(te de la recette en tant que pratique0 Bne recette peut 9tre e(/cut/e et m9me 9tre transmise de 1/n/ration en 1/n/ration, sans 9tre /crite, ni m9me ver3alis/e0 'est cette seconde notion qui correspond 7 la notion d'al1orit2me0 D=s que la recette est /crite ou ver3alis/e, elle doit 9tre compar/e, non 7 la notion d'al1orit2me, mais 7 celle de pro1ramme0

L'/1alit/ entre deu( al1orit2mes


La notion d'al1orit2me est plus 1rossi=re que la notion de pro1ramme C plusieurs pro1rammes peuvent correspondre au m9me al1orit2me, mais elle est moins 1rossi=re que celle de pro3l=me C un m9me pro3l=me ; par e(emple, trier une liste ; peut:9tre r/solu par plusieurs al1orit2mes0 es deu( remarques m=nent 7 une question qui n'est pas encore r/solue au8ourd'2ui C quand peut:on dire que deu( al1orit2mes sont identiques - lairement, s'il sont e(prim/s par le m9me te(te, ils sont identiques, s'il ne r/solvent pas le m9me pro3l=me, il sont diff/rents0 Dais, entre ces deu( e(tr9mes, il r=1ne un certain flou0 En s'accorde en 1/n/ral 7 penser que si deu( al1orit2mes n'ont pas la m9me comple(it/ ; s'ils demandent un temps diff/rent pour r/soudre le m9me pro3l=me ; ils sont diff/rents, mais cette caract/risation est encore trop 1rossi=re C divers al1orit2mes de tri, quoique de m9me comple(it/, peuvent 9tre diff/rents0

Les al1orit2mes non d/terministes


Bne id/e lar1ement r/pandue, mais fausse, est qu'un al1orit2me est n/cessairement d/terministe C il ne laisse aucune place 7 l'al/a0 Au contraire, de nom3reu( al1orit2mes ont 3esoin de l'al/a pour fonctionner0 'ar e(emple, si deu( utilisateurs du t/l/p2one s'appellent au m9me instant, c2acun sera diri1/ vers la messa1erie de l'autre0 !'ils r/it=rent leur appel apr=s un temps fi(e, le m9me p2/nom=ne se reproduira0 6n revanc2e, s'ils r/it=rent leur appel apr=s un temps al/atoire, ils r/ussiront presque sFrement 7 se parler0

e sur quoi les al1orit2mes op=rent


Bn al1orit2me op=re sur quelque c2ose C par e(emple la recette de la tarte au( pommes op=re sur des in1r/dients C les Gufs, la farine, 000 Les al1orit2mes mat2/matiques op=rent tou8ours sur des o38ets mat2/matiques C des nom3res, des pol4nHmes, des matrices, des /quations, 000 Dais la notion d'al1orit2me est plus vaste, puisque les al1orit2mes peuvent op/rer sur des donn/es 3eaucoup plus vari/es C des ar3res, des 1rap2es, d'autres al1orit2mes, des ima1es, des sons, des te(tes, 000 Bn te(te est une suite finie de s4m3oles appartenant 7 un alp2a3et fini0 Bne telle donn/e peut 9tre qualifi/e de + s4m3olique .0 Bne matrice, un pol4nHme, 000 peuvent 9tre repr/sent/s de mani=re s4m3olique0 Bne id/e lar1ement r/pandue, mais fausse, est qu'un al1orit2me op=re tou8ours sur des donn/es s4m3oliques0 'est, encore une fois, une vision trop restrictive C de nom3reu( al1orit2mes, par e(emple la recette de la tarte au( pommes, op=rent sur des donn/es qui ne sont pas s4m3oliques C des Gufs, de la farine, ?

Le concept de mac2ine
'endant &%<< ans, nous avons conIu des al1orit2mes, pour les e(/cuter + 7 la main ., mais depuis quelques d/cennies, nous utilisons pour cela des outils0 Bne telle utilisation d'outils sem3le naturelle, puisqu'un al1orit2me est fait pour 9tre e(/cut/ + sans r/fl/c2ir . et c'est ainsi que, depuis l'Antiquit/, nous avons utilis/ des a3aques ; 3a1uettes 7 calculer, 3ouliers, /c2iquiers, 000 ; et des mac2ines m/caniques, avant que nous a4ons les connaissances tec2niques n/cessaires pour construire les outils les plus courants au8ourd'2ui C les ordinateurs0

La diversit/ des mac2ines


Bne mac2ine est un outil, c'est:7:dire un s4st=me mat/riel, qui o3/it donc au( lois de la p24sique0 Les mac2ines comprennent les ordinateurs, des appareils plus sp/cialis/s comme les appareils p2otos ou les t/l/p2ones, et plus 1/n/ralement tous les s4st=mes p24siques, pour lequel nous avons d/fini un protocole d'interaction, qui nous permet d'/c2an1er des donn/es0 Ainsi, nous pouvons ima1iner une mac2ine dans laquelle nous laissons tom3er une 3alle dans le vide pendant un temps t et mesurons la distance parcourue par la 3alle0 ette mac2ine effectue un calcul particulier C elle /l=ve le nom3re t au carr/0 Le m9me s4st=me p24sique, muni d'un autre protocole, effectue un autre calcul C si nous mesurons la dur/e n/cessaire 7 la 3alle pour parcourir une distance d, nous o3tenons une mac2ine qui calcule la racine carr/e du nom3re d0 Au8ourd'2ui, de nom3reuses mac2ines e(ploitent les propri/t/s p24siques des semi:conducteurs, mais rien n'impose que cela soit tou8ours le cas et la rec2erc2e en informatique e(plore de nom3reuses alternatives, en tentant, en particulier, d'e(ploiter plus s4st/matiquement les possi3ilit/s de la p24sique quantique, ou de s'inspirer des processus du vivant0

La puissance de calcul et les principes de la p24sique


Le fait que les mac2ines o3/issent au( lois de la p24sique limite leur puissance C les mac2ines pourraient calculer 3eaucoup plus de c2oses si l'information pouvait vo4a1er instantan/ment ou s'il /tait possi3le de stocker une quantit/ infinie d'information dans un volume fini0 De mani=re moins sp/culative, la p24sique du calcul /ta3lit un lien entre la r/versi3ilit/ d'un calcul, c'est:7:dire la possi3ilit/ de retrouver les valeurs d'entr/e de l'al1orit2me 7 partir de son r/sultat et la r/versi3ilit/ de l'/volution du s4st=me p24sique qui effectue ce calcul C quand une mac2ine effectue un calcul irr/versi3le, le processus p24sique lui:m9me est irr/versi3le, et il dissipe donc de la c2aleur0 Le lien entre l'/ner1ie dissip/e sous forme de c2aleur et l'information perdue peut m9me 9tre quantifi/ C effacer un 3it d'information dissipe, sous forme de c2aleur, au moins une /ner1ie k T lnJ2K, o> k est la constante de LoltMmann, et au1mente donc l'entropie au moins de k lnJ2K0

L'espace et les r/seau(


omme tout s4st=me p24sique, une mac2ine peut avoir une e(tension plus ou moins 1rande dans l'espace et, 7 l'ordinateur de 3ureau, s'est peu 7 peu su3stitu/ une autre mac2ine, 3eaucoup plus /tendue, constitu/e de milliards d'ordinateurs interconnect/s en r/seau0 Apr=s l'ordinateur, le r/seau est donc une deu(i=me instance de ce concept de mac2ine, qui donne 7 cette question d'e(tension dans l'espace une place essentielle0 En peut ici parler de + 1/om/trie du calcul . quand on se pose la

question de la mani=re de r/partir un calcul sur diff/rents ordinateurs situ/s au( quatre coins du 1lo3e ou sur la mani=re de transmettre un messa1e d'un point 7 un autre0

Les ordinateurs
Nous avons /voqu/ deu( mac2ines, qui, pour la premi=re, calcule le carr/ d'un nom3re et, pour la seconde, calcule sa racine carr/e0 2acune de ces mac2ines ne permet de r/soudre qu'un seul pro3l=me C calculer un carr/, calculer une racine carr/e0 ertaines mac2ines pol4valentes, comme les calculettes de poc2e, permettent de r/soudre plusieurs pro3l=mes C calculer une somme, une diff/rence, un produit, un quotient0 N/anmoins ce t4pe de mac2ines ne peut r/soudre qu'un nom3re fini de pro3l=mes C m9me un couteau de l'arm/e suisse n'a qu'un nom3re fini de lames0 D'o> une id/e, ancienne, de concevoir des mac2ines param/tra3les, comme les or1ues de 3ar3arie, dont on peut c2an1er la m/lodie, ou les m/tiers 7 tisser, dont on peut c2an1er le motif, en c2an1eant de cartes perfor/es0 ette /volution a a3outi 7 des mac2ines universelles qui peuvent e(/cuter n'importe quel al1orit2me op/rant sur des donn/es s4m3oliques, pourvu qu'on les munisse des 3onnes + cartes perfor/es ., du 3on pro1ramme C les ordinateurs0

Les mac2ines parall=les et sp/cialis/es


La construction de mac2ines universelles n'a cependant pas ac2ev/ l'2istoire de la construction des mac2ines, puisque de nom3reuses am/liorations peuvent encore leur 9tre apport/es0 6n particulier, il est possi3les de 1rouper ensem3le plusieurs mac2ines, ou 3ien dispers/es en divers endroits et donc en r/seau, ou 3ien situ/es 7 quelques m=tres les unes des autres, en 1rille, ou 3ien situ/es sur un m9me circuit int/1r/0 ,uand plusieurs mac2ines sont ainsi reli/es, elles peuvent l'9tre de mani=re s4nc2rone, ce qui si1nifie que leurs 2orlo1es 3attent au m9me r4t2me ou de mani=re as4nc2rone, auquel cas l'e(/cution de l'ensem3le des mac2ines est n/cessairement non d/terministe, l'al/a /tant introduit par la d/rive des 2orlo1es, qui est inconnue0 D'autres mac2ines, plus sp/cialis/es, sont utilis/es dans de nom3reu( appareils ; t/l/p2ones, appareils p2otos, avions, 000 ; on parle alors de + s4st=mes em3arqu/s .0

Le concept de lan1a1e
Bne recette de cuisine, un al1orit2me pour traverser la rue, peuvent s'e(/cuter et m9me se transmettre sans 9tre /crits ou ver3alis/s0 Ainsi, l'al1orit2me que nos cellules utilisent pour s4nt2/tiser une prot/ine 7 partir d'un 3rin d'ARN messa1er n'a ; pour autant que nous sac2ions ; pas /t/ /crit, ni ver3alis/, avant d'9tre e(/cut/ dans les premi=res cellules, puis transmis de 1/n/ration en 1/n/ration0 ependant, nous pouvons aussi /crire ces al1orit2mes0 6t les /crire une /tape n/cessaire pour les communiquer 7 une mac2ine param/tra3le0 'our cela nous avons 3esoin d'un lan1a1e0 Bn pNtissier n'a pas 3esoin de connaOtre les ver3es + /pluc2er ., + m/lan1er ., + /taler ., 000 pour e(/cuter la recette de la tarte au( pommes, mais il a 3esoin de cr/er, ou d'apprendre, ces mots, s'il veut la ver3aliser et l'/crire0

Les lan1a1es de pro1rammation


'our /crire les al1orit2mes, nous pouvons utiliser une lan1ue naturelle comme le franIais ou alors utiliser un lan1a1e plus simple et plus pr/cis C un lan1a1e de pro1rammation0 D/crire un al1orit2me dans un lan1a1e de pro1rammation est au8ourd'2ui indispensa3le pour que cet al1orit2me soit e(/cut/ par une mac2ine param/tra3le, car nous ne savons pas encore fa3riquer de mac2ines qui e(/cutent des al1orit2mes e(prim/s dans une lan1ue naturelle0 5outefois, il est important de remarquer que les premiers lan1a1es de pro1rammation universels ; le lam3da:calcul, le lan1a1e des mac2ines de 5urin1 ; sont ant/rieurs de quelques ann/es 7 la construction des premi=res mac2ines universelles, les premiers ordinateurs0 6n effet, /crire les al1orit2mes dans un lan1a1e de pro1rammation est aussi un mo4en de l'e(primer clairement et de le communiquer 7 d'autres0 'est aussi un mo4en de lui donner une forme s4m3olique et de permettre 7 d'autres al1orit2mes, qui op=rent sur des donn/es s4m3oliques, d'op/rer sur lui0

Lan1ue naturelle et lan1a1e formel


La d/marcation entre en une lan1ue naturelle et un lan1a1e formel est difficile 7 d/finir0 5outefois, nous pouvons l'esquisser en remarquant que la plupart des usa1ers d'une lan1ue naturelle n'en ont appris la 1rammaire qu'apr=s avoir appris la lan1ue elle:m9me C un enfant sait utiliser l'imparfait avant de connaOtre le mot + imparfait ., autrement dit, il connaOt l'al1orit2me de la con8u1aison, avant de savoir le ver3aliser0 * l'inverse, on apprend un lan1a1e formel en apprenant d'a3ord sa 1rammaire0 De m9me, la 1rammaire d'une lan1ue naturelle ne sem3le 8amais compl=tement connue, comme en t/moi1ne la difficult/ de faire des pro1rammes de correction ort2o1rap2ique ou de traduction automatique0 La 1rammaire d'un lan1a1e formel est, en revanc2e, e(plicite0 6nfin, et cela e(plique sans doute les deu( remarques ci:avant, la 1rammaire d'un lan1a1e formel est souvent 3eaucoup plus simple que celle d'une lan1ue naturelle0 Lien entendu ces remarques /ta3lissent une d/marcation un peu floue, puisqu'elle concernent davanta1e la mani=re dont nous connaissons ces lan1a1es que ces lan1a1es eu(:m9mes0 De ce fait, un certain nom3re d'e(emples peuvent 9tre 7 la fronti=re0 'ar e(emple, la mani=re dont on apprend une lan1ue /tran1=re, et a fortiori une lan1ue morte, se rapproc2e parfois davanta1e de la mani=re dont on apprend un lan1a1e formel, que de la mani=re dont on apprend sa lan1ue maternelle0

Au del7 des lan1a1es de pro1rammation


* cot/ des lan1a1es de pro1rammation, il 4 a de nom3reu( autres lan1a1es formels0 'ar e(emple, des lan1a1es pour sp/cifier des pro1rammes, des lan1a1es pour raisonner sur des pro1rammes, des lan1a1es pour e(primer des requ9tes dans une 3ase de donn/e, 000 6t un certain nom3re d'al1orit2mes sont communs 7 tous ces lan1a1es0 'ar e(emple, d/cider si une p2rase est 3ien form/e ou non dans un lan1a1e demande d'utiliser un al1orit2me qui est ind/pendant du fait que ce lan1a1e est un lan1a1e de pro1rammation, de sp/cification, de requ9te, 000 !i 3ien que l'informatique introduit une notion tr=s 1/n/rale de lan1a1e, dont les lan1ues naturelles, les lan1a1e de pro1rammation, mais aussi le lan1a1e mat2/matique ou les lan1a1es de la lo1ique, sont des cas particuliers0 6n tant que science des lan1a1es, l'informatique prolon1e les travau( plus anciens de la lo1ique formelle0

Le concept d'information
Le concept de lan1a1e est apparu en informatique, essentiellement parce que, pour communiquer des al1orit2mes 7 des mac2ines, nous devons utiliser un lan1a1e formel0 Ainsi, les al1orit2mes sont devenus des pro1rammes0 De m9me, alors qu'un al1orit2me peut op/rer avec des donn/es vari/es C des ima1es, des sons, des Gufs, de la farine, 000 un al1orit2me, e(/cut/ par une mac2ine, op=re souvent avec des donn/es repr/sent/es de mani=re s4m3olique0

Repr/senter les donn/es de mani=re s4m3olique


Ainsi, pour 9tre trait/e par un ordinateur, une ima1e est souvent pi(ellis/e0 'our pi(elliser une ima1e en noir et 3lanc, par e(emple, on la superpose avec une 1rille faite de quelques millions de petits carr/s et c2aque carr/ est d/cr/t/ noir ou 3lanc selon que le noir ou le 3lanc domine dans cette petite partie de l'ima1e0 En o3tient ainsi une appro(imation de l'ima1e C par e(emple, de minuscules d/tails plus petit que la taille d'un carr/ sont perdus0 Dais cette ima1e peut 9tre repr/sent/e de mani=re s4m3olique C il suffit d'/crire la valeur de c2acun des carr/s, en commenIant en 2aut 7 1auc2e et en terminant en 3as 7 droite C 3lanc, 3lanc, noir, noir, 3lanc, noir, 3lanc, 3lanc, 000 En parle souvent de + num/risation . pour d/si1ner cette op/ration, car en notant < pour un carr/ noir et # pour un carr/ 3lanc, on peut /crire cette suite ##<<#<##000 et donc, finalement, comme un nom3re entier repr/sent/ en 3ase deu(0 ependant, ce n'est pas le fait que l'information soit e(prim/e sous forme d'un entier qui est importante, c'est le fait qu'elle soit e(prim/e de mani=re s4m3olique0

ompresser, c2iffrer
Repr/senter des sons, des ima1es, 000 en utilisant le m9me alp2a3et ; t4piquement les s4m3oles < et # ; permet d'utiliser des tec2niques similaires pour compresser ou c2iffrer l'information0 'ar e(emple, une suite form/e de mille deu( cent quatre vin1t seiMe fois le s4m3ole < se note de mani=re plus 3r=ve J#2@PK< que <<< 000 De m9me, en 1roupant dans une suite de < et de #, les s4m3oles par deu( et en remplaIant le 1roupe << par a, le 1roupe <# par b, le 1roupe #< par c et le 1roupe ## par d, on o3tient une suite deu( fois plus courte mais dans un alp2a3et 7 quatre lettres0 !i les c sont fr/quents dans cette suite, mais que les b et les d sont rares, on peut d/cider de recoder c par la suite < et a, b et d par les suites #<, ##< et ### on o3tient alors une suite plus courte que la suite initiale, 7 partir de laquelle on peut cependant la reconstruire0 Bltimement, on peut se demander quelle est la mani=re optimale de coder une lon1ue suite, et c'est souvent sous la forme d'un pro1ramme qui en1endre cette suite quand on l'e(/cute0 La taille du plus court pro1ramme qui en1endre un messa1e est une mani=re de d/finir la quantit d'information contenue dans ce messa1e0 ette t2/orie de la compression a3outit donc 7 une t2/orie quantitative de l'information0

Des donn/es au( 3ases de donn/es


L'/mer1ence de cette notion d'information nous a aussi permis de prendre conscience du fait que, dans 3ien des cas, nous utilisons les mac2ines, non pour transformer de l'information en lui appliquant des al1orit2mes, mais uniquement pour l'arc2iver0

La r/fle(ion sur la mani=re d'arc2iver l'information et surtout de la restituer a donn/ naissance 7 la t2/orie des 3ases de donn/es, t2/orie qui s'est 1randement renouvel/e avec l'apparition du we3, le we3 /tant lui:m9me une 3ase de donn/es0

L'unit/ de l'informatique
es quatre concepts, loin de d/finir quatre 3ranc2es de l'informatique, sont souvent utilis/s ensem3le0 'est parce que nous voulons faire e(/cuter des al1orit2mes par des mac2ines param/tra3les que nous avons eu 3esoin d'e(primer ces al1orit2mes dans des lan1a1es formels et les donn/es sur lesquelles ces al1orit2mes calculent comme des informations0 Les notions d'al1orit2me et de mac2ine sont unies par l'id/e d'e(/cution + sans r/fl/c2ir ., qui a trouv/ ses premi=res applications avec les a3aques de l'Antiquit/0 * la fronti=re des notions d'al1orit2me et de lan1a1e apparaOt la notion de pro1ramme0 * la fronti=re des notions de lan1a1e et de mac2ine apparaOt la notion de lan1a1e mac2ine0 es lan1a1es sont des lan1a1es de pro1rammation si simples que l'on arrive 7 concevoir des mac2ines /lectroniques capa3les d'en e(/cuter directement les pro1rammes et vers lequel on arrive 7 traduire ; compiler ;, souvent en plusieurs passes, les pro1rammes /crits dans les lan1a1es de plus 2aut niveau, c'est:7:dire plus er1onomiques0 6nfin les notions de lan1a1e et d'information sont li/es car ce sont deu( instances d'une m9me id/e C e(primer s4m3oliquement des al1orit2mes, pour l'une, des donn/es, pour l'autre0

La pens/e informatique
es quatre concepts d/finissent /1alement les diff/rents modes d'interaction entre l'informatique et les autres sciences0 L'informatique propose de d/crire de nom3reu( o38ets, en mat2/matiques et dans les sciences de la nature, comme des al1orit2mes0 6t elle propose des lan1a1es pour le faire0 Le concept d'information /claire d'une lumi=re nouvelle des questions de p24sique ou de 3iolo1ie, par e(emple quand nous disons que l'information ne peut pas vo4a1er plus vite que la vitesse de la lumi=re pour e(primer qu'un /v/nement ne peut pas 9tre la cause d'un autre s'ils ne sont pas s/par/s par une dur/e sup/rieure 7 leur distance divis/e par la vitesse de la lumi=re ou quand nous disons que l'information n/cessaire pour s4nt2/tiser les prot/ines est cod/e dans l'ARN0 La notion de mac2ine enfin apparaOt dans le renouvellement de l'instrumentation scientifique0 e soucis du caract=re al1orit2mique de la description des o38ets, du lan1a1e dans lequel ces descriptions sont e(prim/es, des flu( d'information et des instruments sont plus 1/n/ralement caract/ristiques d'une + pens/e informatique .0 ette pens/e a 3ien entendu de nom3reu( pr/curseurs dans l'2istoire, comme Galil/e qui a 7 la fois introduit l'utilisation d'instruments ; la lunette ; et propos/ d'utiliser un nouveau lan1a1e ; le lan1a1e mat2/matique ; dans les sciences de la nature, mais ce qui sem3le nouveau, en revanc2e, est de pr9ter attention simultan/ment, dans un m9me 1este, 7 ces quatre questions0

La sin1ularit/ de l'informatique
Ima1inons qu'au d/3ut du QQe si=cle, un mat2/maticien sp/cialiste de calcul des pro3a3ilit/s, un compta3le, un p24sicien sp/cialiste des /volutions irr/versi3les des s4st=mes, un in1/nieur concepteur de m/tiers 7 tisser, un 1rammairien, un traducteur de te(tes anciens, un a1ent des services du c2iffre et un arc2iviste se trouvent coinc/s dans un ascenseur en panne0 ,u'auraient:ils eu 7 se dire !ans doute pas 1rand c2ose, tant le concepts d'al1orit2me ; sp/cialit/ du le mat2/maticien et du compta3le ; de mac2ine ; sp/cialit/ du p24sicien et de l'in1/nieur ; de lan1a1e ; sp/cialit/ du 1rammairien et du traducteur ; et d'information ; sp/cialit/ de l'arc2iviste et de l'a1ent du c2iffre ; appartenaient 7 des mondes diff/rents, non seulement 7 des sciences diff/rentes C les mat2/matiques pour la notion d'al1orit2me, la p24sique pour la notion de mac2ine, la lin1uistique pour la notion de lan1a1e, mais aussi 7 des domaines tec2niques ; la compta3ilit/, le 1/nie m/canique, le c2iffre, 000 ; qui /taient perIus comme e(t/rieurs au( sciences0 L'/v/nement qu'a constitu/ notre prise de conscience du fait que ces quatre concepts formaient quatre pi=ces d'un puMMle qui s'assem3lent parfaitement, et la transformation de l'arc2itectonique des sciences qu'elle a impliqu/, /tait un /v/nement a priori tr=s peu pro3a3le, un /v/nement comme il 4 en a peu dans l'2istoire0