Parte de eso es, y parte de eso no es.
Teoría de la computación.
Las primeras preguntas en lo que ahora llamamos ciencias de la computación estaban en la teoría de la computación. Esa asignatura era y es matemática. Las preguntas a principios del siglo XX se referían a qué funciones podrían computarse. Ackermann, Turing, Gödel, Church y Kleene fueron algunos de los primeros investigadores. A finales del siglo XX, después de la construcción de computadoras reales, las preguntas se ampliaron para incluir la eficiencia de la computación. El problema P ≠ NP encaja aquí.
Ingeniería Informática
- ¿Por qué no todas las sociedades siguen una forma de vida basada en la ciencia? ¿Por qué algunos prefieren la religión u otros enfoques?
- Cómo saber si tengo el síndrome de la visión artificial.
- En los próximos 100 años, ¿es probable que China se convierta en el líder mundial en investigación científica?
- ¿Es dura la física cuántica?
- ¿Se ha observado el área del espacio y las estrellas ‘arriba’ y ‘debajo’ de la Tierra (por encima de los polos)? Si es así, ¿qué encontraríamos allí?
La ingeniería de hardware y software (programación) no es parte de las matemáticas, pero puede ser informada por respuestas a preguntas teóricas.
El estudio de algoritmos une las matemáticas y la ingeniería. Los aspectos teóricos podrían considerarse matemáticas, pero las preguntas surgen de la ingeniería, es decir, las limitaciones provienen del mundo real.
Hay otras ramas de la informática que son más o menos matemáticas. La línea divisoria no es precisa. Además, no está claro que hacer la división sea útil. Puede ser mejor reconocer simplemente que la informática y las matemáticas se superponen.