Centro de Documentação da PJ
Monografia
 37899 | 26.A.55 |
O computador universal / Martin Davis.- Lisboa : Bizâncio, 2004.- 290 p. ; 23cm
COMPUTADOR , INFORMÁTICA, MATEMÁTICA, CIÊNCIA E TECNOLOGIA
Prefácio. Introdução. O sonho de Leibniz. Boole transforma a lógica em álgebra. Frege: da ruptura ao desespero. Cantor: excurso através da infinidade. Hilbert para a salvação. Gödel transtornou os seus projectos. Turinf concebe o computador de propósito geral. Construção dos primeiros computadores universais. Para além do sonho de Leibniz. Epílogo. Notas.