O computador universal: matemáticos e origens do computador

Os computadores estão em todo o lado e, no entanto, continuam a ser para muitos de nós objecto de irredutível mistério. Como podem as aberrações electrónicas fazer uma tal variedade de tarefas se a computação é aritmética simples? A resposta, como Martin Davis ilustra, reside no facto de os computadores serem essencialmente máquinas de lógica, usando conceitos desenvolvidos passo a passo durante séculos pelos pioneiros matemáticos. O desenvolvimento dos conceitos lógicos por trás dos computadores é aqui traçado através das vidas de um grupo de brilhantes inovadores - alemães e britânicos inicialmente - ao longo de três séculos - G. W. Leibniz, George Boole, Gottlob Frege, Georg Cantor, David Hilbert, Kurt Godel e Alan Turing. 'O computador universal' vai revelar aos seus leitores como e porquê os computadores trabalham e como se resolvem os algoritmos que lhe estão na base.