Sie sind auf Seite 1von 52

LAS MATEMTICAS: LENGUAJE DE LA NATURALEZA O

CONSTRUCCIN MENTAL?

YEISON MERA CERON

UNIVERSIDAD DEL VALLE


FACULTAD DE HUMANIDADES
LICENCIATURA EN FILOSOFA
CALI
2012

LAS MATEMTICAS: LENGUAJE DE LA NATURALEZA O


CONSTRUCCIN MENTAL?

YEISON MERA CERON


TESIS TRABAJO DE GRADO
LUZ MARINA DUQUE

UNIVERSIDAD DEL VALLE


FACULTAD DE HUMANIDADES
LICENCIATURA EN FILOSOFA
CALI
2012

NDICE

PG

Introduccin..

1-7

CAPITULO 1
Las matemticas en el pensamiento humano......
1.1- El antiguo Egipto y Mesopotamia...........
1.1.1- La matemtica Egipcia...........
1.1.2- Las matemticas en Mesopotamia......................
1.2- La escuela Pitagrica...
1.2.1- El pentagrama.
1.3- Platonismo matemtico...
1.4- Aristteles
1.5- Origen de los objetos matemticos..
1.61.6- El realismo Platnico de Roger Penrose..

8
8
9
9
10
12
14
16
18
20

CAPITULO 2
La matematizacin de las ciencias..

23

CAPITULO 3
Filosofas del conocimiento matemtico
3.1- El Nominalismo...
3.2- El Conceptualismo y el intuicionismo.
3.3- El Realismo y la tesis Logstica..

26
26
29
30

CAPITULO 4
4El lenguaje de las matemticas
4.1- Nuestro otro lenguaje..
4.1.1- La representacin de las palabras...
4.1.2- La cantidad y su naturaleza
4.1.3- La funcin del lenguaje y los smbolos numricos
4.1.4- Lesiones cerebrales.
4.2- Las matemticas: Lenguaje de la Fsica?......................................................
4.3- Acerca de la mente humana, las matemticas y el universo...
4.4- El enigma de Wigner...

34
34
35
35
36
36
38
40
43

Conclusiones finales...

46

Bibliografa.

49

LAS MATEMTICAS: LENGUAJE DE LA NATURALEZA O


CONSTRUCCIN MENTAL?
Yeison Mera Ceron

INTRODUCCIN
Qu son las matemticas? Es una pregunta tan extensa que siempre corremos el riesgo
de quedarnos cortos en la respuesta, y si preguntamos por su utilidad, es decir, para
qu sirven las matemticas? corremos el riesgo de quedarnos estticos en un instante de
tiempo, como quien quisiera hacer un retrato final y total de la realidad de la naturaleza;
pero esta realidad se le escapa a cada segundo, con cada trazo, con cada pincelada, con
el golpe del viento que deshoja las ramas y crea una nueva realidad. Las matemticas
estn presentes en cada instante de la vida del hombre, desde el ms antiguo hasta el
ms contemporneo y futurista, tal vez permanezcan con l hasta que se extinga de su
mente la ltima luz de racionalidad.
Desde mi perspectiva filosfica y frente a los problemas de las matemticas es prudente
dejar abiertos un par de interrogantes muy precisos. El primero: las matemticas estn
implcitas en la naturaleza, en el mundo?, en esta medida el hombre descifra los
cdigos matemticos de la naturaleza y los transforma en cdigos comprensibles para
l? El segundo: El hombre crea las matemticas para transformar el mundo? Y en este
sentido La creacin de las matemticas se recuesta nicamente en la capacidad racional
del hombre, independientemente de su realidad? Un par de preguntas que nos recuerdan
un problema teolgico tan antiguo como la misma relacin de Dios y hombre, el
hombre crea a Dios o Dios crea al hombre? Traigo esta anotacin para visualizar el
nivel de complejidad a las que nos arrastra el torrente de los problemas matemticos
cuando lo vemos desde el lente de la filosofa. Posiblemente esta indagacin nos dejar
muchos otros interrogantes abiertos.
La importancia del tema y el por qu me atrae investigar esta cuestin (matemticas,
naturaleza) es el inters de acercarme un poco a las matemticas para saber cul es el
nivel epistemolgico que nos devela el cerebro humano y la misma naturaleza;
asimismo poder imaginar y comprender qu es lo que realmente el hombre comprende
del mundo fsico. Por consiguiente, la investigacin va dirigida a averiguar si la

naturaleza de las matemticas est implcita en el mundo y si nuestro cerebro est


condicionado para verla y descifrarla de alguna forma.
Para John Barrow existen cuatro maneras de adquirir el conocimiento de la naturaleza y
el conocimiento matemtico, en particular, por parte del ser humano. Esas maneras han
sido estudiadas desde cuatro visiones filosficas que proponen explicaciones acerca de
cmo adquirimos conocimiento del mundo natural. Comenzamos con: 1) Una posicin
empirista, que sostiene que conocemos los conceptos a travs de la experiencia. 2) La
posicin idealista, que sostiene la existencia de un mundo exterior a nuestras mentes, es
decir, que existe una realidad de las cosas por fuera de nuestra experiencia sensorial. 3)
La posicin operacionalista, la cual trata de definir el significado de las cosas, siguiendo
una operacin secuencial que se desarrolla paso tras paso, para con esto tener una
medida de las operaciones. 4) Finalmente, la tradicin Logicista que trata de codificar
todo nuestro conocimiento en un sistema de axiomas y reglas de inferencia. As,
entonces el conocimiento buscaba ser definido por un conjunto de hiptesis iniciales,
lgicamente consistentes.
(1) Comienzo diciendo que en el campo empirista surge el punto de vista del
invencionismo, el cual ve las matemticas como una invencin de la mente humana con
unos fines concretos, que pueden ser prcticos o estticos. Para los empiristas no
existiran ni conjuntos, ni tringulos, si no hubiera matemticos. Por lo tanto las
matemticas seran un invento del hombre, fueron construidas precisamente con un
propsito utilitario.
A pesar de esta posicin de los empiristas , se puede proponer un ejemplo como contra
argumento: el teorema de Pitgoras, descubierto antes que l, y vuelto a descubrir
despus por pensadores diferentes al mismo Pitgoras; esto demostrara que los
fundamentos de las matemticas se encuentran, como un lenguaje codificado que el
hombre puede descifrar con un anlisis de la naturaleza, no son propios de una sola
persona ya que, independientemente de los ambientes culturales, econmicos y
polticos, los descubrimientos de los teoremas se han dado.
(2) El punto de vista logicista es representado por el formalismo matemtico que surgi
a finales del siglo XIX. Los problemas que enfrentaron y que pusieron en entredicho su
confianza en su formalismo fueron las paradojas lgicas. Las paradojas lgicas

matemticas, estn las debidas o denominados conjuntos paradjicos. Un conjunto


paradjico es aquel que el admitir su existencia conduce a paradojas.
Paradoja de Cantor
Un ejemplo de un conjunto paradjico es el de la denominada paradoja de Cantor. En
1899, en una carta que envi Cantor a Dedekind, observaba que no poda hablarse del
conjunto de todos los conjuntos, ya que si fuese este conjunto entonces el
conjunto P() de todos los subconjuntos de sera un elemento de , es decir:
P() y tambin P() es un subconjunto de Entonces existe m tal que 2m
m, lo cual es una contradiccin (Snchez, 1985).
Otro ejemplo de esto fue El barbero afeita a todos los individuos que no se afeitan a s
mismo. Quin afeita al barbero?. Frente a este problema David Hilbert propuso
definir las matemticas como un mosaico de frmulas, que pueden crearse a partir de
cualquier conjunto de axiomas inciales, manipulando los smbolos implicados de
acuerdo con reglas especficas. Dado lo anterior, sera posible definir cualquier
enunciado matemtico como verdadero o falso, partiendo de un conjunto concreto de
hiptesis, de las que se sigue un camino de relaciones lgicas para llegar a un enunciado
final. Con esto Hilbert pretenda salvar el problema de las paradojas lgicas y de las
contradicciones en las matemticas.

Este conjunto de reglas, que no admiten

contradiccin, sera lo que constituiran las matemticas para Hilbert. l pensaba que
esta estrategia de impermeabilizar las matemticas con respecto a las paradojas lgicas
y contradicciones protegera, por definicin, a las matemticas de todas sus reas
problemticas y adems, de paso, demostrara la consistencia de las matemticas como
tales. Para mostrar su perspectiva acerca de las matemticas, la estrategia y metodologa
propuestas por Hilbert, las blindara con un escudo de la siguiente manera: empezara
con sistemas lgicos sencillos, como la aritmtica, sin la operacin de la sustraccin,
demostrando que esos sistemas son consistentes, mediante la tcnica de mostrar que,
necesariamente, contienen alguna proposicin que no puede ser demostrada. El ejemplo
era (0=1), l estaba utilizando el hecho de que si un sistema lgico contena un
enunciado falso (y por lo tanto era inconsistente), entonces era posible utilizar este
enunciado falso para demostrar la verdad de cualquier enunciado en este sistema.

En 1931 la empresa emprendida por Hilbert se vino abajo, a raz del trabajo de un joven
llamado Kurt Godel, quien demostr que el objetivo del primero era inalcanzable. Godel
sostena que la verdad de las matemticas estaba ms all de los axiomas y las reglas; es
decir, que para entender por completo las matemticas haba que salir de ellas. Segn
Godel cualquiera que sea el conjunto de axiomas de partida consistentes que uno escoja,
cualquiera que sea el conjunto de reglas que se adopte para manipular los signos
matemticos, siempre debe existir alguna proposicin que pueda ser enmarcada en el
lenguaje de dicho smbolo y cuya verdad o falsedad no pueda ser decidida utilizando
dichos axiomas y reglas. El programa de investigacin de Hilbert de encerrar las
matemticas dentro de un mundo de certeza, haba fracasado gracias a Godel. Este
mismo hombre llegara an ms lejos, al demostrar que no puede demostrarse la
autoconsistencia de ningn sistema lgico que contenga la aritmtica. Segn Quine El
famoso teorema de incompletitud de Gdel muestra que no hay ningn mtodo de
prueba formal con el que se pueda demostrar todas las verdades de las matemticas, y ni
siquiera de la teora elemental de los enteros positivos. Su prueba de este teorema, en s
misma estrictamente matemtica, produjo un brusco giro en la filosofa de la
matemtica, pues se haba supuesto que la verdad matemtica consista en la
demostrabilidad". La ambicin formalista de Hilbert era un imposible.
En la parte prctica, como es el campo de la inteligencia artificial, podra pensarse que
la mente humana no puede ser encerrada en un sistema formal; es decir, segn lo
demostrado por Godel en su sentencia sobre las matemticas, la mente humana no
podra reducirse al funcionamiento de un slo tipo de algoritmo.
A pesar del descubrimiento de sus puntos dbiles, la doctrina del formalismo fue
rescatada por un grupo de jvenes franceses que se usaron el pseudnimo de Nicols
Bourbaki. El proyecto del Grupo Bourbaki centr su inters en codificar la parte
decidible de las matemticas de una forma unificada; para ellos las matemticas eran el
producto del trabajo de los matemticos; en esta medida, las matemticas eran una
creacin humana y no una creacin divina. El nfasis se centr en la utilizacin de
logaritmos, geometra y clculo, el estudio de conjuntos, grupos y otras estructuras
matemticas abstractas, desconectando el mundo real de las matemticas.
Desde la visin platnica las matemticas trascienden el mundo fsico y se consideran
existentes antes de la creacin del mundo material, y perdurables tras su desaparicin.

Esto permitira a los platnicos crear un vnculo, o un paralelismo, entre las


matemticas y la filosofa teolgica; los neoplatnicos remplazan la palabra Dios por la
palabra Uno. Pero el platonismo enfrenta serias dificultades por caer en vaguedades. Se
les podra preguntar dnde est el otro mundo matemtico que descubrimos? Y cmo
se da ese contacto del hombre con ese mundo? Pareciera que el vnculo se dara
mediante un tipo de remembranza, que se hace posible con la gua de un maestro.
Es prudente destacar el papel de la intuicin como punto de partida en la visin
matemtica de los antiguos griegos, por ejemplo: para lograr desarrollar los nmeros
irracionales. Euclides, en el libro primero de los Elementos, ya deja ver una
continuacin de la lnea recta cuando la dibuja en la arena de la playa. Otro ejemplo
sera la observacin del amanecer y el atardecer, donde slo se observa un movimiento
semicircular, aunque no se observaba el resto del movimiento del Sol, los antiguos
griegos intuan que se presentaba un movimiento circular, y que la Tierra estaba en el
centro de ese movimiento.
Una respuesta a la incertidumbre de las paradojas lgicas que afectaron al Formalismo,
fue el Constructivismo. Uno de sus creadores y representante fue Leopold Kronecker,
quien sostena que Dios cre los nmeros enteros, y lo dems era obra del hombre. Esta
era una visin conservadora que trataba de mediar entre dos posturas diferentes, donde
se aceptaran nociones matemticas sencillas como punto de partida y luego se
derivaran de estas nociones procesos ms complejos. De esta manera los
Constructivistas recargan las matemticas hacia una experiencia concreta, evitando
encontrarse o manipular entidades abstractas como conjuntos infinitos. Las matemticas
son vistas, entonces, como una coleccin de proposiciones que pueden construirse en un
nmero finito de pasos a partir de los nmeros naturales. Esta posicin trae como
consecuencia una nueva categora de proposicin matemtica que adems de ser
verdaderas o falsas, tambin puede ser indecidibles. El termino indecidible est
enmarcado en una proposicin cuya verdad no puede ser decidida en un nmero finito
de pasos. Frente a esta postura tan radical y sistemtica, los matemticos no
constructivistas se preguntan Por qu deberamos empezar con los nmeros naturales?
Por qu hay algunas construcciones ms tiles y aplicables al mundo real que otras?
Con su capacidad de reflexionar sobre los problemas de la naturaleza, el ser humano ha
encontrado en ella un lenguaje descifrable, cuya herramienta de interpretacin son las

