Maquinas Y Diagramas Logicos – Gardner Martin

Descripción

La mecanización del pensamiento se define como la invención de métodos para resolver problemas lógicos mediante diagramas y máquinas construidas expresamente para tal fin. Los espectaculares progresos alcanzados en el campo de la informática y los ordenadores durante las últimas décadas no pueden hacer olvidar, sin embargo, que los estudios lógico-mecánicos constituyen una de las empresas científicas más antiguas de la humanidad. El arte de la lógica y de su formalización ha sido siempre un ámbito turbulento, cuya asombrosa vitalidad queda demostrada por las vehementes polémicas que recorren su larga vida. MAQUINAS Y DIAGRAMAS LOGICOS traza un panorama de esta fascinante historia, desde los diagramas de Ramón Llull expuestos en su «Ars Magna» hasta el «demostrador» de Stanhope, la máquina lógica de Jevons, la de Marquand, las simples tarjetas con ventanas y las investigaciones más recientes sobre inteligencia artificial.

Leer un Fragmento