ROBBINS CONJECTURE DE

Article

• INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE

  • Écrit par Jean-Paul DELAHAYE
  • 1 988 mots
  ...aide informatique, mais qui, une fois trouvées par 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...