Qu son las matemticas?

Introduccin:
Uno de los problemas fundamentales de las matemticas y tratado en el texto Por qu el
mundo es matemtico?
1
Es su naturaleza, son ests parte del orden natural o lenguaje de
la naturaleza?, como ya lo perciba galileo o son solo creacin de las estructuras mentales
con la finalidad de organizar el mundo. El texto nos dice que existen por lo menos 4
posturas filosficas relacionadas directamente con las matemticas : empirismo,
idealismo, operaconalismo y logicismo, cada una de estas posturas tiene un modo
particular de ver a las matemticas y de asignar su naturaleza, analizare de una manera
breve las posturas de Hilbert y Godel, repasare el proyecto ambicioso de Hilbert acerca de
la formalizacin dura de las matemticas y su afirmacin de que estas son solo un grupo
de axiomas limitado, tambin la refutacin de Godel algunos axiomas matemticos no
son sostenidos y que ningn sistema lgico que contenga aritmtica es autosostenible
pues cualquier proposicin es verdadera en algn sistema axiomtico , por ultimo
veremos ejemplos de la relacin entre la fsica y los hechos naturales.
Desarrollo
Como ya mencione en la introduccin cada una de las posturas filosficas mencionadas
tiene un modo particular de ver a las matemticas , el empirismo mantiene que todos
nuestros conceptos y conocimiento lo adquirimos de la experiencia y en este sentido las
matemticas tambin con una finalidad practica, los idealistas por otro lado creen que
existe un mundo real externo y en este sentido las matemticas son parte de el , los
operacionalistas ven nuestro entendimiento del mundo como una secuencia de pasos u
operaciones , finalmente los logicistas tratan de codificar el conocimiento en un sistema
de axiomas , lo que concierne al tema es la visin que nos brinda el empirismo del cual se

1
. Barrow John , 1992 barcelona
deriva el invencionismo que nos dice que las matematicas desde lo mas fundamental son
construcciones de la mente humana con fines practicos de este modo nosotros
inventamos las matematicas y no las descubrimos, no existen en el mundo real , es solo
nuestra manera de resolver algunas dificultades realizando abstracciones y resolviendo
problemas pero eso no significa que los nmeros o las entidades matemticas existan
concretamente.
El punto de vista logista se encuentra representado por el credo del formalismo, en el
siglo XIX las paradojas logicas haban tambaleado los fundamentos matemticos, los
dilemas del barbero del mentiroso o del conjunto de todos los conjuntos amenazaban
seriamente a las matemticas, hilbert ante estas problematicas afirmo que no se tenia
que preocupar sobre el significado de las matemticas , si no que debamos visualizarlas
como un mosaico de formulas que pueden crearse a partir de un conjunto de axiomas
con reglas no contradictorias, las matemticas no tienen significado, las formulas y los
numero existen en papel pero no poseen una existencia ontolgica , en el mundo no
existen las matemticas fuera de las mentes humanas.
Hilbert no solo quera eliminar las paradojas lgicas si no demostrar la consistencia de las
matemticas quien utilizo herramientas lgicas para demostrarlo, asi las matemticas
quedaran encerradas en una malla de certeza, pero en 1931 Godel demostr que la
proeza de Hilbert era imposible de cumplir : cualquiera que sea el conjunto de axiomas,
los simbolos empleados siempre existir una proposicin que no ponemos demostrar que
sea verdadera o falsa, la verdad matemtica esta mas all de los axiomas y reglas por lo
tanto tienen una realidad concreta, Godel estableci una distincin entre proposiciones
matemticas y meta matemticas, no puede probarse la autoconsistencia de ningn
sistema lgico que contenga aritmtica , si las religiones poseen enunciados
indemostrables entonces las matemticas son una religin y es la aunic decisin que
puede demostrarse por si misma. La aritmtica podia llegar a ser verdaderamente
inconsistente dado que no se poda comprobar su consistencia.
El proyecto bourbaki representa la esperanza del formalismo actual, el objetivo es
organizar las piezas dispares de un corpus matemtico en un corpus nico que mostrara
las similitudes de las estructuras.