Gardner Martin – Maquinas Y Diagramas Logicos Mult

máquinas yLa 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.

Esta entrada fue publicada en Uncategorized. Guarda el enlace permanente.