matemticas. Sea el nmero, la forma, el modo de ordenar, el movimiento y el azar las


fuentes distintas de obtener problemas matemticos, este lenguaje siempre buscar una
posibilidad de escape en callejones sin salida. Los problemas constituyen el motor de
las matemticas y el hombre con su capacidad intelectual siempre podr encontrar esos
problemas y en esta medida, las matemticas siempre estarn con l.
John Barrow y Mario Livio formulan varios interrogantes frente a las matemticas: las
matemticas son un lenguaje universal? Los conceptos matemticos existen o son
descubiertos? Existiran las matemticas si no hubiera matemticos? Las matemticas
son una invencin de la mente humana o se encuentran implcitas en la naturaleza? El
mundo es matemtico? Otro interrogante es debe drsele un significado a las
matemticas o deben mantenerse sin significado? Vimos que para Hilbert slo debemos
considerar el formalismo matemtico, sin ofrecer significados.
Con el descubrimiento de Gdel de acuerdo con el cual no hay mtodo formal con el
cual se pueda probar los sistemas formales matemticos o demostrar su autoconsistencia
lgica, el programa formalista de Hilbert qued en entredicho. Qu sugiere esto? El
sistema de las matemticas no es una invencin humana, ya que si fuera as, se podra
construir sin inconsistencias como lo quera hacer Hilbert, pero no ocurri de esa forma.
Por qu? Gdel nos sita en el realismo platnico, en el cual el matemtico va
progresivamente descubriendo objetos matemticos con los cuales trabaja, pero esa
trama matemtica no se ha dejado formalizar completamente, ni se ha podido demostrar
su verdad matemtica bajo las pautas que quisieron matemticos como Hilbert y
Russell.
Con respecto a los propsitos del trabajo, lo que puede arrojar el estudio de los
problemas arriba enunciados son: tras una investigacin terica e histrica de hechos
matemticos, tratar de concluir si las matemticas son un lenguaje codificado e
inventado por nosotros los seres humanos que, extraamente, se ajustan a la resolucin
de problemas de la realidad. Pero tambin puede resultar que los teoremas, leyes e
hiptesis de las matemticas subyazcan de alguna manera en la naturaleza y que a pesar
de las condiciones empricas, polticas o sociales, estas se revelan ante nosotros por
medio de genios matemticos o de mtodos de estudios apropiados. Cualquiera de los
resultados anteriormente mencionados nos podra dar una luz que nos gue en la forma
como aprendemos de la naturaleza y los lmites que nuestro intelecto tiene. Sera

reconfortante que las matemticas fueran un lenguaje de la naturaleza y que a travs de


nuestro entendimiento las pensemos como entidades abstractas, es decir, en forma de
nmeros o smbolos que nos permiten representar relaciones a travs de funciones. Tal
vez seamos los nicos seres que tengamos una creacin tan formal como son las
matemticas, que nos ayudan a entender los acontecimientos del mundo natural.

1.- LAS MATEMATICAS EN EL PENSAMIENTO HUMANO


He escogido como hilo conductor de primera mano la historia. Estudiaremos
puntualmente Egipto, Mesopotamia, Pitgoras, Platn y Aristteles, en su relacin con
el desarrollo matemtico, a razn de que son las primeras fuentes asequibles y de las
que tenemos conocimiento datado en libros. Todos ellos fueron precursores del trabajo
matemtico, sin menospreciar trabajos de otras culturas en esas reas. Se escogieron
estas culturas y pensadores por la relacin que hay con la filosofa y las matemticas
mismas expuestas en sus diferentes trabajos.
1.1.- El antiguo Egipto y Mesopotamia
La historia de la actividad productiva del hombre, del pensamiento y del lenguaje
comenzara con la aparicin del homo sapiens alrededor del ao 50.000 a.n.e. Con el
homo sapiens comenzar a dibujarse el hombre moderno, desde un punto de vista
biolgico. Es decir, que desde este momento, ese homnido se separ de los otros
homnidos y seres que lo circundaban ya que comenz a formarse una conducta, una
forma de vivir y luego una conciencia ms compleja que la de los otros seres que
habitan la Tierra.
En una primera etapa de formacin de pensamiento matemtico, se considera que el
concepto de nmero fue el resultado del reconocimiento de distinguir cosas o conceptos
como mucho y poco, cantidad grande y cantidad pequea y la diferenciacin intelectual
de lo uno y lo mltiple.
En el siglo VI a.n.e comenzara un determinante cambio en la manera de la relacin del
hombre con la naturaleza y en su relacin social. Este cambio ser producido por la
aparicin de la agricultura y la cra de ganado. Con la aparicin de la produccin agraria
fue necesario establecer una orientacin en el tiempo y el espacio. Ejemplos de esto
fueron fechas para labores agrcolas, prediccin de acontecimientos como las
inundaciones del Nilo, determinacin de las dimensiones de los campos, realizacin de
clculos para la construccin de campos de riego, etc. Todo esto motiv a los hombres
de aqulla poca a desarrollar y lograr dominar las operaciones bsicas de la aritmtica,
as como a consideraciones de tipo geomtrico y a la necesidad de desarrollar
ampliamente la cronologa y el calendario.
1.1.1.- La matemtica egipcia

