Libro de divulgación que se lee en general con placer e interés. Me gusta el enfoque: a través de las biografiás de los principales lógicos de la historia -desde Leibniz hasta Turing- va explicando de manera progresiva todo el concepto matemático en que se basa la computación moderna. Quizá la parte biográfica sea mas floja por académica, como si por ser matemático evitara adentrarse en la especulación o el dibujo algo mas vistoso (decisión cuya prudencia alabo, pocas cosas mas ridículas que algún científico metido a poeta).
En cambio me parece muy interesante el mensaje que mas insistente, y es la relación entre lógica y computación, algo que se suele sobrentender pero que si se piensa detenidamente causa extrañeza y algo de vértigo. Otra virtud indirecta del libro ha sido remitirme a uno de mis fracasos mas conspicuos como lector: Godel, Escher, Bach, de Douglas Hofstadter, que no pude terminar por incapacidad para comprenderlo, a pesar de intuir en el algunas de las ideas mas alucinantes sobre la mente y los sistemas complejo en general. Habrá que hacer otro intento.
A ver si lo encuentro por la red... parece interesante
ResponderEliminar