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 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. Aún más curioso es 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. Siguiendo a David Hilbert y Alan Turing, este libro descubre cómo algunas de las mentes más reputadas de nuestra época han contribuido al desarrollo de la Informática hasta hacer del ordenador una realidad que ha cambiado nuestro mundo.