UNIVERSIDAD NACIONAL

CENTRO DE INVESTIGACIN Y DOCENCIA EN EDUCACIN

PROFESOR Y DISEADOR: EDUARDO CHAVES BARBOZA

Ttulo de la unidad didctica: Crisis en la Matemtica

Objetivos:
a-) Reconocer el paradigma matemtico clsico: el axiomtico deductivo euclidiano.
b-) Analizar el impacto epistemolgico de la creacin de las geometras no eucldeas y
de las lgicas no aristotlicas.
c-) Sintetizar un concepto de Matemtica y/o de Verdad Matemtica

Actividades:
a-) Lectura del documento La Matemtica y su Verdad.
b-) Discusin de prrafos claves.
c-) Anlisis de las interrogantes propuestas en el documento.

Evaluacin:
Formulacin de una concepto de Matemtica

Contenido:

La Matemtica y su Verdad

Una obra que sintetiza y sistematiza gran parte del legado matemtico de los
antiguos la constituye Los Elementos de Euclides. La obra comienza con cinco
postulados, cierto nmero de definiciones y nueve nociones comunes, luego se
proponen teoremas y soluciones a problemas, cuyas pruebas se deducen de las
definiciones, postulados y nociones comunes anteriores.
Posteriormente se plantean ms definiciones, de las que se deducen ms teoremas
por medio de los axiomas originales y de teoremas anteriores. De los cinco
postulados y nueve nociones comunes iniciales, Euclides deduce unas quinientas
proposiciones compuestas en trece libros, en las cuales no aparece una sola
aplicacin prctica ni un clculo numrico. Dado que muchos de los teoremas se
derivan de teoremas anteriores, se concluye que si un teorema se demuestra falso
se falsearan del mismo modo los teoremas ulteriores deducidos de ste.

1
Los Elementos de Euclides constituyen el primer gran paradigma en la
Historia de la Matemtica, y tiene sus bases filosficas en Platn (428 AC
347 AC) y en Aristteles (384 AC 322 AC). Platn le proporciona el objeto: las
ideas, sus representaciones y formas; y Aristteles le proporciona el mtodo:
la Lgica. Su modelo axiomtico deductivo se crey perfecto durante ms de
2000 aos, influenciado la manera de pensar de gran parte de la humanidad.

u Para Platn Dios geometriza, lo cual significa que las entidades abstractas
como el nmero, el crculo, el plano, los conjuntos, existen
independientemente de la mente humana. El hombre mediante el pensamiento,
la reflexin, la intuicin o la contemplacin las descubre. Est usted de
acuerdo con este enfoque?

v Por su parte, Aristteles trabajaba con enunciados como Todos los perros son
animales, Ningn cuadrado es un crculo, Algunos paralelogramos son
rectngulos, Algunos guerreros son atenienses. Los enunciados forman
razonamientos deductivos llamados silogismos, los cuales llevan a conclusiones. Un
ejemplo famoso: Todos los hombres son mortales, los griegos son hombres; por lo
tanto, los griegos son mortales. Para Aristteles una proposicin solo tiene dos
alternativas: ser verdadera o ser falsa. Es decir, se fundamentan las
demostraciones por contradiccin: si supongo falsa una afirmacin y llego a una
contradiccin, entonces se deduce que la afirmacin debe ser verdadera. Qu
opina de esta forma de pensar, conocida como la ley aristotlica del tercero
excluido?

Fundamentado en Aristteles, Gerolamo Saccheri (1677-1733) supuso falso el

2
priori. Poco despus, Riemman (1826-1866) creo la geometra elptica o esfrica. La
geometra euclidiana era ahora una caso particular de geometra.

w Cul es el espacio fsico en el que vivimos? Es verdadera la geometra

Despus del descubrimiento de las geometras no eucldeas queda claro que los
axiomas tenan su origen en la experiencia del hombre al comparar y medir los
cuerpos reales con sus sentidos. Es la que utiliz Arqumides, Galileo y Newton, es la
que se utiliza para volar un avin. Sin embargo, la astrofsica moderna utiliza
mayormente la geometra hiperblica, y la fsica molecular prefiere la elptica.
Tambin, queda claro que un sistema axiomtico no tiene que estar relacionado
con la experiencia con el mundo real. Por ejemplo, si como hiciera Felix Klein (1849-
1925) se toma como plano el interior de un crculo, donde las rectas son cuerdas del
mismo y los puntos son nicamente los que se encuentran en el interior, se concluye
que el quinto postulado no es vlido.
En este sentido, la matemtica pura se ha separado del mundo fsico hasta
transformarse en una ciencia autnoma, un sistema puramente formal. Es
metafricamente comparable con el juego de ajedrez, donde las piezas son los
elementos primitivos y las reglas son los axiomas. No se pregunta si el ajedrez es
verdadero o falso, lo importante es seguir las reglas.

x Es la matemtica una especie de juego con sus smbolos y sus reglas que se
deben seguir sin importar si son tiles o no?
y Qu opina de la creacin de lgebras abstractas donde existen reglas como la
no conmutatividad de la multiplicacin (ley aritmtica considerada sagrada
durante siglos)?
z Considere la siguiente afirmacin: Si un todo se divide en partes, el todo es
mayor que cualquiera de sus partes. Es esta afirmacin una verdad evidente.

