La logique tient une place importante en informatique. Est-ce la même logique que celle dont parlent les mathématiciens ? À quoi la logique sert-elle en informatique ? Guillaume Cano, un jeune docteur en informatique, nous parle de ces sujets. Je vous encourage à lire son texte passionnant « Une petite histoire pas très sérieuse de deux très sérieuses logiques« , paru dans Images des Maths du CNRS. Un jeune philosophe, Baptiste Mélès, reviendra bientôt dans nos colonnes sur ces liens étroits entre logique et informatique.
Thierry Viéville
Laisser un commentaire