Los conocimientos matemticos que hoy conocemos sobre los egipcios provienen de
cinco papiros que abordan cuestiones matemticas, de los cuales dos son los ms
importantes, que son el papiro Rhind y el papiro de Mosc (que toma su nombre del
lugar donde actualmente se conserva). Estos dos documentos datan aproximadamente
del siglo XVIII a.n.e. En el Rhind se encuentran 87 problemas matemticos con
cuestiones aritmticas bsicas, fracciones, clculo de reas, volmenes, progresiones,
repartos proporcionales, reglas de tres, ecuaciones lineales y trigonometra bsica; en
resumen, el trabajo y desarrollo matemtico del momento. El papiro de Mosc consta de
25 problemas de los cuales los dos ms importantes son los relativos al clculo del
volumen de una pirmide truncada (problema 14), y el rea de una superficie parecida a
un cesto (problema 10).
El paso de la sociedad primitiva a la sociedad de clases tuvo lugar en el Valle del Nilo a
comienzos del tercer milenio a.n.e., concluyendo aproximadamente hacia el ao 2800.
En esos tiempos las matemticas se usaban para resolver problemas de situaciones
cotidianas. Un ejemplo de esto era la paga de los trabajadores, que se haca con la
reparticin de panes. Los egipcios encontraran en los fraccionarios la manera efectiva y
precisa para repartir las piezas de pan en iguales porciones.
Los egipcios construyeron los primeros calendarios solares de 360 das laborales y 5
das festivos; adems, desarrollaron la astronoma como un requerimiento para poder
saber cundo se producira la siguiente creciente del Ro Nilo (cuando apareca en el
cielo Sirio, la estrella ms brillante de la constelacin del Can Mayor.
1.1.2.- Las matemticas en Mesopotamia
El pueblo sumerio fue el que ciment las bases del alto nivel que llegaran a alcanzar las
matemticas en Mesopotamia. Los textos matemticos que poseemos proceden de una
de las ciudades sumerias llamada, Uruk. La matemtica mesopotmica se hallaba en un
nivel altamente superior a la de los egipcios. Mesopotamia posea un extendido sistema
de regado artificial; en consecuencia, un alto porcentaje de sus textos matemticos
estn dedicados a los problemas relativos a obras hidrulicas, como la construccin de
canales y diques, la medicin de campos, etc. En sus tcnicas de clculo se puede
observar un modo de proceder genuinamente algebraico. Un rasgo destacado de la
matemtica babilnica fue el desarrollo de un sistema numrico en base 60. Se
utilizaban dos signos, una cua y un gancho; la cua se utilizaba para la unidad, el

gancho para los mltiplos de 10. El hecho de usar su matemtica en base 60, se debe a
que ellos en vez de contar con los dedos de las manos hallaron una forma ms intrigante
y genial, usando los doce nudillos de una mano y los cinco dedos de la otra para contar.
Entonces 12 x 5 da 60. Pero lo ms interesante del nmero 60 es que puede dividirse
exactamente en muchas formas. Por ejemplo, 60 equivale a 10 veces 6, o a 6 veces 10;
60 dividido 3 da como resultado 20, o 60 dividido 20 da como resultado 3, y as en
muchos otros casos en los que se puede operar con los mltiplos de 60.
Para poder operar con nmeros grandes los babilonios necesitaran inventar un nuevo
smbolo, el cero (0), y ese smbolo impulsara un gran avance en las matemticas. En
los tiempos antiguos, para marcar un lugar vaco en sus tablillas en medio de un
nmero, los babilonios simplemente dejaban un espacio en blanco; necesitaban una
forma de representar la nada, as que usaron un signo de respiracin como un signo de
puntuacin que llego a significar el cero. Se cree que este es la primera aparicin del
cero en el mundo matemtico como un signo, no como concepcin de nmero. Pero
deberan pasar ms de mil aos para que este signo de posicin tuviera el derecho de ser
considerado un nmero, porque no es lo mismo un lugar vaco, o la nada, que el nmero
0. El 0 slo representa la nada, o el lugar vaco, cuando est a la izquierda.
1.2.- La Escuela Pitagrica
Se dice que el lema de la escuela pitagrica era todo es nmero; esto guarda relacin
con los babilonios pues ellos asociaban ya medidas numricas a las cosas que los
rodeaban, desde los movimientos de los cielos al valor de sus esclavos. De ah que en el
lema pitagrico haya una fuerte influencia mesopotmica; se dice que Pitgoras estuvo
en Egipto y Mesopotamia adquiriendo conocimientos en filosofa y matemticas. Segn
Carl B. Boyer1, el teorema que nosotros en la actualidad asociamos con el nombre de
Pitgoras procede de los babilonios, con toda probabilidad. Tambin se dice que los
egipcios utilizaron el concepto de tringulo rectngulo asociado al Teorema de
Pitgoras, en la construccin de sus pirmides (antes de Pitgoras). Ahora, es sabido
que los pitagricos tal vez fueron los primeros en dar una demostracin, pero no es
comprobable con toda certeza por la falta de documentos que certifiquen el hecho, pues

BOYER, Historia de las matemticas

muchos de los documentos de la escuela pitagrica eran secretos, debido al carcter


inicitico de esa escuela.
Para los pitagricos los nmeros no son el resultado de un proceso de abstraccin
llevado a cabo por el hombre a partir de una realidad objetiva, sino ms bien entes
objetivos en s mismos, dotados de cualidades como el amor y el odio, lo masculino y lo
femenino. El nmero es, para los pitagricos, el principio inteligible a travs del cual el
cosmos divino gobernado por el espritu manifestaba al hombre su armona interna.
Cuando ellos manifestaban que todos los objetos estaban compuestos de nmeros, que
los nmeros eran la esencia del universo, o que el nmero era el principio elemental
(como para filsofos presocrticos eran el agua, el aire, el fuego), lo entendan en un
sentido literal. Aristteles remarca que para los pitagricos los nmeros eran como los
componentes ltimos de los objetos materiales del mundo real, segn lo cual todas las
cosas estaran, en un sentido estricto compuestas realmente de nmeros.
Los pitagricos denominaron dcada a los diez primeros nmeros, en consideracin a
sus propiedades msticas, cabalsticas y virtudes mgicas.
Los atributos del nmero (1) son: mnada (unidad), generador de todos. Demiurgo.
Nmero de la razn.
El (2) Dada (diversidad, opinin, dualidad). Principio femenino.
El (3) (Trada armona= unidad+diversidad, 1+2=3). Principio masculino.
El (4) Ley universal e inexorable. Smbolo de la justicia y de la sensacin.
El (5) Smbolo del matrimonio 2+3=5, del tringulo divino y del pentalfa.
EL (6) Smbolo de la procreacin ({2+3}+1=6). Primer nmero perfecto.
El (7) Smbolo de la virginidad, de la voz, de la luz y del arco iris.
El (8) Smbolo de la amistad, de la plenitud y de la reflexin.
El (9) Smbolo del amor y de la gestacin.
El (10) Tetractys, smbolo de Dios y del universo, emblema supremo, suma de las
dimensiones geomtricas, fundamento de todo. Anagrama mstico del juramento
pitagrico. Depositario de la escala musical.

1.2.1. El pentagrama
Los pitagricos de los primeros tiempos conocan ya el cubo, el tetraedro y el
dodecaedro, y posiblemente tambin los otros dos poliedros regulares, octaedro e
icosaedro. El conocimiento del dodecaedro resulta asombroso porque quiz tenga algo
que ver con lo visto por ellos en la pirita, abundante en Italia, que se cristaliza como
dodecaedro. Pues, de hecho, el emblema de la orden pitagrica, el pentagrama, alude
tambin al dodecaedro, pues las doce caras de este poliedro son pentgonos regulares.
Del pentgono, llamado pitagrico, se descubrieron dos cosas importantes para la
matemtica en general: la seccin aurea y la existencia de segmentos mutuamente no
comparables. Seccin area, nombre utilizado milenios ms tarde en la poca de
Kepler, se explica de la siguiente manera: observemos un pentgono A, B, C, D, E, y
tracemos las cinco diagonales; estas se cortaran en los puntos primos A, B, C, D, E,
que forman otro pentgono regular. Como vemos uno de estos puntos divide a una
diagonal en dos segmentos distintos, tales que la razn de la diagonal completa al
mayor de los dos segmentos es la misma que la de este al segmento menor.

El otro descubrimiento, como ya lo mencionamos, fue la existencia de segmentos


mutuamente no comparables (inconmensurables). Se llev a cabo en el interior de la
escuela pitagrica, posiblemente no ms tarde del ao 420 a.n.e. Los segmentos no son
medibles, o inconmensurables, cuando la longitud de cada uno de los segmentos no es a

la vez mltiplo entero de la de un tercer segmento cualquiera que se elija como unidad,
la idea moderna de los nmeros irracionales; esto se ve en oposicin a la idea de una
arithmetica universalis. El desconcertante descubrimiento de los irracionales se le
atribuye al pitagrico Hipaso de Metaponto; recientes investigaciones relacionan el
descubrimiento con el pentgono, segn lo dice H. Wussing en Lecciones de Historia
de las Matemticas.
Tanto el llamado teorema de Pitgoras, como el pentgono mstico, fueron dos caballos
de Troya para la geometra griega, ya que llevaban en su interior el germen de la
profunda crisis de su secta. Bsicamente era un descubrimiento que los pitagricos no
queran que supieran los hombres del exterior, pues de salir este secreto, demolera la fe
que tenan en los nmeros enteros. El ejemplo es el siguiente; el cuadrado cuyo lado es
la unidad, una de las figuras geomtricas ms simples, tiene un segmento, una diagonal,
que no es conmensurable con el lado, no hay un submltiplo de ambos que pueda
tomarse como unidad para medirlos. La creencia de que los nmeros podan medirlo
todo, era una ilusin. De esta forma, la imposibilidad de hallar con exactitud ciertas
medidas se manifest en otras situaciones, ya que los inconmensurables aparecan en
otros muchos campos de la geometra (en la relacin entre lado y altura del tringulo
equiltero o entre la diagonal y el lado en el pentgono regular, emblemtico para los
pitagricos). Es evidente que la aparicin de magnitudes inconmensurables invalidaba
la prueba geomtrica exhibida por los pitagricos y en las que haba que comparar
razones de magnitudes geomtricas. Se entendera que este descubrimiento produjera un
escndalo en todo el mbito pitagrico, ya que exiga una revisin a fondo de los
fundamentos de su matemtica y filosofa.
El teorema que hoy llamamos y conocemos como Teorema de Pitgoras
probablemente deba su nombre a la adquisicin de la cultura griega por parte de los
romanos y la posterior llegada de los romanos a occidente, quienes le dieron el estatus y
propiedad a este antiguo griego. Pero investigaciones histricas han encontrado que este
teorema existi mucho antes que el mencionado matemtico y filsofo, pues los chinos
3000 aos a.n.e dieron una posible demostracin a este teorema.
En la actualidad existen 367 demostraciones distintas del Teorema de Pitgoras; el
punto no es responder quien lo hizo primero o cuando apareci por primera vez en la
historia, sino ms bien preguntarnos por qu en distintos momentos de la historia,

mentes y culturas diversas se han encontrado con este teorema y lo han solucionado de
forma que sus conocimientos matemticos les proporcionaron una respuesta adecuada.
Lo que trato de dilucidar respecto al problema central de mi indagacin, es que,
apoyado sobre datos histricos del pensamiento matemtico, no es claro para m ni para
muchos, si son descubrimientos matemticos o si estn subyacentes en la naturaleza de
alguna manera. Considero que nuestras mentes, las de todos, tienen algo de comn con
el pensamiento matemtico, que no importa el tiempo, cultura, filosofa, religin que de
alguna forma iremos a encontrar en la naturaleza de nuestro existir un teorema como el
llamado Teorema de Pitgoras y que lo demostraremos de diversas formas con
mltiples herramientas de las cuales el desarrollo de la cultura humana disponga en ese
momento.
1.3.- Platonismo matemtico
El razonamiento matemtico de Platn no est desligado de su teora del mundo de las
ideas, su fundamentacin en las matemticas se basa en esto: para Platn el mundo en
que habitamos, que es conocido por los sentidos, es una copia imperfecta, pues las ideas
perfectas estaran alojadas en ese otro mundo conocido como Topus uranus, del cual
provienen el alma, el universo de cosas que percibimos con nuestros sentidos y las
formas geomtricas. Por lo tanto, conocer las matemticas es hacer reminiscencia de
ideas ya existentes en el otro mundo de las formas puras, como tringulos, nmeros,
smbolos, etc. En esa medida las matemticas sirven para conocer el mundo fsico
porque ste es una copia de las ideas o formas puras. Un ejemplo de esto, es decir que el
concepto de crculo en geometra se define como una figura plana donde todos sus
puntos son equidistantes del centro. Pero la figura nadie la ha visto en realidad; es decir,
existe el concepto, pero no es posible verla en la realidad fsica de los objetos mismos.
Lo que vemos comnmente son figuras como llantas, balones, platos, etc., objetos
llamados circulares y que son aproximaciones al concepto de crculo definido en
geometra, pero de ninguna manera son el crculo geomtrico. De ah que Platn infiera
que la forma de crculo, ha de existir no en el mundo fsico, sino en el mundo de las
formas.
En el dilogo La Repblica, donde Platn propone la utopa de una sociedad
perfectamente organizada, que debe ser gobernada por filsofos, Platn explica el papel
de las matemticas en el camino para alcanzar el verdadero conocimiento. La educacin

es fundamental en esta propuesta de sociedad, especialmente la que debern recibir los


guardianes y futuros gobernantes de la sociedad. Siendo jvenes ejercitarn su cuerpo
con la gimnasia, atemperando el uso de la fuerza fsica bruta con el aprendizaje de la
msica. Despus aprendern matemticas y finalmente, cuando su fuerza haya
disminuido y no sean los ms aptos para cumplir la funcin de guardianes, podrn
dedicarse a la filosofa. Los filsofos son aquellos que aman todas las ciencias por igual
porque el estudio de ellas podr conducirlos a la contemplacin de la esencia inmutable,
el estudio de las matemticas los ha preparado para captar esa esencia inmutable, los
filsofos gustan de contemplar la verdad; moralmente poseern las virtudes de la
prudencia y de la templanza.
Al final del libro VI de La Repblica, Platn explica las diferencias entre el mundo
visible y el mundo inteligible y los caminos para alcanzar el conocimiento. Utilizando
como referencia un segmento, Scrates divide el mundo del conocimiento en mundo
visible y mundo inteligible. Al segmento que corresponde a lo visible, le asigna la
opinin. Subdivide este segmento en dos partes, una corresponde a las imgenes de los
objetos sensibles y la otra, a los objetos sensibles. Tambin subdivide la parte del
segmento correspondiente a lo inteligible. En una de esas partes sita las
representaciones de los objetos del mundo sensible, cuyo mtodo de anlisis no recurre
al principio de las cosas, sino a su conclusin; es decir, al mtodo que parte de hiptesis,
o verdades evidentes, y mediante una cadena de deducciones llega a una conclusin. Es
decir, el mtodo de trabajo de gemetras y aritmticos. La otra subdivisin de lo
inteligible corresponde a las cosas que el alma capta inmediatamente por va de
razonamiento, haciendo algunas hiptesis, que le sirven para elevarse hasta un primer
principio, independiente de toda hiptesis.
A continuacin, Scrates explica que a pesar de que gemetras y aritmticos se sirven
de figuras visibles para realizar sus razonamientos, no es precisamente en esas figuras
visibles en las que piensan; las figuras trazadas por los gemetras solamente son
imgenes que les sirven para conocer las verdaderas figuras, que slo pueden ser
conocidas por el pensamiento. En otras palabras, el estudio de las matemticas, en la
medida en que se refiere a objetos que estn ms all del mundo visible, conduce al
verdadero conocimiento de las esencias de las cosas; es como un entrenamiento para
avanzar ms all de lo inmediato sensible. Se entiende ahora la razn de la inscripcin a
la entrada de la Academia Que no entre aqu quien no sepa geometra.

El conocimiento matemtico, as como las figuras de la geometra, son un tesoro


guardado en el alma de todos los hombres, que puede salir a la luz con la gua de un
maestro, como Scrates, quien logr que un esclavo hiciera una demostracin
geomtrica en el dilogo Menn.
Las ideas de Platn dieron origen a lo que se conoce actualmente como platonismo en
matemticas. Fundamentalmente se entiende desde el punto de vista ontolgico, es
decir, se acepta la existencia de los objetos matemticos, independientemente de la
experiencia; la labor de los matemticos consistir en descubrir esos objetos y sus
propiedades.
1.4. Aristteles
Los puntos importantes a entender en la concepcin de Aristteles en su libro la
Metafsica, libro decimotercero, bsicamente son: 1) Qu se entiende en la metafsica
aristotlica, por objetos matemticos? 2) Qu significa concebir los objetos
matemticos como sustancia inteligible?
Primer punto a explicar: Aristteles define la Matemtica como los objetos de las
ciencias matemticas, o de las demostraciones y proposiciones matemticas. Las
ciencias matemticas no se restringen a la aritmtica o la geometra, sino que incluye a
la astronoma, la ptica y la armona, no se debe excluir a una especie de matemtica
general, es decir, un grupo de proposiciones comunes a las diferentes disciplinas
matemticas particulares; ejemplo de estas proposiciones son: si de cantidades iguales
se sustraen cantidades iguales, los restos son iguales. Por lo tanto se debe entender por
matemtica: nmeros, figuras, fenmenos celestes, pticos y acsticos, cantidades y
relaciones matemticas generales.
Con relacin a nmeros y figuras, debemos tomar nota que no todos los nmeros y no
todas las figuras de que se habla en la Metafsica, son objetos matemticos. Aristteles
habla de nmeros y figuras que, por definicin, no permiten que se opere con ellos y
que, por consiguiente, no forman parte de la ciencia matemtica numrica como la
conocemos, pero esto es otro punto a ver que no ser considerado aqu.
Segundo punto a entender: qu significa concebir los objetos de las ciencias
matemticas como sustancia inteligible o sustancias inteligibles? Para Aristteles
los objetos de las ciencias matemticas son cosas que se caracterizan, o que para l son

de modo de ser que l llama ousa, sustancia, y las del determinado tipo de sustancia
que l indica como no sensible, inteligible. Todo lo que es ousa en el sentido pleno,
es algo que es por s, independiente, en s determinado; en consecuencia, algo
intrnsecamente unitario, y por lo tanto, no un mero agregado de elementos.
La sustancia no sensible, es decir, la sustancia que no pertenece ni al mundo sensible
y corruptible que nos rodea, ni a los cielos sensibles pero eternos, posee todas las
caractersticas anteriormente nombradas. La sustancia inteligible es separada no slo en
general, sino que es separada de los entes sensibles, independiente de las cosas sensibles
y es ontolgicamente anterior. La sustancia inteligible es en acto del modo ms puro, en
cuanto no posee aspecto potencial alguno. Y dado que el tiempo y el movimiento
presuponen potencialidad, la sustancia inteligible es inmvil y eterna. Aristteles
explica y combate la teora de las sustancias matemticas inteligibles como una teora
segn la cual los objetos de la matemtica, de la aritmtica, de la geometra, de la
astronoma, de la ptica y de la armona son inmviles, eternos, intrnsecamente
unitarios, independientes del mundo sensible.
En la investigacin acerca de la ousa Aristteles concluye que es imposible que los
objetos matemticos sean sustancias inteligibles. Por qu Aristteles dice esto? l
encuentra una serie de argumentos, a veces no muy claros, que demuestran que la
admisin de sustancias matemticas inteligibles conduce a grandes absurdos. Si se
admiten sustancias inteligibles, incluso de la misma especie, en consecuencia no se
entendera cules de esas son objeto de las ciencias matemticas; adems, para ciencias
como la astronoma, la ptica y la armona, que estudian matemticamente objetos
sensibles, debera postularse como objeto una sustancia que fuese al mismo tiempo, y de
manera contradictoria sensible y no-sensible. Cmo sera posible que los nmeros, que
son grupos de unidades, o las figuras geomtricas, que pueden ser descompuestas en
otras figuras, constituyan una unidad intrnseca? Si los objetos matemticos deben estar
separados del mundo sensible, no se podran explicar las propiedades matemticas de
ste. Las cosas sensibles no estn subordinadas ontolgicamente a los objetos
matemticos, sino al revs, stos son inferiores a las cosas sensibles por naturaleza y
perfeccin.
En Aristteles encontramos un pensamiento sobre una realidad matemtica, donde estos
seres no son afectados por el movimiento como antes lo mencion, pero lo importante

es que a diferencia de Platn estos seres u objetos matemticos no pueden existir


