L'informatique est une science, soit. Mais alors quel est son lien avec la logique cette étude des règles formelles de tout raisonnement ? « 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... Lire la suite

J'ai le plaisir et privilège d'inviter, Patrice Leterrier, celui qui depuis le début à l'immense gentillesse de compléter, améliorer les petits billets de ce blog. À son tour de prendre la parole. Il nous raconte une belle histoire : celle du mot « ordinateur ». ... Lire la suite