ROBBINS CONJECTURE DE

Ce sujet est traité dans les articles suivants :

1.  INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE

Écrit par : Jean-Paul DELAHAYE

Dans le chapitre "Preuves mathématiques classiques avec ordinateur"  : … la machine, se révèlent relativement simples et contrôlables par un mathématicien sans ordinateur. *C'est ce qui s'est passé pour la conjecture de Robbins, qui concerne un jeu d'axiomes pour les algèbres de Boole : restée irrésolue pendant une cinquantaine d'années, elle a été démontrée par une technique entièrement automatique en 1996. La preuve… Lire la suite