Consultemos a Edsger Dijkstra:
“¿Qué es la informática? ¿Y de qué trata una ciencia de la informática?
Bueno, cuando todo está dicho y hecho, lo único que las computadoras pueden hacer por nosotros es manipular símbolos y producir resultados de tales manipulaciones. A partir 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 algo más general, generalmente fórmulas bastante elaboradas de algún sistema formal. Realmente ayuda ver un programa como una fórmula. En primer lugar, pone 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 casi ignoraba el desafío de la programación: los programas eran fórmulas mucho más largas de lo que solían, que ni siquiera las reconocía como tales. Ahora volviendo al trabajo del programador: él tiene que derivar esa fórmula, tiene que derivar ese programa. Conocemos solo una forma confiable de hacerlo, 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 mecanizados y humanos, 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 indicación clara 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 en uso de métodos formales y en una escala mucho, mucho más grande de lo que hemos presenciado hasta ahora.
… A la larga, espero que la ciencia de la computación trascienda sus disciplinas principales, las matemáticas y la lógica, al realizar efectivamente 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 se trata la ciencia de la computación no es universalmente aplaudida. Por el contrario, se ha enfrentado a una oposición generalizada, ya veces incluso violenta, de 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)
- ¿Cómo afecta exactamente la música a las plantas?
- ¿Cuánto cuesta la negación de la ciencia?
- ¿Cuáles son algunas verdades difíciles sobre la ciencia?
- Hacen diferentes científicos, investigadores, y las empresas obtienen a reservar un super ordenador (como Titán o Tianhe-2) para sus necesidades?
- ¿Qué significa 'fonógrafo' y 'gramófono'? ¿Cuáles son algunos ejemplos?