Professional Documents
Culture Documents
CONSTRUCCIN MENTAL?
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
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
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.
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
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.
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
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
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
de
Aristteles,
porque
me
parece
que
ambos
comparten
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
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.
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
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.
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.
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
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
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.
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.
10
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
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.
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
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:
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