separados del mundo sensible. Dice Aristteles2:
Lo que precede basta para probar que los seres matemticos son menos
sustancia que los cuerpos; que no son anteriores, en razn al ser mismo, a las
cosas sensibles; que slo tienen una anterioridad lgica; y, finalmente, que no
pueden tener en ningn lugar una existencia separada. Y, como por otra parte,
no pueden existir en los mismos objetos sensibles, es evidente que no existen
absolutamente, o bien que tienen un modelo particular de existencia, y por
consiguiente que no tienen una existencia absoluta.
1.5.- Origen de los objetos matemticos
Es de saber comn que en la enseanza de las matemticas impartida por los profesores
a sus alumnos no se les indica, ni se indaga con ellos, acerca de la ontologa de los
objetos matemticos, ya que lo que se ensea va dirigido a que logren una aplicabilidad,
a que aprendan a resolver problemas; de ah que el problema de la ontologa de los
objetos matemticos queda restringido a un nivel superior como el universitario. El
mundo matemtico que consta de nmeros, funciones, lneas, etc., es un mundo de
nociones que no se reconocen en el plano de lo fsico; esas mismas nociones
matemticas no tienen las propiedades fsicas de los objetos sensibles, tales como color,
sabor, olor, peso; por ende estas entidades se ven y se entienden con la ayuda de la
razn en un plano diferente que el fsico.
La visin de Platn acerca de los objetos matemticos es que ellos conforman un
universo existente independiente de nosotros. Es decir, los objetos matemticos no
necesitan de humanos para existir, tampoco tienen materialidad. Luis Cornelio Recalde 3
en su interpretacin de los objetos matemticos en relacin al realismo de Platn, dice
que los matemticos son exploradores en busca de territorios poblados de puntos, rectas,
espacios topolgicos, etc. De acuerdo con esto, los teoremas no son invenciones de
nadie sino resultados que estn en ese continente a la espera de ser descubiertos.
Entonces, no hay nada por inventar en las matemticas? Hago esta pregunta
considerando la idea de que todos los objetos matemticos se encuentran en ese mundo,

ARISTTELES, Metafsica, Libro 13, II.

RECALDE Luis Cornelio, La ontologa de los objetos matemticos.

y que la tarea consiste, simplemente, en llegar a ese mundo y poder sacarlos por medio
de nuestro entendimiento y codificarlo.
Una perspectiva un poco diferente ya que en algunos aspectos van a concordar al
realismo platnico es la de Aristteles; en Metafsica, libro decimotercero, establece una
ontologa sobre la matemtica, abordando el problema de la naturaleza de los seres
matemticos y el tipo de existencia que poseen. Para Aristteles el hombre construye lo
matemtico mediante la aphairesis, que es la operacin mental de abstraccin y
generalizacin. Cmo se dara esto? La aphairesis es un producto de la contemplacin
de las cosas. Es una operacin que entraa el doble movimiento de omisin y fijacin.
El matemtico es ayudado por la razn, la cual desecha las propiedades sensoriales
como sabor, color, dureza y otros de este tipo, y se queda con aspectos que tienen que
ver con la cantidad y la forma. Segn el estagirita, los seres matemticos son seres
accidentales e inmviles. Accidentales, porque son verdaderos parsitos que se nutren
de objetos fsicos. Inmviles, porque son seres atemporales, regidos por los principios
de identidad y no contradiccin. El principio de no contradiccin abarca la cuestin
atemporal: Es imposible que lo mismo se d y no se d en lo mismo a la vez y en el
mismo sentido, dice Aristteles en la Metafsica.
En el libro Matire pense, popular en Francia, el neurobilogo Jean-Pierre Changeux
y el matemtico Alain Connes analizan cul es la ontologa preferida por los
matemticos. Connes fue el matemtico ms joven en obtener la medalla Field
(denominado el Nobel Matemtico). Connes es partidario de la idea platnica, es decir,
acepta que el mundo matemtico existe independientemente de nuestras percepciones y
no est localizado ni en el tiempo ni en el espacio. Los autores argumentan que, desde el
punto de vista biolgico, nuestra percepcin de la realidad ha evolucionado a tal grado
que nos ha permitido entrar en esa realidad matemtica, que se caracteriza por ser algo
no visual, ni auditivo, sino de otra naturaleza; es decir, aparentemente contraria a
nuestros sentidos, que nos permiten conocer el mundo exterior. Concluyen que, en un
caso hipottico de destruccin natural de las cosas, lo nico que seguira existiendo
seran las matemticas.
1.6. El realismo platnico de Roger Penrose
En el anlisis que sugiere Penrose del mundo matemtico de Platn, en su libro El
camino a la realidad, l sugiere que evaluemos su importancia, pues nos dice que

debemos distinguir las entidades matemticas precisas de las aproximaciones que


vemos a nuestro alrededor en el mundo de los objetos fsicos. Segn Penrose esta
manera de ver el mundo, nos ha proporcionado el esquema con el cual ha procedido la
ciencia, es decir, los cientficos proponen modelos del mundo o de ciertos aspectos del
mundo, con lo cual estos modelos son puestos a prueba mediante observaciones y
experimentos cuidadosamente diseados. Estos modelos son bsicamente modelos
matemticos puramente abstractos, a razn de la consistencia interna del modelo ya que
se requiere que sus proposiciones sean verdaderas y se tenga la prueba de ello porque
este modelo matemtico es el que ofrece rigurosidad. Penrose le da importancia al
realismo platnico porque los objetos matemticos tienen realidad objetiva en s misma;
es decir, en esta realidad las matemticas estn direccionadas hacia unas verdades
objetivas. Por el contrario nuestras mentes individuales son imprecisas, poco confiables
e inconsistentes en sus juicios. Estos aspectos como fiabilidad, precisin y consistencia
son los que se requieren en una teora cientfica, que solo se nos puede dar si existen en
el realismo matemtico de Platn. Si tomamos esto, podemos decir que en mundo
matemtico de Platn encontramos una solidez mucho mayor que la localizada en
nuestras mentes individuales.
De acuerdo con el autor que venimos comentando, la explicacin de la existencia real
del mundo platnico es de esta forma. Penrose entiende por (existencia) la objetividad
de la realidad matemtica. La existencia platnica se refiere a la existencia de un canon
externo objetivo que no depende de nuestras mentes, opiniones individuales ni de
nuestra cultura concreta. Dice Penrose que los enunciados matemticos que pueden
pertenecer al mundo de Platn son precisamente aquellos que son objetivamente
verdaderos. Para el autor la objetividad matemtica es lo importante en el platonismo
matemtico. Afirmar que un enunciado matemtico tiene existencia platnica es decir
que es verdadero en un sentido objetivo. Esto es lo que debemos pensar cuando
analicemos el realismo platnico y no verlo como una actividad mstica o acientfica.
Haciendo un balance de lo expuesto en este captulo, escog las dos perspectivas
clsicas de ontologa de las matemticas como fueron el realismo de Platn y el
constructivismo

de

Aristteles,

porque

me

parece

que

ambos

comparten

caracterizaciones de los objetos matemticos como accidentales, inmviles y


atemporales, regidos por los principios de identidad, no contradiccin y del tercero
excluso. Las diferencias entre los dos estaban en su punto de vista respecto a dos

problemas. El primero, es la respuesta a la pregunta cmo se llegaba a los objetos


matemticos?, un problema epistemolgico; el segundo, su procedencia, es decir su
ontologa.
No deberamos pensar ms bien que tanto el problema epistmico como el ontolgico
en las matemticas, al parecer no tienen solucin, ya que ni la misma matemtica pudo
resolver su ontologa y desde afuera tampoco se resolvi? Si la salida es pensar que la
matemticas hace parte de una construccin de una estructura llmese imaginaria, irreal
de la cual se obtienen paradojas, contradicciones, pero que son parte de ese juego
llamado matemticas, que no es que tengan una existencia propia independiente de
nosotros, sino ms bien que son como virus informticos que se alimentan de otros y se
fortalecen pero a costa del mismo juego y entorno, que son las redes de software. Es
decir, las matemticas nos brindan una ilusin de objetos vivientes en un mundo con
objetividad pero slo son de esa manera gracias a nosotros y a la complejidad de
nuestras creaciones. Por qu digo que no se podra responder a la parte ontolgica y
epistemolgica de las matemticas? Porque tendra que venir otro ser y decirnos, s
seores, las matemticas son de esa forma como la piensan ustedes, o no es de esa
forma ya que hay una imposibilidad de acceder al objeto en s, al conocimiento real de
la cosa, como dira Kant solo llegamos a conocer el fenmeno de la cosa, lo que
podemos experimentar por la estructuras de la sensibilidad y las categoras del
entendimiento, esa es la realidad tal y como la experimentamos. El nomeno es la
realidad tal y como puede ser en s misma, independientemente de nuestra experiencia.
Esta idea kantiana nos permite hacer una analoga y responder a la pregunta acerca de la
ontologa de los objetos matemticos y acerca del valor epistmico de las matemticas.
Mi opinin es que esto recaera en la insalvable idea de slo llegar a un limitado espacio
cognoscitivo, que no nos permitira avanzar y por ende, quedara inconclusa la respuesta
acerca de qu naturaleza ontolgica y epistemolgica son las matemticas.

2.- LA MATEMATIZACIN DE LAS CIENCIAS


Cul fue la razn o el hecho que condujo a que la ciencia cambiara su visin de las
explicaciones de los fenmenos, que eran cualitativos a ser cuantitativos? Ms all que
para Descartes la esencia de la ciencia sea matemtica, lo que hay que responder, es
cules fueron los avances que trajeron el cambio de las ciencias cualitativas a
cuantitativas.
Para Galileo la naturaleza es sencilla y ordenada, su comportamiento es regular y
necesario. Tngase en cuenta que los avances en matemticas ocurridos en esos tiempos
ofrecieron una pequea luz tanto a Galileo como a Descartes, quienes vivieron en el
siglo XVII. La utilizacin del formalismo de las matemticas para describir un
fenmeno, permita predecir acciones; incluso proponer experimentos mentales con
condiciones especiales e ideales, como aqullos de los cuales Galileo habla en sus
libros. Galileo comparta con Descartes la idea de que cualquier ciencia podra ser
configurada sobre el mtodo de las matemticas. Es decir, comenzar con axiomasverdades claras y autoevidentes- y a partir de ellas, pasar a establecer nuevas verdades,
mediante razonamientos deductivos. El cientfico italiano estaba convencido que la
naturaleza estaba diseada matemticamente, no slo del hecho de que sta herramienta
las matemticas- le diera respuestas a los fenmenos y facilitara la descripcin de la
naturaleza, sino que haba encontrado un pensamiento lgico formal, que se acomodaba
a la experiencia concebida por el cerebro y el mundo que la daba; es decir, el lenguaje
matemtico se convertira en una poderosa mquina que penetrara en la sustancia de los
fenmenos naturales. Hasta la poca de Galileo, e inclusive de Newton, la geometra
euclidiana era el modelo matemtico ms estimado por su rigor derivado de su
estructura: axiomas, postulados, definiciones y corolarios.
La filosofa est escrita en ese grandsimo libro que tenemos abierto ante los
ojos, quiero decir, el universo, pero no se puede entender si antes no se aprende
a entender la lengua, a conocer los caracteres en los que est escrito. Est
escrito en lengua matemtica y sus caracteres son tringulos, crculos y otras
figuras geomtricas, sin las cuales es imposible entender ni una palabra; sin
ellos es como girar vanamente en un oscuro laberinto.4
Hay que afirmar que el mundo que vemos y experimentamos no est tan lejos del
geomtrico ya que nosotros vemos objetos triangulares, valos, crculos, cuadrados, etc.
4

GALILEI Galileo, El Ensayador, p. 61.

Pero, por supuesto, estos objetos pertenecen a ese mundo ideal; lo que quiero explicar
es que lo extrado del exterior, del mundo natural y manifestado ante nosotros, se da
ms o menos como esas formas. Si de alguna forma el mundo de Galileo no fuese
matemtico ni respondiera a leyes universales, esto equivaldra a decir que no es posible
que se desarrollaran leyes universales y se hubiera incurrido en muchos errores tanto
conceptuales como aplicativos, pero ocurri lo contrario, en los siglos siguientes, las
diferentes ciencias y sus ramificaciones alcanzaron grandes avances; los cientficos
enunciaron leyes de la naturaleza, profundas y extensas, haciendo avanzar y
subdividiendo campos de la fsica matemtica.
El mtodo matemtico de la abstraccin es, en verdad, un paso ms all de la realidad
pero, paradjicamente, conduce de vuelta a la realidad con una fuerza mayor que si
todos los factores realmente presentes se tienen en cuenta de una vez. 5
La extraa pregunta, a la que da lugar la cita anterior, y que es recurrente en
matemticos y filsofos es por qu un estudio de la abstraccin, de cavilaciones
mentales, tiene aplicabilidad y pueden contrastarse con la realidad, en teoras
matemticas en donde stas arrojan una verdad cualitativa de la cual, el fenmeno
corrobora que es de esa manera? Es decir, las leyes matemticas, construcciones de la
mente por parte del intelecto, son razonamientos tan valederos, que Galileo lo daba por
sentado. Galileo dara un giro con respecto a los aristotlicos y medievales en el sentido
de no limitarse a la consideracin de cualidades para explicar los fenmenos, desde la
perspectiva de la adquisicin o prdida de estas cualidades, una forma de explicacin de
la ciencia de ese entonces. Lo que har Galileo ser tratar de establecer axiomas
cuantitativos, factor importante en la revolucin cientfica de la poca. Para explicar
estas dos formas de visin de la ciencia, por ejemplo, se puede decir que los
aristotlicos decan que una bola cae porque tiene peso, y a su vez cae hacia la Tierra
porque todo objeto busca su sitio natural, entonces para los cuerpos pesados el sitio
natural es el centro de la Tierra. Este tipo de explicacin es cualitativa. Ahora, la
cuantitativa es de la forma: la velocidad en la que cae una bola (velocidad en pies por
segundo) es 32 veces el nmero de segundos que ha estado cayendo, esto en smbolos
es V=32t. Esto es una afirmacin cuantitativa de cmo cae una bola. El mtodo
cuantitativo, independiente de los valores, no explica por qu cae una bola, lo que dice
5

KLINE Morris, El pensamiento matemtico desde la antigedad a nuestros das, P. 440

