TÃtulo : | El sueño de la razón: La lógica matemática y sus paradojas | Tipo de documento: | texto impreso | Autores: | Javier Fresán, Autor | Editorial: | Rodesa [España] : RBA | Fecha de publicación: | c2011 | Colección: | El mundo es matemático | Número de páginas: | 141 p. | ISBN/ISSN/DL: | 978-84-473-6972-0 | Idioma : | Español (spa) | Etiquetas: | AXIOMA CONJUNTO PARADOJA HILBERT GÖDEL TURING FORMALISMO INTELIGENCIA ARTIFICIAL | Clasificación: | 511.3 LÓGICA MATEMÁTICA | Resumen: | Resumen tomado de la Obra: "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 ellos para conducir a la lógica a los nuevos y fascinantes territorios de la informática y lo difuso." |
El sueño de la razón: La lógica matemática y sus paradojas [texto impreso] / Javier Fresán, Autor . - Rodesa (España) : RBA, c2011 . - 141 p.. - ( El mundo es matemático) . ISBN : 978-84-473-6972-0 Idioma : Español ( spa) Etiquetas: | AXIOMA CONJUNTO PARADOJA HILBERT GÖDEL TURING FORMALISMO INTELIGENCIA ARTIFICIAL | Clasificación: | 511.3 LÓGICA MATEMÁTICA | Resumen: | Resumen tomado de la Obra: "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 ellos para conducir a la lógica a los nuevos y fascinantes territorios de la informática y lo difuso." |
|  |