Si vous arrivez à donner une définition claire, on pourra l’implémenter dans un modèle formel. Ça ne sera peut-être pas une softmax avec ββ\beta, mais on trouvera une équation pour la décrire.
C'est dans ce passage que l'on découvre (avec force) qui est le nouveau technologue Marcello Vitali-Rosati :) Quelqu'un qui pense que toute définition claire peut désormais être implémentée dans un modèle formel (mathématique, algorithmique). Après avoir suivi ton séminaire cet automne, je ne suis pas loin de le penser aussi. Mais ça pose plein de questions. La seule pensée qui vaille, est-ce une pensée implémentable mathématiquement ?