es cmo es el cambio de velocidad con el tiempo; es decir, las formulas lo que hacen es
describir, ya que el conocimiento de la naturaleza que Galileo desarroll era descriptivo;
se diferenciaba del conocimiento de los antiguos, quienes buscaban que la ciencia
explicara por qu sucedan las cosas; esta explicacin significaba buscar las causas del
fenmeno, es decir, su causa efectiva, lo que lo produca y luego su causa final.
Los anteriores factores son considerados como causas del cambio de perspectiva que
tuvieron las ciencias al comienzo de la modernidad, entre los siglos XV y XVII. Por
supuesto que hay ms, pero lo que me interesa, es comprender por qu las matemticas
transformaron las ciencias clsicas y luego, ms tarde, las ciencias baconianas, qu fue
lo mgico que tenan en ese entonces las matemticas que respondan de manera
eficiente para la formulacin de leyes.
Sin entrar en misticismos, sin afirmar si Dios es un gemetra o si el universo es
matemtico, mi propuesta es que nuestras mentes descubrieron y disearon un lenguaje
con el cual podemos comunicarnos y entender un poco mejor cmo se comporta la
naturaleza para aprender de ella, con lo que mejorara nuestra supervivencia. Y claro
como todo lenguaje, estamos supeditados a una configuracin del mundo que
percibimos por medio de ste. Son las matemticas el lenguaje acertado para entender
la naturaleza? Me atrevera a decir en estos momentos que s, pues a travs de la historia
los hechos han hablado confirmndolo, los datos de la prueba son los adelantos en
ciencia y tcnica que, despus de la modernidad, se desarrollaron en los siglos XVIII,
XIX, XX y XXI. Creo que la matemtica es tan verdadera para nosotros, por ser una
construccin propia de nuestro ser; ya que es construida por la adquisicin de cmo el
cerebro piensa lo real e irreal, o lo fsico y lo metafsico, en ese sentido este lenguaje
slo tiene concordancia entre nosotros y la naturaleza.

3. FILOSOFIAS DEL CONOCIMIENTO MATEMTICO


En este captulo har una exposicin de las diferentes visiones por parte de los
matemticos en relacin a la ontologa de los nmeros y sus leyes, es decir, de qu tipo
de seres estamos hablando y tratando cuando aplicamos las teoras matemticas. Lo
siguiente que trabajar es saber cmo esta disciplina se encuentra cimentada; adems de
sus diferentes posiciones frente a la filosofa de las matemticas, para qu servira
esto? Para diferenciar la posicin particular desde la que el nominalismo, realismo,
intuicionismo, etc., abordan los problemas de fundamentacin de las matemticas y
cmo estas son incompatibles con su filosofa, esto lo veremos ms adelante. La
cuestin primera es cmo son las matemticas en su aspecto formal; y segundo, su
procedencia, es decir su ontologa.
Los objetos matemticos son creaciones de la mente humana con limitaciones de la
razn? o son entes abstractos con vida autnoma por fuera de nuestra mente?, son las
dos principales hiptesis de este trabajo. En este captulo expondr como han sido
abordados este tipo de problemas en el campo ontolgico y epistemolgico, para en el
siguiente captulo ocuparme del problema de la creacin de las teoras matemticas y de
su existencia desde una perspectiva de las ciencias interdisciplinares.
En esta seccin expondr los diferentes pensamientos de las filosofas de las
matemticas como lo son el nominalismo, el conceptualismo, el intuicionismo, el
realismo y la tesis logicista.
3.1. El Nominalismo
Sostiene la tesis general que no hay entidades abstractas; es ms, esta corriente sostiene
que no hay tales entidades que puedan identificarse como nmeros. Una lnea de
pensamiento nominalista hace esta prueba; mucha gente es de la idea que al preguntarse
qu son los nmeros, contestar que los nmeros son ideas en nuestra mente. Entindase
idea como una imagen mental o como un fenmeno mental en una persona; est
localizada en el tiempo, pero no en el espacio, en consecuencia no sera una entidad
abstracta.
La sugerencia de que los nmeros son ideas en la mente no es muy satisfactoria, ya que
tiene varias fallas. Por una parte, la teora de los nmeros sostiene que hay precisamente
un nmero natural que es cero; entonces, si los nmeros fuesen ideas, en este sentido,

habra tantos ceros diferentes como personas que tengan idea de cero. Ya que lo que
pensamos como idea de cero (0) y su representacin de cualquier nmero no es el ser
del nmero, sino que en nuestras mentes pensamos la idea del nmero cero (0) en
formas diversas, de acuerdo al mtodo por el que lo aprendimos y al contexto sociocultural. Por otro lado, la teora de los nmeros sostiene que todo nmero natural tiene
un inmediato sucesor, pero lo que ocurre es que con toda probabilidad hay nmeros
naturales tan grandes que nadie se ha formado la idea de sus sucesores inmediatos. En
conclusin, para los defensores de esta lnea de pensamiento, los nmeros son ideas.
Pero este punto de vista no responde de manera aceptable a la teora de nmeros, es
decir, a la interpretacin de la teora de nmeros segn la cual sus axiomas y teoremas
resultan verdaderos.
Los axiomas no cargan con una verdad evidente, se podra decir que son principios
fundamentales, bsicos, o elementos primordiales para la construccin de una teora
matemtica grande, mediante el uso de enunciados lgicos, (en principio aristotlicos).
Los axiomas son los ladrillos fundamentales, que se toman como verdaderos, para
desarrollar toda una teora matemtica. Los teoremas son enunciados lgicomatemticos que son demostrados usando los axiomas, definiciones y propiedades de la
teora de nmeros. La teora de nmeros no toma en cuenta si cada persona tiene una
idea particular del numero dos (2), si no que se fundamenta en la idea abstracta del
numero, es decir, su construccin terica refiere a la idea platnica de nmero y no a la
concepcin discreta de los sentidos.
Otra lnea de pensamiento nominalista usa entidades fsicas, en vez de mentales. La
explicacin es as: ordinariamente hacemos distincin entre nmeros y numerales; un
numeral es una marca de cierta forma en la cual pensamos que es el nombre de un
nmero. As, el numeras arbigo 5 y el numeral romano V se consideran como
nombres del nmero cinco. Al parecer, al hacer esto, estamos librando a las matemticas
de su dependencia de entidades abstractas, ya que no hay duda de que existen los
numerales puesto que los vemos. Esta lnea de pensamiento nominalista no es ms
satisfactoria que la anterior. El problema es que la tesis no convierte en ciertos a los
axiomas de la teora de los nmeros.
Un ejemplo: la teora de los nmeros dice que cada nmero natural tiene, exactamente,
un sucesor inmediato. Pero si los nmeros fuesen numerales, esto no sera cierto. Pues si

por numeral entendemos una marca particular escrita en un trozo de papel, entonces hay
muchsimos numerales para los nmeros ms pequeos; pero no hay numerales algunos
para los nmeros muy grandes a los que nadie se ha referido nunca especficamente al
escribir. Si en este caso no serviran los numerales, entonces los nominalistas podran
identificar cada nmero natural con algn objeto particular del mundo fsico. Si
hacemos una suposicin, para interpretar la teora de los nmeros, suponiendo que el
trmino 0 se entienda referido al Nevado del Ruiz, el 1 al Galeras, y as
sucesivamente. Servira de algo este reacomodamiento de la interpretacin de la teora
de los nmeros? No, pues se requeriran infinitos objetos, pero por decir algo, no hay
tantas montaas en la Tierra ni hay la seguridad de que existan tantos objetos de
cualquier clase, ni siquiera electrones, en todo el universo. Importante, nunca logramos
observar ms de un nmero finito de objetos de cualquier clase que sea. Nuestro
razonamiento inductivo, no puede establecer como probable ninguna conclusin de la
existencia de un nmero infinito de cosas de cualquier tipo observable.
Para los nominalistas los nmeros seran observables en cuanto a su representacin por
medio del grafo o numeral, pero no se podra decir que el nmero es el smbolo como
por ejemplo (pi) pues escribir su smbolo no es el nmero o su ser, aunque el smbolo
sea algo poderoso para los matemticos y puedan elaborar teoras con tal grafo. El
contra ejemplo, en donde no es posible una representacin, sera el conjunto de los
nmeros irracionales debido a que no se pueden expresar de una manera decimal
peridica completa, porque no se pueden escribir o no pueden ser generado por otros
nmeros (races, cocientes de dos nmeros) por lo tanto, desde este punto de vista no
son observables. Pero los matemticos idearon

smbolos que interpretan esa no

observabilidad tales como () ya que estos smbolos se convierten en instrumentos


poderosos para la construccin de sus teoras matemticas.
Al considerar estas dos vertientes del nominalismo, pareciera que la teora de los
nmeros no se ajusta a una interpretacin nominalista, segn la cual resulte literalmente
cierta, pues en cada una de ellas se ha expuesto su contradiccin respecto a lo que se
define con la teora de nmeros. Para los nominalistas, los axiomas y teoremas de la
teora de los nmeros no se ajustan a la realidad. Para los nominalistas la matemtica no
debe considerarse como un cuerpo de conocimiento literal. Y a pesar de ellos, la teora
de nmeros y otras teoras matemticas, son tiles.

3.2.- El Conceptualismo y el Intuicionismo


Proponen el punto de vista de que objetos matemticos como los nmeros y las series,
son creaciones de la mente, entidades abstractas a las que el pensamiento dio ser. El
filsofo Kant, representante fundamental del conceptualismo, sostena que las leyes de
los nmeros, como las de la geometra euclidiana, eran a priori y sintticas. Para l,
nuestro conocimiento de los nmeros se basa en una conciencia del tiempo como
forma pura de intuicin y en consecuencia del entendimiento, de su capacidad para
repetir el acto de contar una vez tras otra. Las formas puras de la intuicin, el espacio y
el tiempo, son disposiciones de nuestra capacidad cognoscitiva para percibir los
fenmenos situados temporal y espacialmente. El conocimiento de las leyes del nmero
proviene de su propia actividad interna, no de la realidad tal como es en s misma. Kant
sostiene que nuestro conocimiento sinttico a priori de la geometra de Euclides se basa
en la conciencia del espacio como una forma de intuicin y sobre la conciencia del
entendimiento de su capacidad para construir figuras espaciales en la pura imaginacin.
Hasta aqu es la construccin conceptualista extrada de Kant.
Un argumento como el de Cantor, de que hay ms nmeros reales que naturales, no es
aceptado como vlido por los intuicionistas, aunque otros matemticos lo consideren
como vlido. El argumento de Cantor dice que el conjunto de los nmeros reales tiene
un cardinal ms grande que el de los nmeros naturales. Para hacer esta demostracin,
Cantor defina cierto nmero Real como ro y que su representacin decimal infinita ro=
ao,a1,a2,a3 su ensimo es 5 (por ejemplo) o si no es 6.
Un intuicionista no admite esta definicin como legitima, pues la definicin no muestra
cmo podemos construir este nmero real mediante anlisis deductivo. La definicin
nos da una regla, pero para aplicarla y crear este nmero real tendramos que completar
un nmero infinito de pasos, de uno en otro, de cada uno de los dgitos del nmero real,
y no tenemos tiempo para esto diran los intuicionistas. Por eso rechazan la teora de
Cantor. La forma de razonamiento vlida para los intuicionista es constructiva; es decir,
para cualquier nmero natural elegido podemos contar desde cero hasta l y demostrar
que el requisito, sea el que fuere, es cierto de l. De esta forma el razonamiento es
constructivo, ya que se puede llegar a cada nmero natural recorriendo un nmero finito
de pasos en el contar. El procedimiento de un intuicionista, su regla fundamental, es que
se debe tener una prueba constructiva de cualquier afirmacin matemtica de los

nmeros antes de decir que dicha afirmacin es cierta. Esto es si la afirmacin asevera
la existencia de por lo menos un numero de tal y tal clase, debemos saber cmo
construir, o computar, tal nmero, utilizando solamente un nmero finito de pasos.
El intuicionista cree que los nmeros son criaturas de la mente y cree, como Kant, que
siempre que la mente crea, debe en principio poder conocer todo. Sostiene que no puede
existir verdad o falsedad incognoscible (es decir, no demostrable constructivamente)
acerca de los nmeros.
El intuicionismo, la forma ms influyente de la filosofa conceptualista de los nmeros,
causa considerables estragos en las matemticas clsicas al poner en tela de juicio
algunos de sus mtodos de razonamiento o demostracin; por ejemplo, los intuicionistas
expresaron muchas dudas respecto al mtodo de induccin matemtico, aunque al final
terminaron aceptndolo. Bsicamente, los intuicionistas tienen mucha reserva con los
mtodos de razonamiento no constructivos y algunos de sus axiomas, como el axioma
de eleccin de Zermelo.6 Lo extrao de la escuela intuicionista aparece cuando nos
damos cuenta que lo que sostienen es una consecuencia de la teora de Kant, y
posiblemente de la de Brouwer, de que las leyes de los nmeros son ciertas solamente
de las cosas como la mente las intuye (las siente), no de las cosas como son en s
misma.
3.3.- El Realismo y la Tesis Logicista
La actitud del realismo es muchsimo ms generosa que las filosofas de las
matemticas anteriormente mencionadas. El realismo admite una abundancia de
entidades abstractas. A diferencia del nominalista, el realista no tiene prejuicios
discriminatorios contra las entidades abstractas. A diferencia del conceptualista, no cree
que el reino de las entidades abstractas est de ninguna manera limitado por el pobre
poder creador de la mente, pues las entidades abstractas existen en y por s mismas, no
en cuanto construidas por la mente. El realista cree literalmente en la existencia de todas
las entidades abstractas de las que hablan los axiomas y el teorema de la teora del
nmero. En este sentido los teoremas y axiomas son proposiciones ciertas para los
6

