Universidad Nacional Autónoma de México - UNAM
Los sistemas formales
Los sistemas formales
Carlos Torres Alcaraz
Universidad Nacional Autónoma de México - UNAM ·México ·1999 ·Español
Licencia de minería de texto y datos
Esta publicación no tiene una declaración de licencia TDM (minería de texto y datos) registrada. La editorial titular puede declararla desde su cuenta en SIMEH; quedará publicada aquí con fecha y hora certificadas.
Formatos
| Formato | ISBN | Recordreference | DOI | Año |
|---|---|---|---|---|
| E-book | — | SIMEHEBOOKA6TZVNU19LJO8O8LA6XN | — | 1999 |
Sobre esta obra
Carlos Torres explica los sistemas formales como la forma más acabada del método axiomático y describe los distintos procesos de cambio que ha sufrido la axiomática: desde sus orígenes con la geometría euclidiana en la Grecia antigua –lo que hoy conocemos como axiomática intuitiva (o material)–, hasta la aparición de otras geometrías, el álgebra abstracta y la matemática moderna, dando lugar, así, a la axiomática formal.