PASO 4 – REALIZAR TRANSFERENCIA

DEL CONOCIMIENTO – TRABAJO

GRUPAL
Epistemología de las Matemáticas. Código: 551103, Grupo: 52
Tutor: Wualberto José Roca

Emerson Barajas Ramírez (8.565.250)

Ólver Enrique González Sánchez (1.002.279.332)
Leonardo Gámez (84.104.794)

Diciembre 11 de 2011
INTRODUCCIÓN

El presente trabajo presenta la línea de tiempo de los hechos destacados que

generaron crisis en los fundamentos de las matemáticas, siendo estos hechos
que rompieron con un paradigma o una creencia anteriormente que se tenía
respecto a alguno de los conceptos matemáticos dados por ciertos, dándose
así una evolución en dicho saber.

Adicionalmente, se presentan todo lo relacionado con las escuelas que

surgieron tras la crisis de los fundamentos del siglo XX, explicando el punto de
vista de cada una de las mismas en fundamentar el saber matemático.

El trabajo cierre respondiendo a la pregunta sobre si es o no la matemática

un lenguaje.
OBJETIVO GENERAL

´ Identificar los diferentes momentos a través de la historia

en donde el conocimiento matemático se ha visto
abocado a crisis en sus fundamentos y el como han
surgido diferentes puntos de vistas para abordar la
solución a la crisis de los fundamentos, en especial la
del siglo XX.
OBJETIVO GENERAL

´ Establecer una línea de tiempo de los eventos que han

generado crisis en los fundamentos de la matemática.
´ Analizar los conceptos y filosofías de cada una de las
escuelas del conocimiento matemático: logicista,
formalista e intuicionista.
´ Analizar si son o no las matemáticas un lenguaje.
LÍNEA DE TIEMPO DE LA CRISIS DE LOS
FUNDAMENTOS DE LAS MATEMÁTICAS
 ESCUELA LOGICISTA

´ Exponentes: Gottlob Frege y Bertrand Russell.

´ Qué visión de las matemáticas defiende:
Establece un sistema de reglas lógicas a través del cual se sustentan
todos los conceptos matemáticos. Si bien los planteamientos lógicos
recogidos por Fredge y la revisión hecha por Russell generó la crisis de
los fundamentos del siglo XX, Russell se propuesto levantar los nuevos
cimientos matemáticos a través de la misma lógica.
´ Argumentos a favor: establece los conceptos a partir de consistencias
lógicas; es decir, unas reglas de juego consistentes.
´ Argumentos en contra: no logra demostrar todos los teoremas. Los axiomas
de infinitud y de reductibilidad son criticados por no tener el suficiente
sustento para considerarse axiomas.
 ESCUELA LOGICISTA
ARGUMENTOS DE LOS AUTORES

´ El logicismo sostiene que la matemáticas se puede reducir a la lógica, de modo que

los defensores de esta corriente entienden que el programa logicista tiene como
finalidad “fundamentar en leyes y principios lógicos el conocimiento aritmético y su
verdad” (Parra, 2015, pág. 83).

´ Para Hintikka (2009), citado en Jasso (2014) en el logicismo “los enunciados

matemáticos son reducibles a enunciados lógicos. Esta reducción considera dos
aspectos: una reducción conceptual y una reducción por decidibilidad” (Pág. 280).
Entendiéndose por decidibilidad la posibilidad de realizar procedimientos que
permitan establecer si una fórmula es válida o no.

´ El logicismo es la corriente de pensamiento que sostiene que “la matemática es

reducible a la lógica, de aquí que [la matemática] no sea sino una parte de la lógica.
El primero en defender esta concepción fue Frege” (Carnap, 2020, pág. 63).
 ESCUELA FORMALISTA

´ Exponente: David Hilbert.

´ Qué visión de las matemáticas defiende:
Establece un sistema de axiomas a partir del cual y a través de reglas
lógicas construye todo el saber matemático. En resumen, construye el
saber matemático a partir de axiomas, variables, conectores lógicos,
cuantificadores, signos y términos, los cuales generan una serie de objetos
matemáticos y teoremas.
´ Argumentos a favor: es el que más cerca ha estado de formalizar todo el
conocimiento matemático.
´ Argumentos en contra: por parte de los logicista en el uso de conceptos
no intuitivos como el infinito y la contradicción como método de prueba.
Posteriormente, a través del teorema de incompletitud e Gödel, se
demostró que habían problemas indecidibles que bajo cierta estructura
axiomáticas no podían ser resueltos.
 ESCUELA FORMALISTA
