Sistemas Formales, informalmente
¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?
Pedro Gómez; Cristina Gómez
Licencia de minería de texto y datos
Declarado por la editorial el 25 septiembre 2026 a las 22:18:17 UTC
El titular de derechos se reserva expresamente sus derechos de reproducción, extracción y reutilización para fines de minería de textos y datos (TDM) y de entrenamiento de modelos de inteligencia artificial, de conformidad con el Art. 4(3) de la Directiva (UE) 2019/790, el Art. 53(1)(c) del Reglamento (UE) 2024/1689 (AI Act), el Art. 13 del Acuerdo ADPIC/TRIPS de la OMC, la Decisión Andina 351 de 1993 y las leyes nacionales aplicables en los territorios de residencia del titular, de realización de la reproducción y/o comercialización del Large Language Model u otro tipo de IA resultante.
Esta reserva cubre toda reproducción digital de la obra con independencia del soporte de la copia de origen (impreso o digital) y es efectiva desde la fecha certificada de esta declaración.
En América Latina, donde no existe excepción legal para el entrenamiento de IA, esta declaración constituye evidencia pública de que el titular no ha otorgado autorización. En la Unión Europea, activa la reserva máquina-legible exigida por el Art. 4(3) CDSM y el Art. 53(1)(c) AI Act. En Estados Unidos, señaliza la existencia de un mercado de licencias TDM a efectos del factor 4 del análisis de fair use.
Cualquier uso de la obra para los fines aquí reservados requiere autorización previa y expresa del titular de derechos.
Sello de integridad
Declaración selladaLa declaración fue sellada ante una autoridad de sellado de tiempo independiente (RFC 3161) y su contenido identificado con ISCC (ISO 24138): cualquier tercero puede verificar que existía en esa fecha y que no ha sido alterada. Descargar evidencia criptográfica (.tsr) · ¿Cómo se verifica?
Formatos
| Formato | ISBN | Recordreference | DOI | Año |
|---|---|---|---|---|
| E-book | 9589216072 | SIMEHEBOOKA7JBAD9864GA25071C55 | — | 2023 |
Sobre esta obra
La corriente formalista de las matemáticas, cuya noción central es la
de sistema formal, constituye un intento de fundamentar el conocimiento matemático sobre una base sólida que garantice su validez
absoluta y universal. Las matemáticas siempre han gozado de la reputación de ser la ciencia más exacta y rigurosa; aquella que más se
ha acercado al ideal de un conocimiento absoluto y cuya verdad está
más allá de toda duda. A través de la historia se han dado varios intentos de justificar las pretensiones de verdad de las matemáticas.
En sus comienzos, en las civilizaciones antiguas del cercano Oriente,
las matemáticas se caracterizaron por su orientación práctica y por su
exitosa aplicación a la resolución de problemas concretos. Los matemáticos griegos, quienes recibieron una importante influencia de sus
antecesores egipcios y babilonios, dieron, sin embargo, a las matemáticas un carácter distinto. Ellos no se contentaron con que el conocimiento matemático fuera corroborado por la experiencia, sino que
trataron de organizarlo en forma de sistema deductivo; así se originó
el método axiomático, cuyo ejemplo más acabado dentro de las matemáticas griegas lo constituye la obra “Elementos” de Euclides.