La informática es la ciencia de la computación; Eso parece muy claro. Menos claro es cómo definir la ciencia y la computación de una manera útil y significativa.
En general, podríamos dividir la ciencia de acuerdo con dos clasificaciones: formal versus empírica, y pura versus aplicada. Mientras que la ciencia formal (como las matemáticas y gran parte de la informática) se basa en el razonamiento deductivo de las verdades asumidas, la ciencia empírica (como la física y la química) se basa en el razonamiento inductivo de los fenómenos observados. Mientras que el objetivo de la ciencia pura es avanzar en el estado de la comprensión científica, el objetivo de la ciencia aplicada es utilizar dicha comprensión para aprovechar las fuerzas de la Naturaleza (en el sentido más amplio posible de la palabra) para lograr otros objetivos.
Podríamos definir la computación como una transformación aplicada a una información. En el sentido más amplio posible, la computación es, entonces, cualquier proceso que cause un cambio en el universo. No es necesario proporcionar una definición más detallada que esta.
La ciencia de la computación, entonces, consiste en la parte del esfuerzo humano que satisface los siguientes criterios:
- Es ciencia, es decir:
- Es (1) formal o (2) empírico:
- Emplea el razonamiento deductivo de las verdades asumidas.
- Emplea el razonamiento inductivo de los fenómenos observados.
- Es (1) puro o (2) aplicado
- Busca avanzar en el estado de la comprensión científica.
- Busca aplicar el entendimiento científico para aprovechar las fuerzas naturales.
- Estudia computación, es decir:
- Estudia (1) transformaciones o (2) información
- Procesos que mapean información de una forma a otra.
- Entidades sujetas a transformaciones.