Las matemáticas como ciencia formal
Las matemáticas como ciencia formal

Introducción
Las matemáticas son una ciencia formal y la ciencia de la ciencia; no dependen de la observación o la experimentación para demostrar sus resultados, sino de sistemas lógicos que parten de definiciones y axiomas para llegar a teoremas.
En este artículo se explica qué son las matemáticas formalmente, por qué son una ciencia formal y qué implica eso para su estudio y aplicación. Comprender esta diferencia ayuda a evitar confusiones frecuentes, como igualar las matemáticas a técnicas de cálculo o manipulación de números.
El material es para...