ARGUMENTO DE LOS AUTORES
´ Según Parra Ballesteros (2015) el formalismo sostiene que:
Todas las afirmaciones y reglas de inferencia, al margen de cualquier
contenido concreto, se pueden hacer explícitas. Para ello, el procedimiento
que se debe aplicar requiere de un vocabulario formal que incluye reglas bien
formadas de un sistema finito de axiomas, sobre los cuales se pueden efectuar
transformaciones de acuerdo con reglas de inherencia. (Pág. 85)

´ El formalismo matemático “afirma la independencia de la matemática

frente a la lógica. Sostiene que la matemática pura es la ciencia de la
estructura formal de los símbolos, y arranca de la realidad concreta de los
signos” (Martínez, 2003, párr. 7).

´ Según lo expone Ruíz (2013) la escuela formalista trataba de:

Encontrar una demostración de la consistencia absoluta de la
matemática, partiendo de la base de que la matemática se desarrolla
simultánea o paralelamente con la lógica y que la actividad matemática se
restringe a la manipulación de símbolos carentes de todo significado intuitivo
por medio de reglas de transformación explícita y formal. (Pág. 287)
 ESCUELA INTUICIONISTA

´ Exponente: Luitzen Egbertus Jan Brouwer

´ Qué visión de las matemáticas defiende:
Considera solo todo objeto matemático como producto de la mente
humana. Es decir que la existencia del objeto matemático debe parte a
partir de la posibilidad de su construcción. Conceptos como el infinito y la
demostración por contradicción no son de la aceptación de esta
escuela.
´ Argumentos a favor: al no tener en cuenta los conceptos de infinito y el
principio de no contradicción evita la generación de contradicciones.
´ Argumentos en contra: limita el desarrollo de la matemática a objetos
construibles, lo cual impide el uso de conceptos abstractos que han
permitido obtener resultados en el campo del análisis matemático.
 ESCUELA INTUICIONISTA
ARUMENTO DE LOS AUTORES
´ Según Freund (2011) el intuicionismo considera que:
La matemática no es una teoría sino más bien es una actividad
esencialmente ajena al lenguaje realizada por la mente humana y que
tiene su origen en la percepción: la mente experimenta sensaciones y cuando
una sensación da lugar a otra, un movimiento de tiempo toma lugar para la
mente. (Pág. 3)

´ Por otro lado, Parra (2015) afirma menciona que el intuicionismo es opuesto
al logicismo, aunque acepta la axiomatización del análisis no acepta la
idea del infinito actual de las matemáticas. Esta corriente rechaza entonces
la postulación teórica del todo el conjunto de números reales no
aceptando tampoco la idea cantoriana de números y clases transfinitas.

´ El intuicionismo no acepta que la aritmética sea la esencia de las

matemáticas, pues para esta corriente de pensamiento no es posible tratar
exhaustivamente las matemáticas sólo a través del método deductivo sino
que, la intuición que la investigación lógica viene después de la intuición
cuando esta haya hecho su trabajo de idealización (Moreno, 2014).
 ¿SON LAS MATEMÁTICAS UN
LENGUAJE?
De acuerdo a lo revisado en el grupo y a lo largo de todo el curso de Epistemología de
las matemáticas, llegamos a la conclusión de que sí lo son. De hecho es el lenguaje a
través del cual el ser humano ha comprendido todas las interacciones de la naturaleza
y su existencia no se basa solo en un ejercicio del intelecto humano. Las matemáticas
han estado siempre desde antes de que existiera la humanidad y seguirán ahí, aun
después de nuestro paso por el mundo. Todas las escuelas del conocimiento
matemáticos, inclusive la intuicionista, ha tenido que valerse de símbolos que
representan cantidades, relaciones lógicas y de orden, con el fin de poder transmitir
dicho conocimiento. Todo lo anterior, es característico de un lenguaje.

Si bien, hay autores, como Daniel Quesada, quien en su artículo ¿Es la Matemática un
Lenguaje? Refuta dicha afirmación, basado en el concepto de los elementos del
leguaje, se observa esta posición más desde un punto de vista de rigor estructural sobre
lo que debe contener un lenguaje: conjunto, sintaxis y secuencia. Esta es una visión que
no apunta hacia lo funcional que es el lenguaje matemático para transmitir el
conocimiento.
 ¿SON LAS MATEMÁTICAS UN
LENGUAJE? VISIÓN DE LOS AUTORES
Las matemáticas son un lenguaje ya que sus formalidades y conceptualizaciones permite que las
personas puedan entenderse, si así no fuera los matemáticos de otros lugares del mundo no podrían
unificar sus descubrimientos con trabajos producidos por matemáticos de este continente y, seguir
avanzando para un mejor entendimiento de esta ciencia exacta. Según Serrano (2005) la lengua del
lenguaje matemático está compuesta por los signos compartidos por una comunidad de
matemáticos o una institución, como la escuela, un aula, etc. Estos signos pueden ser símbolos
matemáticos, gráficos, gestos, expresiones corporales, entre otros. Por otro lado, están las reglas con
las que se va a usar el sistema.

