¿Cuál es el componente científico de la informática?

Answer 1

La pregunta no es particularmente útil ya que el valor de estudiar informática no depende de la pregunta. Para callarlo rápidamente, diría que el principio de Landauer sugiere que, dado que existe un límite inferior y distinto a cero en el consumo de energía de la computación, en realidad hay bastante ciencia en la informática.
El principio de Landauer – Wikipedia

A la parte de su pregunta “Sí, Virginia, hay un Papá Noel”:

• La informática es una práctica. Existen enfoques probados que han demostrado ser útiles para una gran cantidad de problemas y vale la pena estudiarlos (ya sabes, ejem, ingeniería eléctrica).
• La informática se basa en principios fundamentales. Muchos de estos son más reproducibles que los de la economía.
• La informática es una disciplina. Hay una combinación de prácticas, principios y hechos que se combinan para construir una disciplina útil.
• La ciencia de la computación a veces hace predicciones sobre eventos observables. Aquí es donde creo que el vínculo con las ciencias puramente observables comienza a romperse. La ciencia de la computación a menudo estudia las relaciones entre las estructuras inventadas de manera muy similar a las matemáticas. Esto lo hace menos experimental que la astronomía.
• La informática hace afirmaciones falsas. Absolutamente – particularmente sobre la teoría de la computación.

En resumen, la informática es bastante digna de estudio y comparte muchas características con las matemáticas, la ingeniería y la física.

Answer 2

Vamos a consultar a Edsger Dijkstra:

“¿Qué es la informática? ¿Y de qué se trata la ciencia de la informática?
Bueno, cuando todo está dicho y hecho, lo único que las computadoras pueden hacer por nosotros es manipular los símbolos y producir resultados de tales manipulaciones. De nuestras observaciones anteriores, debemos recordar que este es un mundo discreto y, además, que tanto el número de símbolos involucrados como la cantidad de manipulación realizada son muchos órdenes de magnitud más grandes de lo que podemos imaginar: desconciertan totalmente nuestra imaginación y, por lo tanto, debemos No trates de imaginarlos.
… Entonces, tenemos que diseñar manipuladores de símbolos abstractos. Todos sabemos cómo se ven: se ven como programas o, para usar una terminología más general, usualmente fórmulas bastante elaboradas de algún sistema formal. Realmente ayuda ver un programa como una fórmula. En primer lugar, coloca la tarea del programador en la perspectiva adecuada: tiene que derivar esa fórmula. En segundo lugar, explica por qué el mundo de las matemáticas ignoró el desafío de la programación: los programas eran fórmulas mucho más largas de lo que estaban acostumbradas a que ni siquiera las reconocían como tales. Ahora volviendo al trabajo del programador: tiene que derivar esa fórmula, tiene que derivar ese programa. Sabemos de una sola manera confiable de hacer eso, a saber. Mediante la manipulación de símbolos. Y ahora el círculo está cerrado: construimos nuestros manipuladores de símbolos mecánicos mediante la manipulación de símbolos humanos.
Por lo tanto, la ciencia de la computación está, y siempre estará, preocupada por la interacción entre la manipulación de símbolos humana y mecanizada, generalmente conocida como “computación” y “programación” respectivamente. Un beneficio inmediato de esta idea es que revela la “programación automática” como una contradicción en los términos. Un beneficio adicional es que nos da una clara indicación de dónde ubicar la ciencia de la computación en el mapa mundial de las disciplinas intelectuales: en la dirección de las matemáticas formales y la lógica aplicada, pero en última instancia, mucho más allá de donde están ahora, porque la ciencia de la computación está interesada uso de métodos formales y en una escala mucho mayor que la que hemos visto hasta ahora.
… A largo plazo, espero que la ciencia computacional trascienda sus disciplinas primarias, las matemáticas y la lógica, al realizar de manera efectiva una parte significativa del sueño de Leibniz de proporcionar el cálculo simbólico como una alternativa al razonamiento humano. … No hace falta decir que esta visión de lo que trata la ciencia de la computación no es aplaudida universalmente. Por el contrario, ha encontrado una oposición generalizada, y en ocasiones incluso violenta, desde todo tipo de direcciones “.

Vale la pena leer todo el ensayo: Sobre la crueldad de enseñar realmente ciencias de la computación (EWD 1036)