3
Las contribuciones de Cantor (teora de conjuntos infinitos), Boole (teora de la lgica
matemtica) y Russell (Principia Mathematica), propusieron a la Matemtica como un
sistema axiomtico deductivo caracterizado por ser lgico, formal y coherente. Hasta
que 1931 Gdel estableci que en matemtica existen cuestiones indecidibles; es decir
que no se pueden demostrar ni refutar a partir de los axiomas.
Por otra parte, en 1921 el polaco Jan Lukasiewics (1878-1956), present la afirmacin
Estar en Varsovia el mes prximo como una proposicin probable, creando la lgica
trivalente, en oposicin a la lgica ambivalente de Aristteles. Otra lgica no Aristotlica
es la polivalente del estadounidense Emil Post (1897-1954), donde las implicaciones
son del tipo A implica B con probabilidad p, 0 p 1.

{ Reflexione en la siguiente interrogante Qu es la Verdad en Matemtica?

El constructivismo solo acepta las entidades abstractas que la mente humana puede
construir. A continuacin un ejemplo que propuso Kitcher para ilustrar estas ideas:
| Cuando Cauchy bas el anlisis matemtico sobre el concepto de lmite,
no fue porque de repente fue iluminado por algn de tipo de intuicin
platnica o porque esta nocin actu sobre su intuicin como una
construccin necesaria: mas bien fue porque la encontr especialmente til
en su compromiso de estructurar el vasto dominio de conocimiento llamado
Clculo.
El constructivismo reconoce una dimensin histrica a la gnesis y justificacin del
crecimiento del conocimiento, es decir, se considera al conocimiento matemtico como
un producto histrico cultural. Kitcher coloca el origen del conocimiento matemtico en
la prctica primitiva empricamente basada, lo que explica las diferencias entre la
prctica matemtica de una cultura, en un marco histrico dado, y la prctica educativa
en otro contexto histrico cultural.
Sierpinska (1996) seala que dos principales caractersticas del naturalismo de Kitcher
son, por un lado su carcter socio-histrico, y por otro la importancia que le otorga a la
prctica.

4
Por su parte Ruiz (1995) se refiere a Ernest, otro representante importante del
constructivismo:
}Para Ernest, al igual que para todos los constructivistas, el sujeto edifica
sus teoras con base en su experiencia y luego stas se ajustan al ser
sometidas a nuevas experiencias con el mundo y la sociedad. El
conocimiento subjetivo es entonces objetivizado cuando es sometido a las
reglas y condiciones que establece la comunidad matemtica: lo que da
objetividad a los conceptos de las matemticas es el acuerdo con estas
reglas; la sociedad da la objetividad.

Luego Ruiz (1995), al igual que Sierpinska, indica que el constructivismo demarca
aspectos sociales y empricos en la construccin del conocimiento matemtico. Pero
adems advierte que esta posicin lleva a Ernest y a Kitcher hacia un relativismo ya sea
este de ndole histrica o de ndole social.

Daz (1999) seala que Lakatos (1922-1974) propone dos posiciones principales ante el
problema del conocimiento:
~El dogmatismo, que afirma la posibilidad del conocimiento, y por lo tanto
busca el fundamento infalible sobre el cual edificar todas las verdades.
El escepticismo, que juzga al conocimiento como un imposible.
Aunque en las ciencias empricas el escepticismo predomina, la Matemtica sigue
siendo baluarte del dogmatismo. Daz indica que la crisis de los fundamentos
matemticos de finales del siglo XIX y principios del siglo XX, junto a la aparicin de los
teoremas de Gdel, llev a Lakatos a retar las escuelas logicista y formalista, por
considerarlas refugio del dogmatismo.
A criterio de Daz (1999), Lakatos asevera que la concepcin matemtica
racionalista tiene la pretensin de obtener verdades absolutas, por medio de
axiomas indudables, trminos perfectamente conocidos y de procedimientos
lgico deductivos infalibilistas. Y propone un giro de esta visin hacia
renacimiento de un empirismo en la filosofa matemtica, donde se buscan
hiptesis de gran poder explicativo y heurstico, para luego utilizar el mtodo

5
falibilista del descubrimiento siguiendo el patrn dialctico: conjeturas,
pruebas y refutaciones. De aqu que Lakatos no considere la Matemtica como
una acumulacin de verdades eternas, sino como una disciplina en una
permanente revolucin, protagonizada por teoras que compiten entre s.
En este sentido, Sierpinska (1996) sostiene que Lakatos concibe la Matemtica de una
forma cuasi-emprica. Desde esta perspectiva, el descubrimiento de un enunciado
que constituye un contraejemplo para cierta teora matemtica, en lugar de
significar necesariamente que el enunciado es definitivamente falso, pude
significar ms bien que deba considerarse la revisin de los axiomas y
definiciones admitidas, con el propsito de que sean stos los que se ajusten al
enunciado. Lo que dara paso a una nueva teora.

Tarea Formativa:
Fundamentado en la lectura anterior, realice un acercamiento conceptual al trmino
Matemtica y/o al concepto de Verdad Matemtica