Está en la página 1de 3

Epistemologa matemtica.

Introduccin
Desde la antigedad la filosofa ha tenido inters en, por lo menos, ciertos aspectos de la
matemtica.6 En las palabras de Miguel de Guzmn: "Pero hay otros aspectos interesantes de la
matemtica que atraen de modo natural al filsofo. La dinmica interna del pensamiento
matemtico, la lgica de su estructura, simple, tersa, sobria, clara, hacen de ella un modelo de
reflexin fiable que suscita el consenso de todos. Los filsofos interesados en aclarar los misterios
del conocimiento humano han visto en el pensamiento matemtico un campo ideal de trabajo
donde poner a prueba sus hiptesis y teoras.".7 Mario Bunge va ms lejos y llega a sugerir que las
matemticas son no slo el fundamento del quehacer cientfico sin tambin del filosfico.8
Por mucho de ese tiempo la opinin general era la que Carl Friedrich Gauss resumi: La
matemtica es la reina de las ciencias y la aritmtica es la reina de las matemticas. Ella a menudo
se digna a prestar un servicio a la astronoma y a otras ciencias naturales, pero en todas las
relaciones, tiene derecho a la primera fila.9 Esta preeminencia se deba a una percepcin que,
ltimamente, emana de Platn: "En las matemticas se halla el origen y fundamento de la teora
platnica de las formas o ideas. En esta la idealizacin de los entes matemticos se transforma en
la idealizacin de los entes fsicos y psquicos. La verdad matemtica, por su invariabilidad en el
tiempo, era el modelo a seguir en todo conocimiento intelectual. El mtodo deductivo, que
partiendo de axiomas y definicines llegaba a la demostracin de teoremas, era el modelo
prestigioso de razonamiento para todo saber. En el dilogo "Menn" Scrates, a travs de
preguntas y respuestas, hace que un esclavo alcance por su propio razonamiento una verdad
matemtica; as, de una manera popular, expone Platn que las matemticas estn en el alma
humana, ya que en esta se halla presente el logos que gobierna el mundo material mediante las
proporciones aritmticas y geomtricas. Slo se requiere la introspeccin para volvernos
conscientes de ese saber interno.".10
Esa posicin es generalmente conocida como realismo; platonismo o realismo platnico y "de
manera muy esquemtica, puede sintetizarse en la creencia de que los objetos matemticos son
reales y su existencia es un hecho objetivo e independiente de nuestro conocimiento de los
mismos.... existen fuera del espacio y del tiempo de la experiencia fsica y cualquier pregunta
significativa sobre ellos tiene una respuesta definida. As el matemtico es, en este sentido, como
un cientfico emprico que no puede inventar ni construir sino solo descubrir algo que ya existe.11
Sin embargo, hacia fines del siglo XIX esta situacin comenz a cambiar, proceso que
eventualmente culmin, a fines del siglo XIX y comienzo del XX, en la llamada crisis de los
fundamentos:12 13 14 15 16 17 "La imagen tradicional de las matemticas (formal e infalible) fue
cuestionada a raz de la llamada "crisis de los fundamentos de las matemticas", que sucedi en el
siglo XIX. Dicha "crisis" se origin principalmente por dos descubrimientos: primero el de las
geometras no euclidianas y, segundo, el de la teora de los conjuntos."18
Esa situacin ha sido resumida de la siguiente manera19
"Hasta bien entrado el siglo XIX, la geometra era universalmente considerada la rama ms firme
del conocimiento.... La Geometra era, simplemente, el estudio de las propiedades del espacio.
Estas se manifestaban como verdades objetivas, universalmente vlidas para la mente humana.

