Jean Lassègue : Il y a un impensé dans le rôle que joue l'informatique aujourd'hui : on oublie de remarquer qu'elle est exclusivement une manipulation de signes. Cet impensé a pour corrélat une évaluation subjectiviste de l'informatique : nous sommes fascinés par les prouesses de l'informatique qui sont censées nous « dépasser » alors que l'évaluation de l'informatique devrait être essentiellement sémiotique et porter sur la nature précise de la manipulation de ces signes. Cette manipulation est de nature alphabétique : il s'agit d'une combinatoire de marques graphiques faisant partie d'un répertoire qui a une très longue histoire derrière elle. Commencer par reconnaître la nature alphabétique de l'informatique, y voir la dernière étape en date dans la longue histoire de l'écriture, comme l'a souligné C. Herrenschmidt, voilà ce qui permet de sortir du subjectivisme et de l'imaginaire du dépassement de l'espèce humaine qu'il véhicule. Giuseppe Longo : Quant à l'usage de l'alphabet et des signes mathématiques conçus dans une perspectivement purement formaliste, il faut partir de Hilbert qui, au début du XX e siècle, propose de fonder les mathématiques sur la certitude de la manipulation formelle de suites de signes, les axiomes et les règles de déduction, indépendamment de leur interprétation, géométrique en particulier. Face à la crise affectant la correspondance séculaire entre la géométrie euclidienne et les espaces cartésiens de la physique newtonnienne, il fallait sauver les mathématiques, la géométrie en particulier, et travailler indépendamment des espaces dans lesquels l'écriture axiomatique acquiert un sens et devient un facteur d'intelligibilité. JL : Comment travailler sans le sens en mathématiques ? ***En accès libre : https://www.di.ens.fr/users/longo/files/LassegueLongo-ecrire%20une%20loi.pdf