El axioma de eleccin no se puede construir lgicamente. Dice que dada una coleccin de conjuntos, no
vacos, se puede tomar un elemento de cada conjunto, independientemente si este es infinito o no, y
relacionarlos. Para ello existe una funcin electora que relaciona dichos elementos y establece un nuevo
conjunto.

realistas. Para ellos la tarea de los matemticos es como un viaje de exploracin. El


matemtico no puede crear o inventar los objetos de que habla, lo que sucede es que
estos estn ah esperando a que ellos los descubran y los describan. En unos de sus
primeros escritos Bertrand Russell dijo:
Todo conocimiento debe ser reconocimiento, so pena de ser simple
desilusin; la Aritmtica debe ser descubierta en el mismo sentido
precisamente en que Coln descubri las Indias Occidentales, y
nosotros no creamos los nmeros ms de lo que l cre a los
indiosCualquier cosa en la que se piense tiene ser, y su ser es una
condicin previa, no un resultado, de que se piense de ella.7
Al parecer, para Bertrand Russell todas las cosas pensadas por la mente, tienen por
consecuencia la existencia de su propio ser; es decir, no son creaciones de la mente
sacadas de una nada, son, ms bien, sacadas de un espacio lleno de objetos abstractos
listos para que sean conocidos por los matemticos.
Qu clase de conocimiento ser nuestro conocimiento de los nmeros, segn el
realismo? El matemtico alemn Frege, sostena que nuestro conocimiento de los
nmeros era cuestin de visin racional a priori. Para l el conocimiento que
adquirimos mediante el uso del ojo de la razn es un conocimiento a priori; para
Frege las leyes de los nmeros son analticas, es decir, una proposicin cierta es
analtica si, y solamente si, es cierta en virtud de su forma lgica; o si, recurriendo a
definiciones, puede traducirse a una proposicin cierta en virtud de su forma lgica.
Con lo anterior Frege sostendr que las matemticas son reducibles a las leyes de la
lgica. Frege usa el ojo de la razn como un escrutador humano ms poderoso para
aprehender la realidad.
La propuesta de que todas las leyes de la matemtica de los nmeros son derivables o
pueden reducirse a la lgica, se conoce como la tesis logicista; fue formulada por
Frege y luego por Russell. Ambos procedieron del mismo modo: primero, definieron los
trminos aritmticos en trminos puramente lgicos y despus, demostraron que la
aritmtica se puede deducir partiendo de premisas puramente lgicas. Russell y
Whitehead escribieron su obra monumental Principia Mathematica, en la que
expusieron detalladamente su tesis. Segn los logicistas, las leyes de la aritmtica y las

312.

RUSSELL Bertrand, Is position in Space and Time Absolute or Relative? Mente, X 1901,

del resto de las matemticas de los nmeros, se relacionan con las de la lgica en la
misma forma en que los teoremas de la geometra se relacionan con sus axiomas. Los
logicistas construyeron un aparato lgico mucho ms extenso y completo que la lgica
aristotlica, para luego emparentar las leyes elementales de los nmeros con estos
principios lgicos, es decir, ellos establecieron una relacin biunvoca y estrecha entre
el nmero y la idea de nmero (lgica).
Tanto Frege como Russell fueron considerados exploradores de un nivel hasta entonces
desconocido de la realidad abstracta matemtica, pues su intento, derrumbado despus,
nos da a entender que la regin o nivel de la realidad matemtica contiene un campo
ms amplio que la realidad lgica como lo pretendan ellos.
Considerando lo presentado en este captulo, puedo decir que las diferentes filosofas de
las matemticas tienen diversas maneras de abordar el problema de la coherencia y
procedimientos de definicin de la teora de los nmeros. La conclusin a la que puedo
llegar, es que todava no se puede saber y no sabremos cuando se resuelva el problema
de si los objetos de la matemtica son objetos abstractos construidos por nuestras
mentes, o si son objetos abstractos reales con una existencia independiente de la mente,
pues todas las opciones citadas suscitan incoherencias con la filosofa y con
procedimiento normalmente aceptados por los matemticos. Al parecer tanto la
matemtica como la filosofa sufriran del mismo mal, el mal de la imposibilidad de la
adquisicin y comprobacin de lo que nosotros llamamos conocimiento. De todas
maneras, es un comienzo el estar consciente de que podemos no estar en lo correcto
respecto a estas cosas sobre las que las que filosofamos; y el que surjan por parte de
diversos personas argumentos tan poderosos como el presentado en la cita de Russell,
me llevan a pensar que no tiene sentido preguntarse cul es la verdadera realidad del
conocimiento, pues tal vez no la conozcamos nunca. Lo realmente importante es que las
valoraciones falso, contradictorio, verdadero o vlido son categoras de nuestro intelecto
que le damos a las diversas realidades del mundo que pensamos como el formalismo
matemtico, las valoraciones antes mencionadas slo nos sirven en ese nivel, pues a la
vida misma no se podra atribuir ese tipo de valoraciones ya que no servira de nada
decir que yo soy una contradiccin viviente o un ente invlido, etc.

4.- EL LENGUAJE DE LAS MATEMTICAS


Considero que las matemticas son un lenguaje, en el sentido estricto de lo que
significa; es decir, lenguaje porque es una herramienta de invencin humana con la cual
nuestra mente se puede comunicar de alguna manera con la naturaleza y hallar patrones
o leyes que decodificamos con un lenguaje que hemos construido, que llamamos
matemticas. La consideracin de las matemticas como un lenguaje trae implicaciones
en consideraciones de verdad, pues ese lenguaje nos dara un modelo de realidad para
nosotros. Qu es modelo de realidad? Este lenguaje (las matemticas) nos dibuja unos
fenmenos a partir del mundo externo que percibimos; claro est, a estos fenmenos les
damos unos nombres, les asignamos un significado, con el cual nuestras mentes hacen
una construccin, a partir de nuestros sentidos de todo el panorama fenomnico
existente para nosotros. La adopcin de las matemticas como un lenguaje, en sentido
positivo de la experiencia humana, es benfica en tanto que a travs de la historia del
hombre se ha demostrado que el avance de sociedades se ha visto ilustrado por el
avance en sus matemticas para el fortalecimiento de las ciencias; es decir, las
matemticas, como invencin formal del ser humano, han permitido la evolucin de la
especie humana para fines ya sea buenos, malos, etc., no es mi tarea decidir si son de
esa caracterstica. Ese lenguaje ha sido tan importante como el desarrollo mismo del
lenguaje natural, hablado por los primeros seres homnidos de nuestra historia, ya que si
bien el hombre con el lenguaje natural pas a un nivel superior sobre los otros seres de
esta naturaleza, con el lenguaje de las matemticas subi un escaln ms en la
evolucin, ya que con este lenguaje los seres humanos han creado objetos abstractos y
construido un mundo lgico formal, al aplicar el cual a otra ciencia como la fsica, ha
permitido el descubrimiento de patrones de fenmenos. Todo esto nos ha separado de
ese homnido que solo poda expresarse con smbolos del lenguaje hablado para
entenderse con los otros homnidos, ahora tratamos de entender a otro ser, que sera la
naturaleza, la experiencia del mundo.
4.1.- Nuestro otro lenguaje
En este apartado se hablar de la relacin del lenguaje entendido como una conjuncin
de smbolos, en donde esta relacin aplicara para referirnos a los smbolos de las
matemticas como a otro lenguaje que nuestro cerebro puede interpretar. Se mostrar
tambin la investigacin en el campo de las representaciones utilizando uno de los

conceptos bsicos de las matemticas como son los nmeros. Nos basamos en el
artculo The mathematicals representation de Stanislas Dehaene. Una de sus primeras
hiptesis es que podemos entender y manipular las matemticas debido a que
disponemos de unos cimientos que lo facilitan; l

llama a esos cimientos: las

representaciones no verbales. Tomando un ejemplo de un gran personaje como lo fue


Albert Einstein, manifest que Las matemticas no requieren, en algunos aspectos,
creacin de lenguaje. Los objetos matemticos no se representan en palabras sino en un
formato ms conceptual.
Lo importante para m es la relacin que desarrolla el autor respecto al sentido del
nmero no verbal y al sentido de las cantidades que se representan en formato no
verbal; tambin la descripcin de experimentos realizados con personas que no tenan
esas representaciones y la reflexin sobre la relacin entre las partes izquierda, derecha
e interparietal del cerebro, que son para l la base de la intuicin numrica, que se
presenta en un estadio muy temprano del desarrollo de la persona.
4.1.1.- La representacin de las palabras
El reconocimiento y la produccin de palabras habladas activan una pequea rea lateral
izquierda del cerebro. Esta rea est relacionada con la identificacin visual y muestra
el aspecto que tiene una letra, es decir, la representacin.
4.1.2.- La cantidad y su naturaleza
Los cientficos sostienen que el lbulo parietal del cerebro participa en muchas tareas, la
mayora de las cuales se relacionan con el entorno en que nos movemos. Para conocer la
especificidad de la representacin cuantitativa del cerebro y su ubicacin en esta
determinada parte (lbulo parietal), Dehaene realiz trabajos con sujetos a los cuales se
les pidi llevar a cabo tareas numricas y no numricas, para examinar si haba alguna
actividad en el lbulo parietal. Los resultados fueron significativos pues se obtuvieron
una serie de activaciones en la pared parietal y en un rea que solo se activ durante el
clculo y no durante las otras tareas. Dehaene concluy que existe una superposicin
entre clculo y lenguaje; tambin observ que las tareas de clculo y de lenguaje
corresponden a una su especializacin; es decir, hay un componente especializado para
el clculo.
4.1.3.- La funcin del lenguaje y los smbolos numricos

Segn Dehaene, en los experimentos realizados, los flujos interparietales en la parte


intermedia se activan mucho ms cuando los sujetos hacen un clculo aproximado de
carcter cuantitativo. Dice el autor que en la misma zona y solapndose, se genera una
activacin de la capacidad para realizar clculos exactos, que se activa tanto con el
clculo como con el lenguaje. Esta es un rea en la que se supone un acceso a un cdigo
lingstico, que es muy til para el clculo exacto pero no para el aproximado. Existen
nicamente dos tipos diferentes de clculo que activan diferentes respuestas. Los dos
circuitos colaboran, actan a la vez, por lo que se puede afirmar que no se trata de
circuitos disociados. Es de suponer que la mayora del tiempo cuando se piensa en
nmeros, los dos sistemas estn co-activados. La idea es que hay colaboracin del
sistema verbal con el sistema semntico; en algunos de los estudios se demuestra que en
clculos de cifras superiores, el sistema cuantitativo est presente y se activa en paralelo
con el sistema del lenguaje.
4.1.4.- Lesiones cerebrales
Un ejemplo que cita Dehaene, fue el experimento de pruebas de clculo con un paciente
con una lesin cerebral, al que se le enseo la operacin 4 2 en cifras. Se le pidi que
leyera el problema matemtico y que diera la solucin. Tena problemas para leerlo pues
ley 4 3, pens la solucin y dijo 2. Le mostraron otro problema el cual fue 8 7, que
ley como 6 4, pero dio como respuesta el 1. Se le mostraron otras restas de la misma
naturaleza, ya que el patrn de la lectura era muy importante, y repeta el mismo error.
Esto demostr que el paciente no tena acceso a las etiquetas y palabras del problema
pero s tena acceso a la solucin, que incluso pudo expresar en letras. Cul puede ser
la explicacin?
La lesin que sufra el paciente es llamada alexia, es una lesin que incapacita para leer
palabras o cifras de dos dgitos. El sistema verbal funciona bien, pero hay una
destruccin en el acceso. El paciente no dispone del sistema que le permita identificar
las palabras, por lo que no puede leerlas. Pero con las cifras se manifiesta diferente, ya
que el hemisferio derecho es el que las identifica; personas con este tipo de lesin no
pueden leer las cifras, pero identifican la representacin cuantitativa en el hemisferio
derecho y la trasmiten al otro hemisferio.
Las conclusiones a las que llega Dehaene son las siguientes: nosotros disponemos de
sistemas en el cerebro, como son la capacidad de apropiarnos y tener unas

representaciones verbales y otras no verbales; tambin, el poder cuantificar tanto en el


plano imaginario y real. Disponemos de unos sistemas en el cerebro, y no somos
conscientes de la interaccin que existe entre ellos. nicamente nos damos cuenta o
somos conscientes de las disociaciones cuando existe una lesin que altera todo el
sistema y por la que el flujo de informacin se ve modificado. En palabras del autor, la
conclusin basada en casos experimentales, es que el sistema de matemticas, es una
especie de patchwork en el que existe una interaccin en el cerebro que complementa
unos aspectos con otros. Sera imposible para un animal, sin lenguaje, llegar a este tipo
de conclusin. Una operacin de multiplicacin es posible porque tenemos smbolos
para acceder a unos significados precisos de cantidades.
Otra reflexin que suscita el autor es denotar que las matemticas, y sus cimientos son
al parecer producto de la intuicin que tenemos de espacio, tiempo y nmero. Si
pensamos cmo haremos en el futuro, cules son los conceptos de espacio y tiempo,
veremos que hay una organizacin similar con representaciones no verbales que dan
apoyo a estos cimientos matemticos. Todo esto ocurre en unos circuitos cerebrales
muy especializados que se hallan en estadios prematuros del ser humano. El lenguaje
complementa estos circuitos no verbales, que permite referirnos a unos conceptos
precisos, discretos; es lo que hacemos cuando generamos una manipulacin de
conceptos matemticos.
Apoyndome en Dehaene,

lo que pretendo argumentar porque le da fuerza a mi

