¿Cómo se correlacionan las computadoras y las matemáticas entre sí?

Las computadoras son matemáticas. Cualquier programa de computadora es exactamente igual a una fórmula matemática.

Hay muchos lenguajes matemáticos diferentes. Todos tienen el mismo poder, pero algunos son más concisos cuando representan verdades en campos particulares. Los programas de computadora son concisos cuando representan algoritmos en números y símbolos acotados. La matemática común de Principia Mathematica que todos aprendemos en la escuela es concisa cuando representa verdades y pruebas dentro de los números ilimitados. Uno podría representar pruebas en lenguajes de computadora o algoritmos en matemáticas comunes, pero el resultado sería enorme e incomprensible.

Puede ver una idea de esta complejidad si considera la limitación de que las computadoras solo funcionan con números acotados. La memoria de la computadora es limitada y, por lo tanto, las computadoras no pueden representar todos los números, solo un subconjunto de ellos. Una computadora de 8 bits solo puede representar de forma nativa enteros en el rango de -128 a +128. Eso no es muy útil, por lo que hemos escrito bibliotecas de programas que usan grupos de ese pequeño número para representar los más grandes y las fracciones. Pero si estamos siendo rigurosos, esas bibliotecas son parte de cualquier programa que escribamos. Entonces, incluso los programas más simples son bastante grandes.