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

000 peuvent 9tre repr/sent/s de mani=re s4m3olique0 Bne id/e lar1ement r/pandue. s'ils demandent un temps diff/rent pour r/soudre le m9me pro3l=me . des 1rap2es.0 Bne matrice. qui permet de r/soudre un pro3l=me C faire une tarte au( pommes0 5outefois. des matrices. ils sont diff/rents. sans 9tre /crite. par e(emple la recette de la tarte au( pommes. est qu'un al1orit2me est n/cessairement d/terministe C il ne laisse aucune place 7 l'al/a0 Au contraire. il sont diff/rents0 Dais. une vision trop restrictive C de nom3reu( al1orit2mes. un pol4nHme. c2acun sera diri1/ vers la messa1erie de l'autre0 !'ils r/it=rent leur appel apr=s un temps fi(e. des pol4nHmes. est qu'un al1orit2me op=re tou8ours sur des donn/es s4m3oliques0 'est. peuvent 9tre diff/rents0 Les al1orit2mes non d/terministes Bne id/e lar1ement r/pandue. 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.Bn e(emple paradi1matique est la recette de la tarte au( pommes. 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. op=rent sur des donn/es qui ne sont pas s4m3oliques C des Gufs. mais fausse. 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/ . des te(tes. mais cette caract/risation est encore trop 1rossi=re C divers al1orit2mes de tri. quoique de m9me comple(it/. 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 . encore une fois. elle doit 9tre compar/e. des sons. par e(emple. de la farine. des ima1es. s'il ne r/solvent pas le m9me pro3l=me. ? . ils sont identiques. des /quations. d'autres al1orit2mes. trier une liste . si deu( utilisateurs du t/l/p2one s'appellent au m9me instant. 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 . 000 Les al1orit2mes mat2/matiques op=rent tou8ours sur des o38ets mat2/matiques C des nom3res. le m9me p2/nom=ne se reproduira0 6n revanc2e. 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 . puisque les al1orit2mes peuvent op/rer sur des donn/es 3eaucoup plus vari/es C des ar3res. s'il sont e(prim/s par le m9me te(te. la farine. 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. non 7 la notion d'al1orit2me. 000 Dais la notion d'al1orit2me est plus vaste.lairement. entre ces deu( e(tr9mes. mais fausse. de nom3reu( al1orit2mes ont 3esoin de l'al/a pour fonctionner0 'ar e(emple. dans cet e(emple.

