Comment placerez vous la science informatique par rapport aux mathématiques et aux autres sciences ?
Est-ce qu'elles se completent tout simplement ? Est-ce que l'informatique n'est qu'un outil pour les autres sciences ? Sa seule raison d'exister est-elle juste de servir les autres sciences ?
Je crois que c'est une question où pas mal de gens ne sont pas d'accord, par exemple, rien que sur la page wiki de "informatique théorique", l'introduction a été changé recemment par une personne.
http://fr.wikipedia.org/wiki/Informatique_th%C3%A9orique
Maintenant la première phrase est :
"L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique."
Alors que la dernière fois où j'étais allé sur cette page, la première phrase était :
"L'informatique théorique est une branche des mathématiques appliquées"
Personnellement, moi j'en ai aucune idée, j'ai plutôt du mal à voir comment ça pourrait être possible qu'il y ait un futur fossé entre la technique informatique et la science informatique, en sachant qu'actuellement toute avancée dans la science informatique y trouve dans la foulée une application dans la technique/industrie informatique, du moins je crois (sous réserve de me tromper...)
Puisqu'au final, j'ai l'impression qu'en informatique, toute recherche est appliquée, alors qu'en maths, c'est de la recherche de fondement logique, qu'elle soit utilisable dans un domaine d'application ou non, du moins pour les maths fondamentales.
J'ai du mal à concevoir qu'il puisse y avoir une branche d'Informatique fondamentale de la même trempe que les maths fondamentales, c'est à dire chercher des fondements logique de l'informatique, qu'elle soit utilisable ou non dans un domaine d'application.
Voici ce qu'en pense M. Alain Cardon dans cet article :
http://www.admiroutes.asso.fr/larevue/2001/9/informatique.htm
Qu'en pensez-vous ?