J’avais bien compris. En 1967/68 sur les conseils de mon professeur M. Minsky, j’ai puisé tout cela, ou presque, dans deux ouvrages fondamentaux, que j’ai toujours à portée de main : "Introduction to Metamathematics" de Stephen Cole Kleene (1ère édition en 1952) et "The Undecidable", où Martin Davis a rassemblé en 1965 plusieurs écrits de Gödel, Church, Turing, Rosser, Kleene... et Post pouvant constituer les éléments d’une véritable science de l’informatique (Computer Science). L’idée même d’une telle science, fortement contestée, était en train d’émerger aux Etats-Unis.

Par la suite, j’ai fait de la linguistique métaphorique ("langages" de programmation) avant de m’aventurer en linguistique classique via le traitement automatique des langues. J’ai créé vers 1973 le premier cours de linguistique (théorique) à l’usage d’ingénieurs en France à Paris 13.

Je pensais et je pense toujours que cette branche de la connaissance traditionnellement rattachée au domaine littéraire est aussi essentielle à une bonne informatique.