et plus 1/n/ralement tous les s4st=mes p24siques. /c2iquiers. nous avons utilis/ des a3aques .. puisqu'un al1orit2me est fait pour 9tre e(/cut/ + sans r/fl/c2ir . 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. pour les e(/cuter + 7 la main . 000 . o> k est la constante de LoltMmann. et des mac2ines m/caniques. 7 l'ordinateur de 3ureau. le processus p24sique lui:m9me est irr/versi3le. sous forme de c2aleur. nous utilisons pour cela des outils0 Bne telle utilisation d'outils sem3le naturelle. et au1mente donc l'entropie au moins de k lnJ2K0 L'espace et les r/seau( omme tout s4st=me p24sique. nous o3tenons une mac2ine qui calcule la racine carr/e du nom3re d0 Au8ourd'2ui. en tentant.Le concept de mac2ine 'endant &%<< ans. mais rien n'impose que cela soit tou8ours le cas et la rec2erc2e en informatique e(plore de nom3reuses alternatives. 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. le r/seau est donc une deu(i=me instance de ce concept de mac2ine. c'est:7:dire un s4st=me mat/riel. 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. 3eaucoup plus /tendue. une mac2ine peut avoir une e(tension plus ou moins 1rande dans l'espace et. en particulier. et c'est ainsi que. 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. 3a1uettes 7 calculer. qui o3/it donc au( lois de la p24sique0 Les mac2ines comprennent les ordinateurs. de nom3reuses mac2ines e(ploitent les propri/t/s p24siques des semi:conducteurs. 3ouliers. nous avons conIu des al1orit2mes. des appareils plus sp/cialis/s comme les appareils p2otos ou les t/l/p2ones. constitu/e de milliards d'ordinateurs interconnect/s en r/seau0 Apr=s l'ordinateur. au moins une /ner1ie k T lnJ2K. qui donne 7 cette question d'e(tension dans l'espace une place essentielle0 En peut ici parler de + 1/om/trie du calcul . pour lequel nous avons d/fini un protocole d'interaction. mais depuis quelques d/cennies. depuis l'Antiquit/. muni d'un autre protocole. la p24sique du calcul /ta3lit un lien entre la r/versi3ilit/ d'un calcul. effectue un autre calcul C si nous mesurons la dur/e n/cessaire 7 la 3alle pour parcourir une distance d. 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. quand on se pose la . s'est peu 7 peu su3stitu/ une autre mac2ine. qui nous permet d'/c2an1er des donn/es0 Ainsi.

puisque de nom3reuses am/liorations peuvent encore leur 9tre apport/es0 6n particulier. 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. il est possi3les de 1rouper ensem3le plusieurs mac2ines. en 1rille. s'il veut la ver3aliser et l'/crire0 . peuvent s'e(/cuter et m9me se transmettre sans 9tre /crits ou ver3alis/s0 Ainsi. + m/lan1er . mais il a 3esoin de cr/er.. 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 .. ou d'apprendre. ce qui si1nifie que leurs 2orlo1es 3attent au m9me r4t2me ou de mani=re as4nc2rone. dont on peut c2an1er le motif. puis transmis de 1/n/ration en 1/n/ration0 ependant. auquel cas l'e(/cution de l'ensem3le des mac2ines est n/cessairement non d/terministe. comme les or1ues de 3ar3arie. ou 3ien situ/es sur un m9me circuit int/1r/0 . pas /t/ /crit. 000 . ou 3ien situ/es 7 quelques m=tres les unes des autres. calculer une racine carr/e0 ertaines mac2ines pol4valentes. un al1orit2me pour traverser la rue. ou 3ien dispers/es en divers endroits et donc en r/seau. l'al1orit2me que nos cellules utilisent pour s4nt2/tiser une prot/ine 7 partir d'un 3rin d'ARN messa1er n'a .. pour la seconde. pour autant que nous sac2ions . calcule sa racine carr/e0 2acune de ces mac2ines ne permet de r/soudre qu'un seul pro3l=me C calculer un carr/. un produit. ces mots. calcule le carr/ d'un nom3re et. elles peuvent l'9tre de mani=re s4nc2rone. qui. une diff/rence. plus sp/cialis/es. permettent de r/soudre plusieurs pro3l=mes C calculer une somme. 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. ancienne. l'al/a /tant introduit par la d/rive des 2orlo1es.. + /taler . appareils p2otos. de concevoir des mac2ines param/tra3les.uand plusieurs mac2ines sont ainsi reli/es. on parle alors de + s4st=mes em3arqu/s . ni ver3alis/. sont utilis/es dans de nom3reu( appareils . pour la premi=re.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 est inconnue0 D'autres mac2ines. avant d'9tre e(/cut/ dans les premi=res cellules. t/l/p2ones. ou les m/tiers 7 tisser. 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. dont on peut c2an1er la m/lodie. 000 pour e(/cuter la recette de la tarte au( pommes. pourvu qu'on les munisse des 3onnes + cartes perfor/es . avions. comme les calculettes de poc2e.0 Le concept de lan1a1e Bne recette de cuisine.

et a fortiori une lan1ue morte. se rapproc2e parfois davanta1e de la mani=re dont on apprend un lan1a1e formel. 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. de requ9te. des lan1a1es pour sp/cifier des pro1rammes. les lan1a1e de pro1rammation. on apprend un lan1a1e formel en apprenant d'a3ord sa 1rammaire0 De m9me. car nous ne savons pas encore fa3riquer de mac2ines qui e(/cutent des al1orit2mes e(prim/s dans une lan1ue naturelle0 5outefois. qui op=rent sur des donn/es s4m3oliques. un certain nom3re d'e(emples peuvent 9tre 7 la fronti=re0 'ar e(emple. autrement dit. 000 6t un certain nom3re d'al1orit2mes sont communs 7 tous ces lan1a1es0 'ar e(emple. que de la mani=re dont on apprend sa lan1ue maternelle0 Au del7 des lan1a1es de pro1rammation * cot/ des lan1a1es de pro1rammation. 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 . sont des cas particuliers0 6n tant que science des lan1a1es. l'informatique prolon1e les travau( plus anciens de la lo1ique formelle0 . avant de savoir le ver3aliser0 * l'inverse. des lan1a1es pour raisonner sur des pro1rammes.. 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. dont les lan1ues naturelles.Les lan1a1es de pro1rammation 'our /crire les al1orit2mes. le lam3da:calcul. comme en t/moi1ne la difficult/ de faire des pro1rammes de correction ort2o1rap2ique ou de traduction automatique0 La 1rammaire d'un lan1a1e formel est. il connaOt l'al1orit2me de la con8u1aison. sont ant/rieurs de quelques ann/es 7 la construction des premi=res mac2ines universelles. e(plicite0 6nfin. 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. la 1rammaire d'une lan1ue naturelle ne sem3le 8amais compl=tement connue. et cela e(plique sans doute les deu( remarques ci:avant. /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. 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. en revanc2e. il est important de remarquer que les premiers lan1a1es de pro1rammation universels . puisqu'elle concernent davanta1e la mani=re dont nous connaissons ces lan1a1es que ces lan1a1es eu(:m9mes0 De ce fait. les premiers ordinateurs0 6n effet. il 4 a de nom3reu( autres lan1a1es formels0 'ar e(emple. le lan1a1e des mac2ines de 5urin1 . 000 !i 3ien que l'informatique introduit une notion tr=s 1/n/rale de lan1a1e. des lan1a1es pour e(primer des requ9tes dans une 3ase de donn/e. mais aussi le lan1a1e mat2/matique ou les lan1a1es de la lo1ique. la mani=re dont on apprend une lan1ue /tran1=re. de sp/cification.

000 En parle souvent de + num/risation . dans 3ien des cas. une ima1e est souvent pi(ellis/e0 'our pi(elliser une ima1e en noir et 3lanc. alors qu'un al1orit2me peut op/rer avec des donn/es vari/es C des ima1es. le 1roupe #< par c et le 1roupe ## par d. en commenIant en 2aut 7 1auc2e et en terminant en 3as 7 droite C 3lanc. t4piquement les s4m3oles < et # . pour 9tre trait/e par un ordinateur. non pour transformer de l'information en lui appliquant des al1orit2mes. c'est le fait qu'elle soit e(prim/e de mani=re s4m3olique0 ompresser. 7 partir de laquelle on peut cependant la reconstruire0 Bltimement. essentiellement parce que. des Gufs. 000 en utilisant le m9me alp2a3et . en 1roupant dans une suite de < et de #. 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. ce n'est pas le fait que l'information soit e(prim/e sous forme d'un entier qui est importante. 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. les al1orit2mes sont devenus des pro1rammes0 De m9me. mais que les b et les d sont rares. le 1roupe <# par b. les s4m3oles par deu( et en remplaIant le 1roupe << par a. c2iffrer Repr/senter des sons. finalement. pour communiquer des al1orit2mes 7 des mac2ines. ##< et ### on o3tient alors une suite plus courte que la suite initiale. des sons. e(/cut/ par une mac2ine. des ima1es. car en notant < pour un carr/ noir et # pour un carr/ 3lanc. pour d/si1ner cette op/ration. 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. 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. noir. 3lanc. 3lanc. on peut /crire cette suite ##<<#<##000 et donc. nous devons utiliser un lan1a1e formel0 Ainsi. 3lanc. noir. b et d par les suites #<. op=re souvent avec des donn/es repr/sent/es de mani=re s4m3olique0 Repr/senter les donn/es de mani=re s4m3olique Ainsi. mais uniquement pour l'arc2iver0 . de la farine. noir. par e(emple. 3lanc. permet d'utiliser des tec2niques similaires pour compresser ou c2iffrer l'information0 'ar e(emple. nous utilisons les mac2ines. on peut se demander quelle est la mani=re optimale de coder une lon1ue suite. comme un nom3re entier repr/sent/ en 3ase deu(0 ependant. on o3tient une suite deu( fois plus courte mais dans un alp2a3et 7 quatre lettres0 !i les c sont fr/quents dans cette suite. on peut d/cider de recoder c par la suite < et a. 000 un al1orit2me.Le concept d'information Le concept de lan1a1e est apparu en informatique.

pour l'une. et propos/ d'utiliser un nouveau lan1a1e . du lan1a1e dans lequel ces descriptions sont e(prim/es. en mat2/matiques et dans les sciences de la nature. 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 .0 ette pens/e a 3ien entendu de nom3reu( pr/curseurs dans l'2istoire. en revanc2e. mais ce qui sem3le nouveau. des flu( d'information et des instruments sont plus 1/n/ralement caract/ristiques d'une + pens/e informatique . est de pr9ter attention simultan/ment. des donn/es.. loin de d/finir quatre 3ranc2es de l'informatique.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. 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. 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. le lan1a1e mat2/matique . le we3 /tant lui:m9me une 3ase de donn/es0 L'unit/ de l'informatique es quatre concepts. 7 ces quatre questions0 . 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. dans les sciences de la nature. souvent en plusieurs passes. compiler . les pro1rammes /crits dans les lan1a1es de plus 2aut niveau. la lunette .. dans un m9me 1este. 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 . comme Galil/e qui a 7 la fois introduit l'utilisation d'instruments . t2/orie qui s'est 1randement renouvel/e avec l'apparition du we3.

de mac2ine . 000 . appartenaient 7 des mondes diff/rents. 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. la compta3ilit/. un a1ent des services du c2iffre et un arc2iviste se trouvent coinc/s dans un ascenseur en panne0 . un p24sicien sp/cialiste des /volutions irr/versi3les des s4st=mes. un /v/nement comme il 4 en a peu dans l'2istoire0 . un mat2/maticien sp/cialiste de calcul des pro3a3ilit/s. /tait un /v/nement a priori tr=s peu pro3a3le. sp/cialit/ de l'arc2iviste et de l'a1ent du c2iffre . la p24sique pour la notion de mac2ine. tant le concepts d'al1orit2me . la lin1uistique pour la notion de lan1a1e. le 1/nie m/canique. sp/cialit/ du le mat2/maticien et du compta3le . un in1/nieur concepteur de m/tiers 7 tisser. et d'information . mais aussi 7 des domaines tec2niques . de lan1a1e .u'auraient:ils eu 7 se dire !ans doute pas 1rand c2ose. non seulement 7 des sciences diff/rentes C les mat2/matiques pour la notion d'al1orit2me. un 1rammairien. sp/cialit/ du p24sicien et de l'in1/nieur . un compta3le. sp/cialit/ du 1rammairien et du traducteur . un traducteur de te(tes anciens.La sin1ularit/ de l'informatique Ima1inons qu'au d/3ut du QQe si=cle. et la transformation de l'arc2itectonique des sciences qu'elle a impliqu/. le c2iffre.