Si bien con la intuición se ha logrado mucho en el campo de las matemáticas se necesitó que se
formalizara para darle un carácter universal y se facilitara su enseñanza in dependientemente del país
en el que se esté, esto es así porque “el aprendizaje de la matemática es independiente de la lengua
natural utilizada para la enseñanza de esta disciplina, pues el lenguaje matemático es un lenguaje
universal” (Espinosa & Jiménez, 2019, párr. 22).

El hecho de que las matemáticas sean un lenguaje universal, que se ha ido puliendo a través del
tiempo a través de la formalización es lo que ha permitido su avance ya que, si se hubiese dejado
todo al intuicionismo no habría suficiente confianza en ella pues, con la rigorización matemática se le
dio más solidez lo cual incidió fuertemente en la facilidad con que se aprendían las matemática (Peña
et al., 2016).
 CONCLUSIONES
´ Podemos destacar tres grandes momentos que generaron crisis en los
fundamentos e la matemática: el descubrimiento de la
inconmensurabilidad y los números irracionales asociados a la misma,
el descubrimiento de nuevas geometrías en la que no se cumplían el
quinto ni el segundo postulado de Euclides. Finalmente, la última crisis se
da al descubrirse inconsistencias en la lógica de conjuntos que
conducen a paradojas en la construcción de los conjuntos. Respecto a
esta última crisis se llega a la incompletitud de los sistemas axiomáticos.
´ Con el fin de dar solución a la crisis de los fundamentos de las
matemáticas surgen tres escuelas: la logicista, la formalista y la empirista.
´ Finalmente, las matemáticas pueden ser consideradas como un
lenguaje, teniendo en cuenta su estructura que permite construir todo
una serie de conceptos y relaciones que permiten entender los
fenómenos de la vida diaria.
 REFERENCIAS
´ Carnap, R. (2020). La fundamentación logicista de la matemática. Metatheoria – Revista de
Filosofía e Historia de la Ciencia, 10(2), 63-72. https://doi.org/10.48160/18532330me10.211
´ Freund Carvajal, M. (2011). Lógica, matemáticas y conceptualismo. Signos filosóficos, 13(25), 9-45.
http://www.scielo.org.mx/scielo.php?script=sci_abstract&pid=S1665-
13242011000100001&lng=es&nrm=iso&tlng=es
´ Jasso Méndez, J. (2014). Logicismo y analiticidad. Frege y Carnap dos propuestas logicistas.
Andamios, 11(26), 277-296. http://www.scielo.org.mx/scielo.php?script=sci_abstract&pid=S1870-
00632014000300011&lng=es&nrm=iso&tlng=es
´ Martínez Miguélez, M. (2003). Naturaleza y aplicabilidad de los modelos matemáticos. Cuadernos
del Cendes, 20(52), 177-190. http://ve.scielo.org/scielo.php?script=sci_abstract&pid=S1012-
25082003000100009&lng=es&nrm=iso&tlng=es
´ Moreno Armella, L. (2014). Intuir y formalizar: Procesos coextensivos Educación Matemática (Vol.
11). Santillana. https://www.redalyc.org/pdf/405/40540854010.pdf
´ Parra Ballesteros, M. P. (2015). LA NATURALEZA ANALÍTICA DE LA VERDAD MATEMÁTICA. Universitas
Philosophica, 32(64), 82-88. http://www.scielo.org.co/scielo.php?script=sci_abstract&pid=S0120-
53232015000100007&lng=en&nrm=iso&tlng=es
´ Ruiz Serna, L. (2013). Corrientes de Pensamiento Matemático del siglo XX Primera parte-
Fundamentación Mary Falk de Losada. Revista Científica General José María Córdova, 11(12), 284-
288. http://www.scielo.org.co/scielo.php?script=sci_abstract&pid=S1900-
65862013000200015&lng=en&nrm=iso&tlng=es
´ Quesada, D. (1991). ¿Es la Matemática un lenguaje?. Revista de Filosofía, 5, 31. Recuperado 11 de
diciembre de 2021, de https://revistas.ucm.es/index.php/RESF/article/view/RESF9191120031A
´ Serrano Gómez, W. (2005). ¿Qué constituye a los lenguajes natural y matemático? SAPIENS, 6(1),
47-60. http://ve.scielo.org/scielo.php?script=sci_abstract&pid=S1317-
58152005000100004&lng=es&nrm=iso&tlng=es