A narrativa percorre vidas e ideias de sete matemáticos da lógica, traçando conexões históricas entre os trabalhos de Leibniz e Turing. O foco recai sobre conceitos centrais como cálculo, máquinas abstratas e formalização do raciocínio.

Figuras como Leibniz e Turing são apresentadas com atenção às suas contribuições teóricas e ao contexto intelectual que motivou seus passos. Há explicações sobre resultados-chave da lógica matemática e seus desdobramentos para a computação.

O texto oferece um panorama histórico que relaciona procedimentos matemáticos a ideias sobre computabilidade e projetos de máquinas. Em alguns trechos há análise das influências mútuas entre teoria e prática na gênese da ciência da computação.