Durante el siglo XIX sucedieron varios desastres que iban a cambiar completamente esta
situacin. El primero fue el descubrimiento de geometras no eucldeas, al que inmediatamente
sigui otro desastre mayor: el desarrollo del anlisis por caminos contrarios a la intuicin
geomtrica (curvas que llenan el espacio, funciones continuas no diferenciables, etc) lo que puso
de manifiesto la gran vulnerabilidad del nico fundamento que hasta entonces tenan las
Matemticas: la intuicin geomtrica. Esto era una autntica catstrofe puesto que en algn
sentido implicaba la prdida de la certeza, no solo en la Matemtica sino en todo el conocimiento
humano.
Se pens entonces buscar otra base segura para fundamentar las Matemticas, y
as Dedekind y Weierstrass mostraron como era posible construir el anlisis -el continuo- a partir
de la Aritmtica. Pareca que todo volva a estar en orden, pues nadie dudaba de la certeza
proporcionada por nuestra intuicin de contar y as los nmeros enteros seran la nueva base
segura para todo el edificio matemtico... (ver programa de Hilbert).
Pero el intento de fundamentar rigurosamente la Matemtica iba a ser llevado un paso ms lejos
por Frege, quien comenz un ambicioso programa para basar las Matemticas en la Lgica -a
travs de la Aritmtica. Este fue el punto de partida de la escuela logicista que ms tarde seria
continuada por Russell y Whitehead. La idea logicista consista en demostrar que la Matemtica
clsica era parte de la lgica, de modo que una vez culminado su programa podra asegurarse que
la Matemtica estaba libre de contradiccin al menos en la misma medida que la propia lgica.
Sin embargo, ya en ese momento se haban hecho unos descubrimientos que iban a sacudir
completamente este optimismo dejando de nuevo a la Matemtica sin fundamentos seguros. En
efecto, la construccin del continuo a partir de la Aritmtica se basaba en la Teora de
Conjuntos de Cantor (ver hiptesis del continuo), que tambin haba sido utilizada por Frege en
sus fundamentacin de la Aritmtica. Pero la teora de Cantor, y en particular su hiptesis bsica
sobre la existencia de conjuntos encerrada en su definicin: un conjunto es cualquier coleccin
de objetos distintos de nuestra intuicin o nuestro pensamiento, que puede ser traducida por
cualquier condicin determina un conjunto, iba a revelarse inconsistente."
Esa crisis dio origen a varias tentativas de resolucin, lo que, a su vez, dio origen a tres corrientes
principales: las escuelas intuicionista, logicista y formalista20 (esa es la visin general o comn,
algunos incluyen otras escuelas, tales como el fenomenalismo de Husserl21 ). Argumentablemente
esas tentativas fueron infructuosas22 lo que dio origen a otras escuelas, tanto derivadas de las
anteriores23 como de otras percepciones bsicas -por ejemplo, del empirismo. Sin embargo, y
argumentablemente, la situacin todava no se ha resuelto del todo24 25 26
Problemas[editar]
Al respecto de todo lo anterior hay algunas interrogantes fundamentales y sistemticas tales
como:
1. el modo de ser de los objetos matemticos: acaso estos existen "realmente" e
independientemente de cualquier empleo especfico, y si es as, en qu sentido? Y qu
significa referirse a un objeto matemtico? Cul es el carcter de los teoremas
matemticos? Cul es la relacin entre la lgica y las matemticas? - Aqu se trata de
cuestiones ontolgicas.

2. el origen del conocimiento matemtico: Cules son la fuente y la esencia de


la verdad matemtica? Cules son las condiciones de la ciencia matemtica? Cules son,
en lo fundamental, sus mtodos de investigacin? Qu papel, en relacin a lo anterior, la
naturaleza del ser humano? - Aqu se trata de cuestiones epistemolgica.
3. la relacin entre las matemticas y la realidad: Cul es la relacin entre el mundo
abstracto de las matemticas y el universo material? Tienen las matemticas sus races en
la experiencia, y si es as, cmo? Cmo es que las matemticas calzan tan bien con los
objetos de la realidad" (Albert Einstein27 )? De qu manera los conceptos tales
como nmero, punto, infinito etc., adquieren un significado que trasciende el mbito
estrictamente matemtico?
El punto de partida es casi siempre la concepcin de que las proposiciones matemticas son
ciertas por principio, de manera atemporal y exacta y que su veracidad no depende ni de
evidencias empricas ni de puntos de vista personales. La tarea consiste tanto en determinar las
condiciones de la posibilidad de adquirir ese conocimiento, como en cuestionar crticamente este
punto de partida.