¿Es la informática una rama de las matemáticas?

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

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.

Yo también diría que no lo es. No de una manera práctica.

Pero entonces, es una rama de las matemáticas en la medida en que cualquier ciencia puede interpretarse como una rama de las matemáticas. ¿Física teórica? Claramente una rama de las matemáticas, ¿verdad? ¿Qué hay de las estadísticas? Un montón de matemáticas. ¿Arquitectura? Cargas y cargas de matemáticas allí.

Cuando se ven de una manera tan amplia, las matemáticas son simplemente un sentido común muy estrechamente formalizado. Y del sentido común se puede derivar prácticamente cualquier otra ciencia. Porque si no puedes, entonces algo está muy mal (consulta la eugenesia nazi, etc.)

Esto puede ser debatido acaloradamente:
Matemáticas -> Física -> Química -> Biología -> Farmacología
Matemáticas -> Física -> Electrónica -> Informática -> Programación

Interesante, la Universidad de Cambridge de Informática comenzó como una división del departamento de Matemáticas: Una breve historia informal del Laboratorio de Computación.

No, por la sencilla razón de que los cálculos tienen que ser ejecutados por máquinas físicas. El diseño e implementación de hardware no es una rama de las matemáticas.

No. Es una herramienta utilizada por los matemáticos (que puede ser en sí misma una herramienta), contables, físicos, químicos, minoristas, fabricantes, de hecho casi cualquier persona en estos días.

Tendría que pasar por algunos aros lógicos bastante temibles para llamar al big data un ejercicio matemático, y la entrada para un procesador neuronal no es tan fácil de expresar como un algoritmo matemático, aunque podría consistir en números.

La parte de la informática relacionada con la complejidad de la computación y los límites superiores de la computabilidad es de naturaleza metamatemática. Entonces, para esa parte de la informática que trata con los límites teóricos, la respuesta es Sí.