hiptesis es que las matemticas son una especie de lenguaje conceptualizado, un poco
diferente al lenguaje natural que comnmente usamos; los conceptos matemticos no
denotan expectativas o sentimientos, son slo conceptos de la mente que sirven para
determinada tarea, con su funcionalidad especfica. Lo central de mi idea es apoyarme
en estudios reales del cerebro para poder sostener que al parecer nuestro cerebro se ha
podido desarrollar biolgicamente para la construccin y la intuicin de elementos que
propicien el nacimiento de un nuevo lenguaje, es decir,

primero se conform el

lenguaje natural por el cual el hombre se pudo entender con sus semejantes y dio cuenta
de lo interno de su ser y de lo externo; su siguiente transformacin dira que fue un salto
de evolucin poder crear y manifestar el aspecto cuantitativo al poder

ordenar,

numerar, medir, etc. Como lo manifest Dehaene, las matemticas provocan un uso del
cerebro tanto en la parte del lenguaje como en la que al parecer no lo maneja pues
todava comenzamos a saber cmo funciona el cerebro humano, si estas hiptesis son

verdaderas la intuicin ma sobre las matemticas como lenguaje instrumental de


percepcin del mundo externo estara en lo cierto.
4.2.- Las matemticas: lenguaje de la fsica?
En tiempos actuales los filsofos y matemticos han tratado de dilucidar la relacin
entre la fsica y la matemtica, al parecer en un gran porcentaje estn de acuerdo con la
idea que las matemticas constituyen el lenguaje de la fsica. A esta tesis se le puede
aadir dos citas:
Todas las leyes se extraen de la experiencia, pero, para enunciarlas, se precisa de
una lenguaje especial; el lenguaje ordinario es demasiado pobre y demasiado vago,
para expresar relaciones tan delicadas, tan ricas y tan precisas. sta es, por
consiguiente una primera razn por la que el fsico no puede prescindir de las
matemticas; stas le proporcionan la nica lengua en la que puede hablar 8

Esta concepcin de las matemticas como lenguaje de la fsica puede entenderse de dos
maneras, pensamos que el individuo que estudie la fsica, la ciencia de los fenmenos
naturales, deber entender y comprender las matemticas; de esta opinin era Galileo y
tambin Einstein:
De acuerdo con nuestra experiencia hasta el momento, tenemos derecho a estar
convencidos de que la naturaleza es la realizacin del ideal de la simplicidad
matemtica. Estoy convencido que la construccin puramente matemticas nos
permite encontrar esos conceptos, y los principios que los relacionan, que nos dan
la clave para comprender los fenmenos naturales9

En la cita anterior se est reflexionando sobre las matemticas como herramienta que
nos permite acceder al conocimiento del mundo fsico, pero no encuentro respuesta al
considerarla como ente implcito o subyacente. Entiendo que las concepciones de
Galileo y de Einstein iban encaminadas a mostrar que las matemticas eran el lenguaje
por el cual podemos entenderle a la naturaleza sus funciones, pero de all no deduzco
que sea una manifestacin propia del mundo natural expresarse en forma matemtica y
adecuarse a patrones establecidos o encontrados por nosotros.

Pensar la Matemtica, 1988, p. 70.


Ibid, p. 70.

Para Jean Marc Levy Leblond, las matemticas actuaran en la fsica de manera distinta
a como lo hacen en las otras ciencias exactas, como la biologa o la qumica, etc., donde
su funcin se restringe al clculo numrico, es decir, a la manipulacin de lo
cuantitativo. En fsica sucede de forma distinta segn ellos, la matemtica juega un
papel ms profundo y est indisolublemente ligada a los conceptos fsicos. Uno de los
ejemplos sera: Cmo pensar principio de relatividad, sin pensar teora de grupos? As
la fsica interioriza las matemticas. Para ellos se debe dejar a un lado el pensamiento de
los filsofos escpticos, que slo quieren considerar a las matemticas como un
lenguaje. Segn los dos autores antes mencionados, la matemtica es un pensamiento,
un pensamiento seguro de su lenguaje. Para ellos el fsico piensa la experiencia con la
ayuda de ese pensamiento matemtico.
Siguiendo con la postura anterior y en la misma direccin de la concepcin que tienen
sobre las matemticas los autores recin mencionados, hay un pensamiento de
Heisenberg, el cual dice as: Las frmulas matemticas ya no representan la naturaleza,
sino el conocimiento que de ella poseemos.
Desde mi punto de vista ambas posturas no se oponen, sino que son puntas de una
misma arma conceptual que tienen los diferentes autores. Si los filsofos escpticos
toman a las matemticas como lenguaje es debido a la duda epistemolgica que surge
cuando al encontrar, o formar, un lenguaje, ese lenguaje nos est configurando,
dibujando, brindando creencias, e inclusive verdades del mundo que vivimos. Es decir,
no es menosprecio considerar a las matemtica como lenguaje. Pero s debemos tener en
cuenta y darle gran importancia a que la cita de Heisenberg contiene palabras como;
ya no representan la naturaleza, que entiendo en el sentido de que alguna vez las
matemticas eran la manera, el instrumento por el cual veamos y entendamos los
comportamientos de la naturaleza; y acaba la cita diciendo el conocimiento que de
ella poseemos Qu tipo de conocimiento? Un conocimiento parcial o total del
fenmeno? Cmo saber todo esto? Es la razn por la cual creo que la concepcin de las
matemticas como lenguaje es acertada para entender la condicin en la que nos vemos
como seres naturales y el tratar de entender que si bien ellas (las matemticas) han sido
fundamentales para la evolucin de todos los campos de actividad intelectual del
hombre, hay que tener en cuenta la fiabilidad de la misma, quiero decir que con ella hay
una construccin de una realidad, que no sabemos cmo es o qu es.

4.3.- Acerca de la mente humana, las Matemticas y el Universo


El captulo 9 del libro Es Dios un matemtico? de Mario Livio10 plantea dos asuntos
importantes, que intenta resolver a travs del anlisis de los diferentes puntos de vista de
matemticos, fsicos, neurocientficos, etc. Las dos preguntas bsicas que hace Mario
Livio son: tiene la matemtica una existencia independiente de la mente humana? Y
por qu los conceptos de la matemtica tienen aplicabilidad ms all del contexto en el
cual han sido desarrolladas?
Livio presenta diferentes respuestas ofrecidas por matemticos a estas preguntas.
La postura de algunos matemticos como G.H. Hardy en su libro Una Apologa
Matemtica es de carcter platnico. H. Hardy considera que la realidad matemtica
sta fuera de nosotros; es decir que, nuestra funcin es descubrir u observar los
fenmenos, donde los teoremas que adoptamos para explicar esos fenmenos son
nuestras creaciones, son simplemente notas de nuestras observaciones.
El punto de vista opositor a la anterior tesis es el de los matemticos Edward Kasner y
James Newman. La idea propuesta por ellos se basa en el advenimiento de las
geometras no-euclidianas, las geometra de cuatro dimensiones, los avances en el
clculo, la teora de probabilidades, la topologa, entre otros desarrollos de las
matemticas, que han producido un ensanchamiento en el cuerpo de las matemticas.
Con este argumento se sustenta la idea de que el hombre ha superado la nocin de
verdad matemtica existente e independiente de la mente humana, al poder crear otras
ramas de las matemticas muy diferentes a lo que se haba considerado como un
lenguaje nico e inamovible, pues antes de los desarrollos matemticos recin
nombrados, se consideraba que slo era posible la matemtica y la geometra de una
sola forma, ya que as se revelaba ante nosotros. Para Edward Kasner y James Newman
las matemticas no se encuentran por fuera de la mente, sino ms bien, son obras de
nuestro intelecto, que pueden limitarse o expandirse por las leyes de nuestro
pensamiento.
Existen quienes creen que la matemtica tiene una estructura de hecho, real, en el
mundo natural. El astrofsico Max Tegmark es partidario de esta tesis: Nuestro

10

LIVIO Mario, Es Dios un Matemtico?

universo no slo es descrito por las matemticas, es matemtico; l manifiesta que la


realidad fsica es independiente de los seres humanos. Procede a investigar, por
ejemplo, la naturaleza de la teora del todo. Tegmark mantiene una posicin, de acuerdo
con la cual, la descripcin de tales teoras de la realidad fsica debe estar ausente de
todo lenguaje humano, conceptos fsicos; la nica descripcin posible del cosmos
implica conceptos abstractos y relaciones entre ellos (definicin operativa de
matemticas).
Mario Livio dice no encontrar una lnea de razonamiento slida en lo dicho por
Tegmark sobre la existencia de una realidad externa independiente de los humanos. La
afirmacin de Tegmark es necesario creer en lo que yo denomino la hiptesis del
universo matemtico: que nuestra realidad fsica es una estructura matemtica, parece
un juego de prestidigitacin. Para Livio, en el argumento de Tegmark no hay un paso
definido por el cual debamos creer primero en una realidad externa independiente de
nosotros, para deducir despus que nuestra estructura natural y fsica es matemtica.
Pero, cual es la prueba que muestre que tanto la lgica y la matemtica no son
invenciones abstractas de la mente? Ya que como lo peda Tegmark no debe haber
indicios de conceptos humanos para tal demostracin.
Ciencias cognitivas como la neuropsicologa y por otro lado, la biologa determinan que
las matemticas son una invencin humana. Se debe aclarar que el concepto invencin
est ntimamente relacionado con la mente humana, ya sea particular o colectiva, es
decir, lo que nuestro intelecto produce personal o colectivamente. La palabra
descubrimiento alude a una existencia previa en algn universo, que incluso puede ser
real o metafsico. El neurocientfico francs Stanislas Dehaene estudi la conducta de
una tribu indgena amaznica respecto al conocimiento geomtrico que posean. Lleg a
la conclusin que estas personas tenan un entendimiento de los conceptos geomtricos
elementales y comprendan

la lectura de mapas. Tambin tenan una base de

conocimiento en aritmtica; estos hallazgos llevaron a Dehaene a decir que todos estos
tipos de conocimientos eran habilidades propias de la mente humana. Otra tesis, es la
del neurobilogo francs Jean-Pierre Changeux; su idea es que los objetos matemticos
estaran albergados en una parte del cerebro, que l

nombra el compartimiento

consciente, como si fuera un espacio fsico en donde hay simulaciones y creaciones de


nuevos objetos, que estaran como seres vivientes, susceptibles a una rpida evolucin.

La defensa ms dura de la tesis sobre la relacin mente y matemtica como una


invencin, la dan el lingista George Lakoff y el psiclogo Rafael Nez, en su
controversial libro De dnde vienen las matemticas. La idea bsica de ellos es que la
matemtica es una parte natural del ser humano. Ellas salen de nuestro cuerpo, de
nuestra mente y de nuestra vida diaria. Su definicin es que las matemticas son un
sistema de conceptos humanos que hacen uso de las herramientas de la cognicin
humana. Luego, los seres humanos somos responsables de la creacin de las
matemticas; el rostro de las matemticas es una cara humana.
Otro gran defensor de la concepcin matemtica como creacin de la mente es el
matemtico Sir Michael Atiyah, su argumento va as: si tuviramos que escoger un
concepto de nuestra matemtica que tenga una alta probabilidad de existencia por fuera
de nuestra mente humana, cul elegiramos? Segn l muchas personas elegiran los
nmeros naturales. En razn de la idea que no hay nada ms sencillo y escueto que 1, 2,
3, Atiyah expone un ejemplo hipottico, donde debemos imaginar que la inteligencia no
reside en la humanidad, que ms bien est en un desolado espacio, se encuentra una
medusa colosal enterrada en las profundidades del Ocano Pacifico. La cuestin es que
en el lugar no habra experiencia de objetos individuales, slo se percibira agua
circundante; movimiento, temperatura y presin; stos seran los datos sensoriales
bsicos existentes. Es decir que para Atiyah, un concepto tan bsico como los nmeros
naturales, fue creado por los humanos, fue una combinacin de la abstraccin de la
mente, influenciada por el medio que la circundaba que, despus con el tiempo, se llen
de datos sensoriales.
Con los argumentos anteriores a favor y en contra de si la matemtica era una invencin
de la mente humana, al preguntarse si la matemtica es un descubrimiento o una
invencin? Mario Livio responde que es una combinacin de los dos aspectos. Es decir,
los axiomas de la geometra euclidiana como conceptos fueron una invencin, tales
como las reglas del ajedrez, dice Livio; mientras que el teorema de la geometra
euclidiana, fue un largo descubrimiento, ya que los matemticos de la poca fueron
enlazando y relacionando los diferentes conceptos. Como lo que ocurri con el mtodo
de Arqumedes, primero encontr la respuesta a un problema en particular que estaba
interesado, y luego trabaj en la prueba del mismo.

Hay que diferenciar que para Mario Livio los conceptos son invenciones, tales como los
nmeros primos, pero los teoremas de ellos, son descubrimientos. En mi opinin, Mario
Livio no explica la concepcin de teorema como descubrimiento.
4.4. El enigma de Wigner: la inexplicable eficacia de las matemticas
Mario Livio no est de acuerdo con la formulacin de la pregunta la matemtica es
descubierta o inventada? Segn l est mal planteada, en el sentido de que si se quisiera
responder a esa pregunta, la respuesta tendra que ser una y solo una. Por el contrario,
para el autor la respuesta involucra las dos opciones. La matemtica es una construccin
humana que, por medio de conceptos, axiomas, y las condiciones del intelecto en
cuestin, van relacionando estas condiciones anteriores; pero tambin hay
descubrimientos, se descubren hechos como los teoremas de la geometra euclidiana.
El enigma de Wigner se refiere a la eficacia inexplicable de la matemtica. Mario
Livio presenta el argumento del premio Nobel de Fsica, David Gross, quien de acuerdo
a su experiencia, sostiene que no es inusual entre los matemticos creativos, pensar que
las estructuras matemticas que alcanzan no son creaciones de la mente humana, sino
que estn dotadas de una caracterstica de naturaleza propia, tan real como las
estructuras creadas por los fsicos para describir el mundo denominado real. Para Gross
las matemticas no son un cmulo de conceptos inventados, creados por los humanos,
son ms bien descubrimientos que sacamos del mundo natural. Si esta matemtica es
como una estructura que forma parte del mundo natural, no es sorprendente que sea una
herramienta tan eficaz y predecible para fenmenos del mundo natural.
La posicin de Sir Michael Atiyah, sobre la naturaleza de la matemtica, es compartida
por Mario Livio, su argumento dice as:
Si se observa el cerebro en su contexto evolutivo, el misterioso xito de la
matemtica dentro de las ciencias fsicas queda explicado, al menos parcialmente.
El cerebro ha evolucionado para tratar con el mundo fsico, de modo que no
debera sorprendernos que haya desarrollado un lenguaje, la matemtica, adecuado
para esta finalidad.

