Aunque los ordenadores parecen ser sólo aparatos eminentemente prácticos, su creación está relacionada con cuestiones de base filosófico-matemática.

• Alan Mathison Turing (Gran Bretaña; 1912 - 1954) formula una máquina abstracta (a la que posteriormente se denomina "máquina de Turing") que pasa de un estado a otro utilizando un conjunto finito de reglas y dependiendo de un único símbolo que lee de una cinta. Afirma que esta máquina es capaz de efectuar cualquier cómputo, si bien demuestra que es imposible saber de antemano si un problema tiene solución ("teorema de incomputabilidad" o "teorema de Turing").

• Janos von Neumann (Hungría; 1903 - 1957) es uno de los pioneros de la informática al desarrollar la teoría de los autómatas (aparato que encierra en sí mismo el mecanismo que le imprime determinados movimientos) como síntesis de la teoría de las demostraciones lógicas y de las computadoras electrónicas (las denominadas de "primera generación", conteniendo válvulas de vacío). Consigue resolver el problema de obtener respuestas fiables a partir de componentes electrónicos poco fiables y propone la adopción del bit (binary digit) como unidad de medida para la memoria de los ordenadores.