Tema: | Editorial RBA. Colección RBA Coleccionables. El mundo es matemático. Navarra, 2011. Ensayo. Matemáticas. Divulgación Científica. Lógica. Encuadernación en Tapa Dura de editorial Ilustrada. Estado de Conservación: Excelente Estado el cuerpo e interior del libro en cuanto a su lectura y compostura. Presenta exlibris con sello del anterior propietario en portada y en página 103. Excelente Estado la cubierta. 23,5x16,5 cms. 141 páginas. Presenta profusión de Tablas, Cuadros, Fotografías e Ilustraciones. En el primer tercio del siglo pasado, dos lógicos eminentes propinaron sendos mazazos a los pilares del imponente edificio matemático que se había ido erigiendo desde tiempos de Euclides. Algunos quisieron ver en los trabajos de Bertrand Russell y Kurt Gödel la derrota de la razón; otros, por el contrario, partieron de aquéllos para conducir a la lógica a los nuevos y fascinantes territorios de la informática y lo difuso. SUMARIO (Resumido): Prefacio. 1. El método axiomático. 2. Las paradojas. 3. El programa de Hilbert. 4. Los teoremas de Gödel. 5. Las máquinas de Turing. 6. Bien acaba lo que no acaba. Bibliografía. Índice analítico. |
---|