Le démineur et la logique, résuction et équivalence
Par Didier Müller, lundi 1 octobre 2018 à 06:47 - Articles/revues - #3326 - rss
Que signifie que deux problèmes sont « équivalents » ? Comment montre-t-on qu’un problème mathématique est plus dur qu’un autre ? Arthur Milchior tente une introduction à cette question, en mélangeant le célèbre jeu du démineur, et la logique propositionnelle.
Lire l'article d'Arthur Milchior sur Images des mathématiques
Commentaires
Aucun commentaire n'est possible sur ce blog.