Une petite histoire pas très sérieuse de deux très sérieuses logiques

C’est peut-être pas très logique, mais il n’y a pas qu’une seule logique ! Selon ce qu’on accepte comme mécanisme de raisonnement, on peut définir différentes logiques.
Parmi elles, il y a la logique dite classique des mathématiciens ou la logique dite intuitionniste des informaticiens. Enfin pas tout à fait non plus : les deux sciences informatiques et mathématiques ne se privent pas d’utiliser les deux, et de… mais racontons cela sous forme d’une petite histoire.

Lire l’article en ligne