Le journal de Doctus Monkey

« L'informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des télescopes. » Chaque fois que je me le répète, je suis stupéfait par la puissance de cet aphorisme attribué au grand informaticien et mathématicien Edsger Dijkstra (né à Rotterdam le 11 mai 1930 et mort à Nuenen le 6 août 2002): Edsger Dijkstra ( 1930-2002) En général, je commence mon cours d'informatique en insistant particulièrement sur cette phrase. D'abord pour marquer à quel point je compte inscrire mes considérations aussi loin que possible de tout bidouillage bureautico-logicielo-mercantile de type 'heures facturées SSII'. Et surtout pour bien les convaincre  - dans la logique de la phrase de Djikstra - que l'informatique théorique a existé bien avant la fabrication du premier ordinateur. L’informatique fondamentale est une branche particulière des mathématiques discrètes visant particulièrement à l’étude des processus itératif

De nouveau aujourd'hui, je pioche au hasard - et avec délice -  dans l'un des vingt et un tomes de la Correspondance de Marcel Proust éditée chez Plon par Philip Kolb. Cet américain natif de Chicago consacra une grande partie de sa vie à la tache titanesque consistant à rassembler et à annoter les lettres de Proust, à retrouver une trace, aussi minuscule soit-elle, de ceux qui y sont nommés... En cinquante années de travail, Philip Kolb publia cinq mille lettres, ce qui représente selon lui à peine plus d'un dixième de l'ensemble de celles qu'écrivit Proust. Le tome XX, l'un des plus difficiles à se procurer. Le 2 février 1908, Marcel Proust écrit à Madame Straus : ' Voulez-vous que nous louions un bateau sur lequel on ne fera aucun bruit et d'où nous verrons défiler sans quitter notre lit ( nos lits) toutes les belles villes de l'univers posées au bord de la mer? ' Il en est ainsi, oui! Que les plus belles villes du monde viennent

Cartouche du pharaon Toutânkhamon (Les titres et les noms du roi) Si on décide par exemple de dénombrer les matrices carrées de taille n comportant exactement deux '1' dans chaque ligne et dans chaque colonne ( avec partout ailleurs des zéros), c'est pour moi un problème neuf. Je n'y ai jamais réfléchi et peut-être même que personne avant moi n'y a réfléchi. Pourtant, on sent qu'il y a des relations à découvrir, on sent qu'il existe des liens originels. Je n'ai pas d'inquiétude: il existe forcément des choses à voir, à remarquer, à prouver. Les relations, les propriétés, les théorèmes concernant ce problème sont là depuis toute éternité comme la momie d'un pharaon dans une tombe restée inviolée: ils nous attendent, ils ne demandent qu'à être cueillis, ils ont été installés pour ainsi dire à l'aplomb de ce sujet avant même la venue sur terre du premier homme. Tout est là depuis toujours, des choses nous attendent dans

Il faut que je vous parle de Doctus Monkey. Doctus Monkey est le nom que je me suis trouvé. Ce nom me libère car, d'un subreptice mouvement, il me permet de faire un pas de côté par rapport à ma propre vie. Doctus Monkey a plusieurs identités qu'il endosse tour à tour. D'abord Doctus Monkey est le Singe Savant, celui du paradoxe d'Emile Borel. https://fr.wikipedia.org/wiki/Paradoxe_du_singe_savant Il se tient parfaitement immobile devant sa machine à écrire, car il a été bien dressé. Et toutes les secondes, il tape au hasard sur une touche du clavier. Le Singe Savant Or, fait troublant, grâce à un peu de calcul des probabilités, on démontre facilement qu'il est absolument certain que viendra un moment où, tout à coup, le Singe Savant se mettra à taper sans erreur, et de bout en bout, le texte exact du Hamlet de Shakespeare. De plus, si on connaît le théorème de Borel-Cantelli, on peut même établir que le Singe Savant tapera 'Hamlet'