O Computador Universal - Matemáticos e as Origens do Computador

Martin Davis

Bizâncio

2000

290 páginas

9h 40m

ISBN-13: 9789725302378

Português Brasileiro

Hoje em dia, 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 lucidamente 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.