Filosofía de la matemática

Trabajo final

Docente: miguel Ernesto Villarraga Rico

Presentado por: Luis Eduardo Montealegre

Código. 051150182014

Universidad del Tolima

Facultad ciencias de la educación
Licenciatura en matemáticas
Ibagué – Tolima
2019
 ¿Qué son las matemáticas?

*Luis Eduardo Montealegre

Para acercarnos a una definición clara sobre las matemáticas, es necesario escudriñar las
diferentes concepciones sobre la matemática que se han formado a través de tiempo, de ahí,
el texto: “Qué son las matemáticas” inicia con una visión sobre esta ciencia: ─se afirma que
hace unos años en la mitad de este siglo las formaciones aplicativas de la matemática han
tenido mayor relevancia, según lo anterior, antes se daba mayor importancia a la matemática
como visiones abstractas y axiomáticas, dejando a un lado la parte aplicativa de la
matemática. El objetivo central del texto es yuxtaponer el paralelismo epistemológico entre
las visiones de la matemática, es por eso que, la subjetividad y la objetividad son papeles
importantes para la formación de la comprensión matemática general.

Dado lo anterior, cuando hablamos de subjetividad, básicamente se refiere a las creaciones

del pensamiento, formaciones intuitivas, heurísticas, propias o particulares de cada persona,
por ejemplo, si tienes una idea, cuando usas la creatividad o simplemente tienes una premisa
de un argumento, estas en el campo de la subjetividad. En cambio, cuando hablamos de
objetividad, nos referimos a todo aquellas afirmaciones validas, ya comprobadas, por ejemplo
un teorema, el argumento propio o el conjunto de reglas aceptadas en una comunidad
científica, esto da lugar, a todo aquello práctico, aplicativo y sistemático. Sin embargo, es de
cuidado apreciar estas dos dimensiones de forma junta, puesto que, al pensar que la
subjetividad y la objetividad son características de la formación de la matemática puede
conllevar un error, la esencia de la matemática no tiene un formalismo sistemático o no es un
conjunto de axiomas secuenciales.

La matemática es a priori

En concreto, cuando definimos a priori, puntualmente nos referimos a todo aquello que se
realiza con anterioridad a la reflexión sobre el asunto en cuestión, a su vez, este pensamiento
es independiente de la experiencia, algo parecido a la subjetividad del pensamiento. Se
establece que las matemáticas son a priori, puesto que, son fundamentadas instintivamente,
─es necesario aclarar que cuando se habla de la creación de matemática no se habla de
rescribir o reformular un teorema, se plantea que la creación de la matemática es la
formulación de un teorema nuevo, algo que el pensamiento no ha caracterizado de forma
matemática1. Para Kant, el sentido a prior en matemática, involucra la intuición espacio-
temporal, es decir, existe un antes y un después del conocimiento. En consecuencia, podemos
pensar que la matemática se crea de forma a priori y luego se formaliza de forma objetiva.

Basándonos en lo anterior, puedo definir la matemática como la caracterización de lo

intangible y también de lo tangible, con caracterización quiero decir, dotar de simbolismo,
estructura a todos los fenómenos de la naturaleza. Es bueno aclarar que la matemática consta
de una red axiomática de conceptos, definiciones y logicismo, sin embargo, la matemática no
se crea de una manera lineal o directa, de ahí , la idea de la diferencia entre el crear
matemática y el transferir matemática. En cuanto a lo tangible y a lo intangible, puedo hacer
un ejemplo; desde la formación de la caracterización de las dimensiones matemáticamente,
cuando hablamos de una dimensión estamos hablando de un punto (una esquina de una
mesa), de dos dimensiones, una línea (arista de una mesa), de tres dimensiones toda la mesa
completa, hasta ahí, es todo tangible, y se puede caracterizar de forma matemática, para
cuatro dimensiones no podemos seguir con el ejemplo de la mesa, entonces, entra una
caracterización matemática intangible, pues estamos entrando al campo de la topología. En
conclusión, la matemática es la formación estructural e interpretación de los fenómenos
físicos y no físicos de la naturaleza llevados a cabo de forma intuicionista.

1 En educación, en ocasiones se confunden las concepciones de “hacer matemática” y “crear matemática”.

 Los fundamentos de la matemática

¿Qué tipo de matemático soy?

Intuicionismo

Me considero parte del pensamiento intuicionista porque es una idea filosófica acerca de la
realidad de la matemática, pues, la matemática es interpretada en términos de construcciones
mentales, es una concepción según la cual las entidades matemáticas se originan a partir de
procesos del pensamiento creativo, de tal modo que se puede ver al intuicionismo como una
variante del constructivismo. Cuando se habla de constructivismo se habla de la creación del
conocimiento de forma instintiva.

El intuicionismo rechaza directamente al formalismo, para el intuicionismo la matemática no

es puramente formal, sino que tiene contenidos específicos. Estos contenidos pueden ser
formados por los individuos pensantes gracias a la intuición y la independencia de la
experiencia. También se puede decir que la fundamentación de la matemática no pasa por la
estructura del pensamiento matemático, de los procesos mentales de los que proviene
anteriormente.

Para el platonismo supone que las entidades matemáticas son un tipo especial de objetos, algo
así como las sillas o las mesas, que se pueden ver pero no ocupan un lugar en el espacio
físico, esa idea crea algo ilógico. Desde el punto de vista del intuicionismo, las entidades
matemáticas no son entidades ontológicamente independientes, sino construcciones del
pensamiento, producidas por un acto creativo y libre de la mente humana. En la construcción
mental de las matemáticas, el método axiomático no desempeña papel alguno. Esto tiene dos
consecuencias fundamentales, una respecto de la fundamentación de la aritmética, según la
cual se rechaza el infinito actual (entendido como una entidad) en favor del infinito potencial.
La otra es respecto de las entidades que son admitidas en matemáticas: aquellas de las cuales
se puede mostrar que se ha construido o que se puede construir mediante procedimientos
intuitivos.

Para el intuicionista, la matemática es independiente de la lógica. La utilidad de la lógica se

limita a la construcción del lenguaje matemático, además de ser útil para el análisis del
mismo. En todo caso es la lógica la que depende del pensamiento matemático. Sea como
fuere, el papel de la lógica, desde el punto de vista de los intuicionistas, consiste en la
investigación sobre los procesos de construcción de la prueba matemática, de modo que la
demostración de la existencia de una entidad matemática consiste en proporcionar el método
para la construcción de dicha entidad y, del mismo modo, para probar una afirmación
matemática hay que exhibir el modo en que se ha construido la entidad acerca de la cual trata
dicha afirmación.

Ahora bien, desde este punto de vista, podemos dar un ejemplo; el método de reducción al
absurdo para demostrar la existencia de una entidad es inadmisible, en la medida en que si las
entidades matemáticas son construcciones mentales, el demostrar que la suposición de la
inexistencia de dicha entidad lleva a una contradicción no es condición suficiente para
admitir la existencia de dicha entidad. Por otra parte, la reducción al absurdo sí que es
aceptable para mostrar la inexistencia de una entidad, puesto que el hecho de llegar a una
contradicción cuando se trata de construir mentalmente una entidad matemática es una prueba
de que no es posible su construcción y de que, por tanto, esa entidad no existe. Como
resultado, aplicar un método lineal o sistemático puede generar errores en los procedimientos.