Ces dessins partent d'une très libre interprétation du réseau de Post (Post's lattice) pour questionner de loin la thèse de mon père Bogdan Szczepara « Minimal Clones Generated by Groupoids » rédigée en 1995. Sa thèse résout un problème posé 50 ans plus tôt et aboutit à la détermination explicite de tous les clones minimaux générés par des groupoïdes à 4 éléments . Mon père travaillait sur ce problème quand j'étais enfant et j'ai vu glisser sous la porte de son bureau toutes sortes d'esquisses avec des carrés formés par les chiffres 1-2-3 et 4. Entre découvertes et désillusions, il a plongé dans les méandres de l'existence . Il me dit que pour résoudre un problème mathématique, il faut avoir le flair d'un chien de chasse (the smell of a hunting dog) et être touché par la grâce de l'inspiration. Prouver est un art . Penser est un art . Le processus est une création . Après des années de recherches en montagnes russes, ses trouvailles abstraites autour des ensembles à 4 éléments trouvent une application dans l'intelligence artificielle. Toute la beauté et le sens de son labeur se résument, selon son expression, à« ajouter une goutte d'eau dans l'océan » de la connaissance. Les ensembles à 2 éléments décrivent la logique, le vrai et le faux, le oui et le non, etc... Les possibilités du 2 sont visibles dans le graphe d'Emil Postawelski, un prédécesseur de mon père, polonais comme lui. Déjà, les possibilités du 3 sont innombrables, supérieures à l'infini . Jusqu'où la pensée mathématique peut-elle penser l'impensable ? Mon père perce les mystères du 4 insondable.
Écrire commentaire