Mi opinión es que lo que es y lo que no es «ciencia», pura o aplicada, está determinado por el método.
La ciencia pura se caracteriza, a grandes rasgos, por el método científico. Diferentes ramas lo llevan a diferentes grados y en diferentes direcciones, pero todas comparten un núcleo similar: teorías basadas en observaciones del mundo y probadas empírica y cuantitativamente, ya sea a través de experimentos o, al menos, de estudios observacionales.
La ciencia pura responde al «qué» mediante la observación del mundo real.
La ciencia aplicada, por otro lado, está más cerca de la ingeniería. Se trata de idear formas específicas de lograr algún objetivo. El objetivo es tomar una comprensión científica del mundo y utilizarla para desarrollar soluciones a los problemas.
La ciencia aplicada responde al «cómo» inventando sobre la base de principios científicos.
Entonces, ¿dónde deja esto a la informática?
Bueno, la informática es un campo interesante. No se define por la forma en que aborda los problemas, sino por los temas que cubre: cualquier cosa remotamente relacionada con la informática sirve. Así que es ambas cosas a la vez, y más. Los subcampos de la informática se inclinan en todo tipo de direcciones: ciencia pura, ingeniería o incluso matemáticas abstractas. A veces incluso se adentran en el arte.
La informática abarca tanto las ciencias puras como las aplicadas que tienen que ver con los ordenadores y la computación, y mucho más.
De hecho, se puede ver una gama sorprendente incluso en un solo subcampo. El estudio de los lenguajes de programación es un gran ejemplo. El diseño y las herramientas prácticas de PL son una disciplina de ingeniería en el fondo: inventamos lenguajes y herramientas basándonos en una comprensión más amplia del tema. La teoría de los lenguajes de programación, en cambio, es una disciplina matemática pura. (De hecho, resulta que la teoría del PL puede proporcionar una base coherente para todas las matemáticas). Y una pequeña y emergente cantidad de trabajo es científica en el mismo sentido que la psicología, tratando de construir una comprensión experimental de cómo los seres humanos aprenden idiomas y utilizando eso para informar el diseño del lenguaje.
Buscando en otros sub-campos, usted’encontrará otras mezclas de enfoques y filosofías. Pero, en su conjunto, el pensamiento de la informática es sorprendentemente diverso, en gran parte porque se define puramente por su tema, no por su método.