El matemtico y cientfico computacional Richard Hamming hizo importantes aportes al


debate del enigma de Wigner en 1980. En un primer momento su conclusin acerca de
la naturaleza de la matemtica fue: la matemtica ha sido fabricada por el hombre y es,

por tanto, susceptible de ser continuamente alterada por l. Hamming propone cuatro
posibles respuestas para la eficacia inexplicable de la matemtica: 1.- Los efectos de
seleccin; 2.- La evolucin de las herramientas matemticas; 3.- El poder de explicacin
limitado de la matemtica, y 4.- La evolucin del ser humano. Livio explica brevemente
cada uno de los puntos. En el primer punto trata sobre los sesgos en los resultados de
los experimentos, provocados por la instrumentacin o por las metodologas utilizadas.
Un ejemplo puede ser que un pescador que utiliza una red con agujeros de 25
centmetros de dimetro puede llegar a la conclusin de que todos los peces miden ms
de 25 centmetros. Lo que sugiere Hamming, es que en ciertos casos el fenmeno
original surge de las propias herramientas matemticas utilizadas, y no del mundo real.
Lo que nos dice esto, es que tal vez los modelos de fenmenos que la fsica trata con la
ayuda de la matemtica, son slo hologramas creados por las herramientas tericas y
fsicas que estemos usando en el momento. La segunda posible solucin se basa en que
los humanos seleccionan y mejoran la matemtica para adaptarla a situaciones
concretas. A esto Hamming lo ha llamado evolucin y seleccin natural de las ideas
matemticas; como la historia lo data, el hombre ha creado numerosos conceptos
matemticos para engrosar los campos de las diferentes ciencias, unos conceptos han
dejado de trabajarse para dejar su puesto a otros donde su aplicabilidad ha sido
comprobada; es decir, ellos han evolucionado y solo los aptos son los que sobreviven,
hasta que otro lo desplace por su fuerte aplicacin y mejoramiento de la teora. La
tercera posible solucin de Hamming es que nuestra impresin de la eficacia de la
matemtica puede ser, de hecho, ilusoria, ya que una gran parte del mundo no puede
explicarse mediante la matemtica, por ejemplo, gran parte de la biologa. La cita del
matemtico Israil Moiseevich Gelfand Slo hay una cosa que sea ms inexplicable que
la inexplicable eficacia de la matemtica en fsica, y es su inexplicable ineficacia en
biologa. La cuarta explicacin de Hamming es la idea sobre la evolucin darwiniana
seleccionara de forma natural para su supervivencia las formas de vida en competicin
que tuviesen en su mente los mejores modelos de la realidad, siendo los mejores, los
ms aptos para la supervivencia y la propagacin.
Respecto al enigma de Wigner sobre la inexplicable eficacia de la matemtica,
considero que los cuatros posibles respuestas que plantea Hamming son, en realidad,
problemas epistmicos y no soluciones al enigma, ya que los cuatro puntos y sobre todo
el tercero, el poder de la matemtica es limitado, tiene un alto grado de complejidad de

adquisicin del conocimiento. Ese tercer punto trae a colacin el argumento del
escptico que afirma que el conocimiento es imposible, que nadie puede saber nada; el
escptico niega el conocimiento de un mundo exterior, pues no podemos saber si existe
tal mundo. En su primer planteamiento del problema al cual llama Los efectos de
seleccin, se hace referencia a los sesgos de los resultados de los experimentos,
provocados por la instrumentacin o por la metodologa utilizada. Algo similar a lo que
ocurre cuando nosotros nos colocamos unos lentes que modifican lo que observamos.
En el caso de las matemticas, los fenmenos del mundo natural son tan exactamente
descriptibles y predecibles utilizndolas, que no consideramos que tal vez toda esa
trama est condicionada por la instrumentacin conceptual y por nuestra caracterizacin
de impresiones que nuestra mente nos da. As pues, las matemticas son una
combinacin de creacin mental y tarea descubridora, ya que nuestro cerebro ha
evolucionado para poder cifrar y sacar de la naturaleza esa trama. Si tomamos estas
ideas como vlidas en un mundo personal, entindase el mundo de los seres humanos, el
cmo lo vemos, sentimos, experimentamos, no es extrao que en la mayora de
fenmenos, las matemticas tengan una aplicabilidad excepcional, ya sea porque el
mtodo cientfico y sus sesgos lo dictaminen de esa manera, o porque hemos hecho la
doble tarea de descubrir y crear un mundo donde las matemticas son un lenguaje en
desarrollo para la vivencia y supervivencia de nosotros en un mundo personal.

CONCLUSIONES FINALES
Qu son las matemticas? Puedo decir que no resolv el problema. En el trascurso de la
tesis me di cuenta que la mente humana todava no sabe con certeza a que nos referimos
cuando hablamos, filosofamos o jugamos con matemticas, simplemente las realizamos.
Como un pequeo esbozo al terreno al cual estaba ingresando, comenc con las
hiptesis de adquisicin del conocimiento, segn lo dicho por John Barrow: la
empirista, la idealista, la operacionalista y por ltimo la logicista. Luego hice un
recorrido histrico hasta donde sabemos, y por preferencias mas, de la aparicin de las
matemticas en el ser humano desde los egipcios hasta el mismo Aristteles, en donde
en cada segmento realice un pequeo comentario al respecto. En los siguientes
subcaptulos fueron escritos para aclarar cmo fue que la matemtica revolucion
nuestro ser intelectual y la comprensin de los fenmenos naturales.
La frase El universo es un libro escrito en el lenguaje de las matemticas, siendo sus
caracteres tringulos, crculos y otras figuras geomtricas, sin las cuales es
humanamente imposible comprender una sola palabra: sin ellos slo se conseguir
vagar por un oscuro laberinto de Galileo Galilei, me atrajo a estudiar el tema, por lo
que hice un pequeo estudio de este filsofo y cientfico italiano del renacimiento. En
adelante, la cuestin se hizo ms oscura y complicada, pues en el captulo 3 Filosofas
del conocimiento matemtico se realiz un resumen de cmo abordaban los
matemticos sus creencias filosficas acerca de la ontologa de las matemticas. Lo
anterior me permiti llegar a la conclusin que en el estudio de la ontologa de los
objetos matemticos, hay diversas posturas; pues unos creen que los objetos de las
matemticas son entes abstractos construidos por nuestras mentes, y otros creen que son
objetos abstractos reales con una existencia independiente de la mente. As mismo, de
acuerdo a lo presentado en este captulo, se puede decir que las diferentes filosofas de
las matemticas tienen diversas maneras de abordar el problema de la coherencia y
procedimientos de definicin de la teora de los nmeros. No se encontr un punto que
esclareciera de manera concluyente la procedencia de las matemticas.
En el captulo 4, en lo personal el de mayor importancia, se demuestra con base en
trabajos cientficos de diversas disciplinas (biologa, psicologa, neuropsicologa) en
los cuales se sustenta la tesis propuesta, ya que en este captulo muestro que la
matemtica es un lenguaje formal, construido por nuestra mente; pero que, debido a la

interaccin con el medio, y dependiendo de los datos sensoriales adquiridos y de la


manera como los codifica nuestro cerebro, ste se adapta y evoluciona. Por lo tanto,
conforma una realidad fenomnica. Se puede decir con certeza que somos la nica
especie en crear ese lenguaje y pensamiento de tal abstraccin y complejidad. Ahora, las
matemticas nos sirven de herramienta conceptual que se ajusta a la resolucin y
prediccin de fenmenos de la naturaleza; esto dio lugar al enigma de Wigner o la
eficacia inexplicable de la matemtica; en otras palabras: por qu las matemticas
son tan efectivas en el mundo natural para explicar ciertos fenmenos? La respuesta no
es definitiva en el sentido de haber encontrado la causa de esta efectividad, pero la
posible solucin que se plantea en el libro de Mario Livio es que nuestro cerebro no ha
desarrollado ni elegido por azar la matemtica, sino precisamente por su capacidad para
predecir de forma correcta los resultados de los experimentos. Entonces de una manera
simple su eficacia deba ser garantizada. Los seres humanos no tuvieron que adivinar a
priori cules eran las matemticas correctas, la naturaleza permiti que nuestros
cerebros encontraran patrones y desarrollramos un pensamiento matemtico. Hoy en
da hay conjeturas del por qu la matemtica es tan eficaz en el mundo real.
Las matemticas: lenguaje de la naturaleza o construccin mental? La solucin a esta
pregunta no puede ser en va negativa ni positiva. Ni el mismo Platn o su discpulo
Aristteles lo pudieron resolver. Son un lenguaje de la naturaleza? Lo seran si
decimos que a partir de la naturaleza sacamos patrones que decodificamos por medio de
un lenguaje formal que llamamos matemticas. Son una construccin mental? Pues
segn las neurociencias y la respuesta de Mario Livio en su libro Es Dios un
matemtico? y en la entrevista a un matemtico de la Universidad del Valle, los dos
concuerdan en que la matemtica es en parte inventada y en parte descubierta. Segn
ellos lo habitual es que los seres humanos inventen conceptos matemticos y despus
descubran relaciones entre estos conceptos y a su vez se encuentre una aplicabilidad
para la resolucin de problemas del mundo real.

Para cerrar el anlisis de la tesis traigo una cita de Russell que resume el pensamiento
filosfico y el producto de lo que se saca cuando se aborda un problema en filosofa, y
por consiguiente sintetiza lo que es para m la filosofa. En Los problemas de la
filosofa, Bertrand Russell nos dice:

Para resumir nuestro anlisis sobre el valor de la filosofa: la filosofa debe


ser estudiada, no por las respuestas concretas a los problemas que plantea,
puesto que, por lo general, ninguna respuesta precisa puede ser garantizada
como verdadera, sino ms bien por el valor de los problemas mismos;
porque estos problemas amplan nuestra concepcin de lo posible,
enriquecen nuestra imaginacin intelectual y disminuyen la seguridad
dogmtica que cierra el espritu a la investigacin; pero ante todo, porque
por la grandeza del universo que la filosofa contempla, el espritu se hace a
su vez grande, y llega a ser capaz de la unin con el universo que constituye
su supremo bien.

BIBLIOGRAFA
APRY R. y otros, Pensar la Matemtica. Seminario de Filosofa y Matemtica de la
Ecole Normale Suprieure de Pars, dirigido por J. Dieudonn, M. Loi y R. Thom.
Barcelona, Tusquets Editores, 2 edicin, octubre de 1988.
ARISTTELES, Metafsica. Valentn Garca Yebra, Madrid Espaa, Gredos, 1970,
BARKER F. Stephen, Filosofa de las Matemticas, Traduccin de Carlos Moreno
Caadas. Uteha, Mxico, 1965.
BARROW John, Por qu el mundo es matemtico? Barcelona, Grijalbo Mondadori,
1997.
BOYER B. Carl, Historia de la Matemtica, Alianza Editorial, Madrid, 1986.
CHANGEAUX Jean Piere y CONNES Alain, Matire pense.
GALILEI Galileo, El ensayador. Traduccin Jos Manuel Revuelta, cedida por Aguilar
S.A. Ediciones. Madrid, SARPE, 1984.
GONZLEZ URBANEJA Pedro Miguel, Pitgoras El Filsofo del Nmero, Nivola
Libros y ediciones, Madrik, 2001.
H. Wussing, Lecciones de Historia de las Matemticas, Traduccin de Elena Ausejo,
Jos Luis Escorihuela, Mariano Hormigon. Madrid, Siglo XXI Editores, 1989.
Kline Morris, El Pensamiento matemtico de la antigedad a nuestros das. Versin de
Mariano Martnez, Juan Tarrs y Alfonso Casal. Alianza Editorial, Madrid, 1992.
Livio Mario, Es Dios un Matemtico?, Traduccin Francesc Pedrosa. Ariel, Barcelona,
2009.
PLATON, Menn, en Dilogos. MEXICO, Editorial Porrua. 11a edicin corregida y
aumentada, 1971.
PLATON, La Repblica, en Dilogos. MEXICO, Editorial Porrua. 11a edicin
corregida y aumentada, 1971.
RECALDE Luis Cornelio, La ontologa de los objetos matemticos. Versin digital.
RUSSELL Bertrand, Los problemas de la filosofa.
RUSSELL Bertrand, Is position in Space and Time Absolute or Relative? Mente X,
1901.
AUDIOVISUALES
DU SATOY Marco, The Story of Maths. BBC
PREZ SANZ Antonio, Universo Matemtico. Programa Aventura del Saber.
Televisin Espaola

VIRTUALGRAFA
DEHAENE
Stanislas,
The
http://quark.prbb.org/21/021045.htm

mathematicals

representation,

en