¿Cómo sirven las matemáticas como base para la informática teórica?

De acuerdo con Wikipedia:

La informática es el enfoque científico y práctico de la computación y sus aplicaciones.

Y de acuerdo con una invitación a las matemáticas:

La matemática es la ciencia que se desarrolló a partir de la investigación de figuras y la computación con números. (…)

De acuerdo con esas definiciones más o menos apropiadas, las Matemáticas se refieren a la computación en general, mientras que la Informática se refiere al uso práctico y la aplicación de esos cálculos. Lo que sigue podríamos hablar de matemáticas sin mencionar la informática, pero no al revés.

Además:

  • La computación se define como cualquier tipo de cálculo o uso de tecnología informática en el procesamiento de información.
  • Un cálculo es un proceso deliberado para transformar una o más entradas en uno o más resultados, con cambio variable.

Suena como funciones, ¿no?