Uncategorized

 

L’informatique est-elle logique ?

Publié 19.05.2014 par Thierry Vieville

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