Jorge Enrique Quiroz

Lectura 5: Naturaleza de los objetos matemáticos

Desde la Matemática: hecho de que los axiomas nos imponen por sí
mismos su verdad. No veo razón alguna por
Platonismo, Formalismo y Constructivismo la que deberíamos tener menos confianza en
Si haces Matemática todos los días, ella te parece la este tipo de percepción, esto es, en la
cosa más natural del mundo. Si te detienes a pensar intuición matemática, que en la percepción de
sobre lo que estás haciendo y lo que eso significa, los sentidos ... Esos objetos pueden también
ella te parece una de las cosas más misteriosas. representar un aspecto de la realidad
¿Cómo podemos hablar de cosas que ninguno jamás objetiva.”
vio y las comprende más que los objetivos de la vida El mundo de las ideas de Thom es geométrico,
diaria? ¿Por qué la Geometría Euclidiana todavía es mientras que el de Gödel es el universo de la teoría
correcta, mientras que la física de Aristóteles ya de los conjuntos. En el lado opuesto, tenemos a
murió hace mucho tiempo? O ¿Qué sabemos, en la Abraham Robinson:
Matemática, y cómo lo sabemos?
“No puedo imaginarme volviendo al credo
En cualquier discusión sobre los fundamentos de la del verdadero platónico, quien ve extenderse
Matemática son presentados tres dogmas-patrón: el ante si el mundo del infinito actual,
platonismo, el formalismo y el constructivismo. convencido de poder abarcar lo
Según el platonismo, los objetos matemáticos son incomprensible.” (A. Robinson 1969)
reales. Su existencia es un hecho objetivo, Por otra parte, en la concepción formalista no hay
totalmente independiente de nuestro conocimiento objetos matemáticos. La matemática consiste
sobre ellos. Conjuntos infinitos, conjuntos infinitos solamente en axiomas, definiciones y teoremas, en
no numerables, variedades de dimensión infinita, otras palabras, fórmulas. En una concepción
curvas que ocupan el espacio -todos los miembros extrema, lo único que hay son reglas mediante las
del zoológico matemático son objetos definidos, cuales se puede deducir fórmulas a partir de otras,
con propiedades definidas, algunas conocidas, pero las fórmulas no se refieren a algo: son
muchas desconocidas. Estos objetos no son solamente cadenas de símbolos. Como es natural, el
naturalmente, físicos o materiales. Existen fuera del formalista sabe que, a veces, las fórmulas
espacio y del tiempo de la experiencia. Son matemáticas son aplicadas a problemas físicos.
inmutables -no fueron creados, y no cambiaron o Cuando es dada una interpretación física a una
desaparecieron. Cualquier pregunta significativa fórmula, ella adquiere un significado, y puede ser
sobre un objeto matemático tiene una respuesta verdadera o falsa. Pero esta verdad o falsedad tiene
definida, seamos capaces o no de determinarla. que ver con la particular interpretación física. Como
Según el platonismo, un matemático es un científico una fórmula puramente matemática, ella no tiene
empírico, como un geólogo; no puede inventar algún significado ni un valor de verdad.
nada, pues todo ya existe. Lo que puede hacer es
descubrir cosas. Un ejemplo que demuestra la diferencia entre el
formalista y el platonista aparece en la hipótesis del
Rene Thom y Kurt Gödel son dos de sus adeptos continuo de Cantor. Cantor conjeturó que no existe
entusiastas del platonismo.
cardinal infinito que sea mayor que 0 (el cardinal
Thom escribe (1971): de los números naturales) y menor que c (el cardinal
“Considerando todo, los matemáticos de los números reales). K. Gödel y P. H. Cohen
deberían tener el valor de sus convicciones demostraron que, basándose en los axiomas de la
más profundas y afirmar, por tanto, que las teoría formal de los conjuntos, la hipótesis del
formas matemáticas tienen, en efecto, una continuo no puede ser demostrada (Gödel, 1937) ni
existencia que es independiente de la mente negada (Cohen, 1964). Para un platonista, eso
que las está contemplando ... Sin embargo, en significa que nuestros axiomas son incompletos
cualquier tiempo, los matemáticos tienen como una descripción del conjunto de los números
solamente una visión incompleta y reales. No son suficientes fuertes para relatar
fragmentaria de este mundo de las ideas.” nosotros toda la verdad. La hipótesis del continuo es
Y he aquí a Gödel: o bien verdadera o bien falsa, pero no
“A pesar de su alejamiento de la experiencia comprendemos suficientemente bien el conjunto de
de los sentidos, si tenemos también una los números reales para descubrir la respuesta.
especie de percepción de los objetos de la Para el formalista, por otro lado, la interpretación
teoría de los conjuntos, como se ve por el platonista no tiene sentido, pues no hay sistema de
20
números reales, a no ser de la forma que escogemos problema de la consistencia ... La posición
crearlo, estableciendo los axiomas para describirlo. Realista (esto es, platonista) es probablemente
Naturalmente tenemos libertad de modificar este la que mayor parte de los matemáticos
sistema de axiomas si deseáramos hacerlo. Una tal preferirán adoptar. Solamente cuando se vuelve
modificación puede ser por conveniencia o por consciente de algunas dificultades de la teoría
utilidad de algún otro criterio que resolveremos de los conjuntos es que el matemático
introducir; no puede tratarse de una mejor comenzará a cuestionarlas. Si estas dificultades
correspondencia con la realidad, pues ahí no hay lo inquietan particularmente, él correrá para el
realidad. abrigo del formalismo, mientras que su
posición normal será en algún punto entre las
Los formalistas y platonistas están en los extremos dos, tentando disfrutar el mejor de los dos
opuestos del problema de existencia y de realidad; mundos.” (P.J. Cohen, “Axiomatic Set Theory”
pero no discuten sobre qué principio de editor D. Scott.)
razonamiento deberían ser admisibles en la práctica En estas citas de Dieudonné y Cohen usamos el
matemática. Opuestos a ambos están los término “formalismo” para significar la posición
constructivistas. Éstos consideran matemática filosófica según la cual casi toda la matemática pura
genuina solamente lo que puede ser obtenido por es un juego sin sentido. Debería ser obvio que recusar
una construcción finita. El conjunto de los números el formalismo como una filosofía de la matemática no
reales, o cualquier otro conjunto infinito, no puede implica de manera alguna cualquier crítica a la lógica
ser obtenido de esta forma. Consecuentemente, el matemática. Por lo contrario, los lógicos, cuya propia
constructivista considera la hipótesis del continuo actividad matemática es el estudio de los sistemas
de Cantor palabras sin sentido. Cualquier respuesta formales, están en la mejor posición para evaluar la
sería pura pérdida de tiempo. diferencia enorme entre la matemática como es hecha
El dilema filosófico del matemático practicante y la matemática como es esquematizada en la noción
de un sistema matemático formal.
La mayor parte de los escritores sobre el asunto parece
concordar que el matemático practicante típico es un Según Monk, el mundo matemático está habitado por
platonista en los días de la semana y un formalista en 65 % de platonistas, 30 % de formalistas y 5 % de
los domingos. Esto es, cuando está haciendo constructivistas. Nuestra propia impresión es que el
matemática él está convencido de que está lidiando retrato trazado por Cohen-Dieudonné está más
con una realidad objetiva cuyas propiedades están próximo de la verdad. El matemático típico es al
tentando determinar. Pero, cuando desafiado a prestar mismo tiempo un platonismo y un formalista, un
cuentas filosóficas de esta realidad, halla más fácil platonista secreto con una máscara formalista que él
fingir que no cree realmente en ella. pone siempre que la ocasión lo pida. Los
constructivistas son una especie rara cuyo status en el
Citaremos dos autores bien conocidos: mundo matemático parece a veces ser el de herejes
“En cuanto a los fundamentos, creemos en la tolerados, cercados por los miembros ortodoxos de
realidad de la matemática, pero naturalmente una iglesia.
cuando los filósofos nos atacan con sus (Textos extraídos de Experiencia Matemática, pp.
paradojas, corremos y nos escondemos detrás 235-238)
del formalismo y decimos ‘La matemática es
solamente una combinación de símbolos sin Desde la educación matemática
sentido, y mostramos los Capítulos 1 y 2 de la Naturaleza de los objetos matemáticos
teoría de los conjuntos. Finalmente, dejamos en
paz para que regresemos a nuestra matemática La Didáctica de las Matemáticas se interesa por
y para hacerla como siempre hicimos, con el identificar el significado que los alumnos atribuyen a
sentimiento que cada matemático tiene, de que los términos y símbolos matemáticos, a los conceptos
está trabajando con algo real. Esta sensación y proposiciones, así como explicar la construcción de
es probablemente una ilusión, pero es muy estos significados como consecuencia de la
conveniente. Esta es la actitud de Bourbaki en instrucción.
relación a los fundamentos.” (J.A. Dieudonné, La noción de significado, utilizada con frecuencia de
1970, p.145.) modo informal en los estudios didácticos, es un tema
“Para el matemático medio, que desea central y controvertido en filosofía, lógica, semiótica
simplemente saber que su trabajo tiene bases y demás ciencias y tecnologías interesadas en la
exactas, la escuela más apetecible es evitar las cognición humana. El análisis de esta noción desde un
dificultades, a través del programa de Hilbert. punto de vista didáctico puede ayudar a comprender
En él, se encara la matemática como un juego las relaciones entre las distintas formulaciones
formal y sólo se está preocupado con el teóricas en esta disciplina y permitir estudiar bajo una
21
nueva perspectiva las cuestiones de investigación, Dummett (1991) relaciona, asimismo, el significado y
particularmente las referidas a la evaluación de los la comprensión desde una perspectiva más general:
conocimientos y la organización de los procesos "una teoría del significado es una teoría de la
instruccionales. comprensión; esto es, aquello de lo que una teoría del
significado tiene que dar cuenta es lo que alguien
El papel relevante que la idea de significado tiene, por
conoce cuando conoce el lenguaje, esto es, cuando
tanto, para la Didáctica se pone de relieve por el uso
conoce los significados de las expresiones y oraciones
que hacen de ella algunos autores interesados por el
del lenguaje" (p. 372).
fundamento de esta disciplina. Así, Balacheff (1990)
cita el significado como palabra clave de la Desde el punto de vista de la psicología cultural, el
problemática de investigación de la Didáctica de la objetivo principal de la misma, según Bruner (1990),
Matemática: "Un problema pertenece a una es el estudio de las reglas a las que recurren los seres
problemática de investigación sobre la enseñanza de la humanos a la hora de crear significados en contextos
matemática si está específicamente relacionado con el culturales. "El concepto fundamental de la psicología
significado matemático de las conductas de los humana es el de significado y los procesos y
alumnos en la clase de matemáticas" (p. 258). Como transacciones que se dan en la construcción de los
cuestiones centrales para la Didáctica de la significados" (Bruner, 1990, p. 47).
Matemática menciona las siguientes:
A pesar del carácter relevante que la idea de
- ¿Qué significado matemático de las concepciones significado tiene, no sólo para la Didáctica de la
de los alumnos podemos inferir a partir de una Matemática, sino para la psicología en general, no se
observación de su conducta? encuentra en la literatura de la especialidad un análisis
explícito de qué sea el significado de las nociones
- ¿Qué clase de significado pueden construir los
matemáticas. Los investigadores en esta disciplina
alumnos en el contexto de la enseñanza de las
utilizan el término "significado" de un modo que
matemáticas?
podemos calificar de lenguaje ordinario, o sea, con un
- ¿Cuál es la relación entre el significado del sentido intuitivo o pre-teórico. "Lo que entendemos
contenido a enseñar y el del conocimiento por 'comprensión' y 'significado' está lejos de ser obvio
matemático elegido como referencia? o claro, a pesar de ser dos términos centrales en toda
- ¿Cómo podemos caracterizar el significado de los discusión sobre el aprendizaje y la enseñanza de las
conceptos matemáticos? matemáticas en cualquier nivel" (Pimm, 1995, p. 3).

