Pour moi l'informatique n'est qu'une section des mathématiques.
Ca me rappelle un vieux troll qui a eu lieu ici (bien entendu) sur le thème "l'informatique est-elle une science ?". Sur le fond, on se rend bien compte que tu t'arranges pour définir l'informatique comme la partie de cette science qui est sa mise en oeuvre, de sorte à extirper tout l'aspect mathématique. En fait, l'informatique, ce n'est pas la programmation, qui n'est qu'un aspect de celle-ci.
Dans le domaine de la programmation, il existe de nombreux supports théoriques qui utilisent bien entendu la modélisation mathématique, mais qui n'en restent pas moins de l'informatique. Prétendre par exemple que l'algorithmique est une branche des mathématiques est totalement absurde. C'est une branche de l'informatique car ce sont des motivations informatiques (analyse a priori d'un programme quelles que soient ses conditions matérielles de mise en oeuvre) qui ont conduit à sa création. Le problème P!=NP (ou P=NP, d'ailleurs, pourquoi pas) est un problème d'informatique. De même la résolution de l'équation de schroedinger est un problème de physique et de chimie, même si les gens qui travaillent là dessus sont des mathématiciens (au sens de leur formation principale). Pour prendre des exemples plus parlant encore, on peut citer le domaine des spécifications formelles de programme qui utilisent des techniques algébriques assez évoluées, toute l'IA (beaucoup de maths discretes et de statistiques), etc.
[^] # Re: Droit d'auteur et travailleurs
Posté par boubou . En réponse à la dépêche Droit d'auteur et travailleurs. Évalué à 2.
Ca me rappelle un vieux troll qui a eu lieu ici (bien entendu) sur le thème "l'informatique est-elle une science ?". Sur le fond, on se rend bien compte que tu t'arranges pour définir l'informatique comme la partie de cette science qui est sa mise en oeuvre, de sorte à extirper tout l'aspect mathématique. En fait, l'informatique, ce n'est pas la programmation, qui n'est qu'un aspect de celle-ci.
Dans le domaine de la programmation, il existe de nombreux supports théoriques qui utilisent bien entendu la modélisation mathématique, mais qui n'en restent pas moins de l'informatique. Prétendre par exemple que l'algorithmique est une branche des mathématiques est totalement absurde. C'est une branche de l'informatique car ce sont des motivations informatiques (analyse a priori d'un programme quelles que soient ses conditions matérielles de mise en oeuvre) qui ont conduit à sa création. Le problème P!=NP (ou P=NP, d'ailleurs, pourquoi pas) est un problème d'informatique. De même la résolution de l'équation de schroedinger est un problème de physique et de chimie, même si les gens qui travaillent là dessus sont des mathématiciens (au sens de leur formation principale). Pour prendre des exemples plus parlant encore, on peut citer le domaine des spécifications formelles de programme qui utilisent des techniques algébriques assez évoluées, toute l'IA (beaucoup de maths discretes et de statistiques), etc.