La méthode du soliloque formel

En discutant de simplicité, il m'est venue une idée : celle d'un soliloque « mathématique ». De quoi s'agit-il ? 

Pour mieux cerner la notion, il faut revenir à l'idée de départ, qui était celle du soliloque. Le soliloque est une méthode que j'ai proposée il y a plusieurs années et qui consiste à développer successivement une idée, exprimée par une phrase,  à partir de chacun des mots utilisés dans la phrase, puis on répète l'opération. On part de l'énoncé d'une idée, on discute chaque terme, puis on discute alors les termes nouvellement énoncés, et, se construit ainsi, quasi automatiquement ; un discours buissonnant, et donc nécessairement un peu baroque, que l'on peut ensuite « mettre au carré ».  J'aime assez la comparaison avec un buisson, où des tiges croissent, un peu en désordre, s'entourent de rameux, de feuilles, de sorte qu’immanquablement on arrive à une touffe désordonnée, sans beaucoup de construction apparente, et qu'il faut ensuite rabattre, pour donner une forme voulue.

Cette méthode du soliloque, nous l'utilisons largement au laboratoire, mais avec des mots du langage naturel, et je n'oublie pas que certains d'entre nous sont si familiers avec les équations, le calcul, les mathématiques, qu'ils en viennent à calculer comme le rossignol chante.
L'idée qui m'est venue hier, c'est celle d'un soliloque « mathématique », avec des équations que l'on enchaîne ainsi, les unes à la suite des autres. On sait que je distingue deux activités, à savoir les mathématiques et le calcul, la différence portant sur l'objectif : pour les mathématiques, il s'agit de développer… les mathématiques; pour le calcul, il s'agit d'utiliser les mathématiques pour décrire des phénomènes de la nature. Bien sûr, on peut faire de la physique "avec les mains" (cela signifie "avec des mots du langage naturel"), mais il y a alors deux cas : la vulgarisation, que  je ne considère pas ici, et pour laquelle les équations sont hors sujet, et cette physique telle que la faisait Pierre-Gilles de Gennes, où presque  tout tient dans des lois générales telles que « la surface varie comme le carré du rayon ». Dans un tel cas, on peut y mettre des mots, mais ils sont en réalité inutiles, où, plus exactement, ils ne semblent servir qu'à définir les objets mathématiques que l'on utilise ensuite : on aurait ainsi pu dire A ∼ r2. C'est pour cette activité-là qu'un premier soliloque mathématique est possible.
# Mais il y en a un deuxième, un soliloque mathématique proprement dit, pour des mathématiques, et l'on ne saurait en discuter sans se souvenir que Henri Poincaré proposait que les mathématiques ne soient pas déductives, mais inductives.

Quel nom pour ces soliloques-là ? Stricto sensu, on ne doit nommer « soliloque mathématique » que celui que je viens de considérer, où il est question de mathématiques, et non de calcul. Pour les sciences de la nature ? Cette fois, il ne s'agit pas de mathématiques, mais de calcul. Devrions-nous dire soliloque calculatoire ? La terminologie n'est guère jolie. Soliloque équationnel ? Là encore, ça sent un peu la transpiration. Soliloque théorique ? Ce serait un peu idiosyncratique, avec l'hypothèse implicite que nous ne considérons que la  nature. Soliloque formel ? Cette fois, c'est plus conforme à l'idée que les sciences de la nature font usage de formalismes. Je propose de rester à cette terminologie, et à  l'envisager maintenant plus en détail.

Comment faire un soliloque formel ? Je propose que nous considérions d'abord un cas particulier, et notamment un cas tout récent d'un calcul effectué hier sur la quantité de graisses perdues lorsqu'on extrait ces dernières à l'aide d'un solvant organique.
La description initiale consiste à décrire le "modèle", par exemple de façon simple, en imaginant un "compartiment" avec de l'eau et de la graisse, un solvant que l'on pose dessus, et qui extrait la matière grasse en laissant une partie de celle-ci dans le compartiment aqueux. Chaque compartiment est alors caractérisé quantitativement, formellement, par une masse d'eau, de solvant, de graisse présente dans ce compartiment particulier.
Ce premier calcul étant fait (il est simple), on développe, en revenant sur chaque notion  : par exemple, on considère que la graisse initiale peut-être sous trois forme : surnageant, en solution, en suspension sous la forme de gouttelettes... et l'on écrit les équations de ces trois formes, tout au long du processus d'extraction.
Ce second "modèle" étant fait, on peut faire mieux, en considérant que les graisses sont de plusieurs sortes, de sorte que l'on divise la partie "graisses", et attribuant des comportements différents aux graisses solubles dans le solvant, et aux graisses qui ne sont que partiellement solubles.
Et ainsi de suite à l'infini. Ce soliloque se distingue-t-il d'autres formes plus classiques de modélisation ? Oui... mais je le discuterai une autre fois.