La conjecture qui est devenue théorème : quand Ehrenfeucht avait raison

Ehrenfeucht l'avait conjecturé, Albert et Lawrence l'ont prouvé : c'est maintenant un théorème établi en informatique théorique et en algèbre. Cet énoncé parle de la combinatoire du monoïde libre—des structures abstraites qui gouvernent comment on peut combiner des éléments. Le théorème de compacité qui en découle est puissant : il dit que certaines propriétés infinies peuvent se déduire de propriétés finies. Une belle histoire de mathématiques où une intuition devient certitude, avec des applications qui traversent théorie formelle et algèbre pratique.