También Brousseau (1980) destaca como centrales las La preocupación por el significado de los términos y
preguntas siguientes: "¿Cuáles son las componentes conceptos matemáticos lleva directamente a la
del significado que pueden deducirse del indagación sobre la naturaleza de los objetos
comportamiento matemático observado en el matemáticos, a la reflexión ontológica y
alumno?; ¿Cuáles son las condiciones que conducen a epistemológica sobre la génesis personal y cultural del
la reproducción de la conducta, teniendo la misma conocimiento matemático y su mutua
significación, el mismo significado?" (p. 132). interdependencia. Recíprocamente, detrás de toda
Asimismo, Brousseau (1986) se pregunta si existe una teoría sobre la formación de conceptos, o más general,
"variedad didáctica" del concepto de sentido, de toda teoría del aprendizaje hay unos presupuestos
desconocida en lingüística, psicología o en epistemológicos sobre la naturaleza de los conceptos,
matemáticas. y por tanto, una teoría más o menos explícita del
significado de los mismos.
Otra autora que considera básica para la Didáctica de
la Matemática la idea de significado es Sierpinska (Godino, J. D. Marcos teóricos de referencia)
(1990), quien, a su vez, la relaciona íntimamente con ¿Qué es la actividad matemática?
la comprensión: "Comprender el concepto será
entonces concebido como el acto de captar su La filosofía prevalente sobre lo que la actividad
significado. Este acto será probablemente un acto de matemática representa tiene un fuerte influjo, más
generalización y síntesis de significados relacionados efectivo a veces de lo que aparenta, sobre las actitudes
a elementos particulares de la "estructura" del profundas respecto de la enseñanza matemática. La
concepto (la "estructura" es la red de sentidos de las reforma hacia la "matemática moderna" tuvo lugar en
sentencias que hemos considerado). Estos significados pleno auge de la corriente formalista (Bourbaki) en
particulares tienen que ser captados en actos de matemáticas. No es aventurado pensar a priori en una
comprensión" (p. 27). "La metodología de los actos de relación causa-efecto y, de hecho, alguna de las
comprensión se preocupa principalmente por el personas especialmente influyentes en el movimiento
proceso de construir el significado de los conceptos" didáctico, como Dieudonne, fueron importantes
(p. 35). miembros del grupo Bourbaki. En los últimos quince
años, especialmente a partir de la publicación de la
22
tesis doctoral de I. Lakatos (1976), Proofs and provocando, de forma más o menos consciente,
refutations, se han producido cambios bastante fluctuaciones importantes en las consideraciones
profundos en el campo de las ideas acerca de lo que sobre lo que la enseñanza matemática debe ser.
verdaderamente es el quehacer matemático. La La educación matemática como proceso de
actividad científica en general es una exploración de
ciertas estructuras de la realidad, entendida ésta en "inculturación"
sentido amplio, como realidad física o mental. La La educación matemática se debe concebir como un
actividad matemática se enfrenta con un cierto tipo de proceso de inmersión en las formas propias de
estructuras que se prestan a unos modos peculiares de proceder del ambiente matemático, a la manera como
tratamiento, que incluyen: el aprendiz de artista va siendo imbuido, como por
ósmosis, en la forma peculiar de ver las cosas
a) una simbolización adecuada, que permite presentar característica de la escuela en la que se entronca.
eficazmente, desde el punto de vista operativo, las Como vamos a ver enseguida, esta idea tiene
entidades que maneja profundas repercusiones en la manera de enfocar la
b) una manipulación racional rigurosa, que compele enseñanza y aprendizaje de la matemática.
al ascenso de aquellos que se adhieren a las Continuo apoyo en la intuición directa de
convenciones iniciales de partida lo concreto. Apoyo permanente en lo real
c) un dominio efectivo de la realidad a la que se En los años 80 hubo un reconocimiento general de que
dirige, primero racional, del modelo mental que se se había exagerado considerablemente en las
construye, y luego, si se pretende, de la realidad tendencias hacia la "matemática" moderna en lo que
exterior modelada respecta al énfasis en la estructura abstracta de la
matemática. Es necesario cuidar y cultivar la intuición
La antigua definición de la matemática como ciencia en general, la manipulación operativa del espacio y de
del número y de la extensión, no es incompatible en los mismos símbolos. Es preciso no abandonar la
absoluto con la aquí propuesta, sino que corresponde comprensión e inteligencia de lo que se hace, por
a un estadio de la matemática en que el enfrentamiento supuesto, pero no debemos permitir que este esfuerzo
con la realidad se había plasmado en dos aspectos por entender deje pasar a segundo plano los contenidos
fundamentales, la complejidad proveniente de la intuitivos de nuestra mente en su acercamiento a los
multiplicidad (lo que da origen al número, a la objetos matemáticos. Si la matemática es una ciencia
aritmética) y la complejidad que procede del espacio que participa mucho más de lo que hasta ahora se
(lo que da lugar a la geometría, estudio de la pensaba del carácter de empírica, sobre todo en su
extensión). Más adelante el mismo espíritu invención, que es mucho más interesante que su
matemático se habría de enfrentar con: construcción formal, es necesario que la inmersión en
- la complejidad del símbolo (álgebra) ella se realice teniendo en cuenta mucho más
intensamente la experiencia y la manipulación de los
- la complejidad del cambio y de la causalidad objetos de los que surge. La formalización rigurosa de
determinística (cálculo) las experiencias iniciales corresponde a un estadio
- la complejidad proveniente de la incertidumbre en posterior. A cada fase de desarrollo mental, como a
la causalidad múltiple incontrolable (probabilidad, cada etapa histórica o a cada nivel científico, le
estadística) corresponde su propio rigor.
- complejidad de la estructura formal del Para entender esta interacción fecunda entre la
pensamiento (lógica matemática) ... realidad y la matemática es necesario acudir, por una
parte, a la propia historia de la matemática, que nos
La filosofía de la matemática actual ha dejado de desvela ese proceso de emergencia de nuestra
preocuparse tan insistentemente como en la primera matemática en el tiempo, y, por otra parte, a las
mitad del siglo sobre los problemas de aplicaciones de la matemática, que nos hacen patentes
fundamentación de la matemática, especialmente tras la fecundidad y potencia de esta ciencia. Con ello se
los resultados de Gödel a comienzos de los años 30, hace obvio cómo la matemática ha procedido de forma
para enfocar su atención en el carácter cuasi empírico muy semejante a las otras ciencias, por
de la actividad matemática (I. Lakatos), así como en aproximaciones sucesivas, por experimentos, por
los aspectos relativos a la historicidad e inmersión de tentativas, unas veces fructuosas, otras estériles, hasta
la matemática en la cultura de la sociedad en la que se que va alcanzando una forma más madura, aunque
origina (R. L. Wilder), considerando la matemática siempre perfectible. Nuestra enseñanza ideal debería
como un subsistema cultural con características en tratar de reflejar este carácter profundamente humano
gran parte comunes a otros sistemas semejantes. Tales de la matemática, ganando con ello en asequibilidad,
cambios en lo hondo del entender y del sentir mismo dinamismo, interés y atractivo.
de los matemáticos sobre su propio quehacer vienen
(Guzmán, Miguel De. (www.oei.es/edumat.htm)
23