Los ordenadores son tan omnipresentes en nuestra vida diaria que los utilizamos sin saber muy bien qué hacemos. Sabemos que ejecutan aplicaciones, pero no sabemos muy bien en qué consisten o cómo se relacionan con el aparato que, poblado de circuitos y otros dispositivos hardware, permiten el pequeño milagro de su uso. Pero es todavía más curioso saber que su origen se encuentra, no en el intento de resolver un problema de la vida práctica, sino en el ámbito de las matemáticas y la lógica.