Vous êtes sur la page 1sur 18

This is page 39

Printer: Opaque this

4
RESEA HISTORICA

4.1. La gnesis
La Teora de Conjuntos, cuya posicin como piedra angular
de las Matemticas nadie pone hoy en duda, tuvo un orgen y un
crecimiento de novela, hasta llegar a ser reconocida, ya bien entrado el siglo XX, como una rama consolidada e imprescindible
de las Matemticas.
La nocin intuitiva de conjunto ha sido usada por la comunidad cientfica en todas las pocas de desarrollo intelectual y
el concepto aparece de un modo tan natural y tan intuitivo,
que slo hasta finales del siglo XIX no se hacia distincin alguna entre los significados de conjunto, de clase, de grupo o de
coleccin.
La nocin era en apariencia tan transparente, que la famosa
definicin literal dada por Cantor en la que ...se entiende por
conjunto la agrupacin de un todo de objetos bien diferenciados
de nuestra intuicin o de nuestra mente no despertaba ni el
menor recelo, ni la ms pequea suspicacia dentro del mundo
matemtico y nadie, por purista que fuera, consideraba necesaria una definicin ms formal.

40

4. RESEA HISTORICA

Las dificultades, y con ellas el verdadero desarrollo de la Teora


de Conjuntos, comenzaron a aparecer al evidenciarse la conexin entre conjunto, nmero y magnitud con la cual se lograba
el viejo sueo de unificar en una sola raz todo el conocimiento matemtico. Ese sueo, que formaba parte del programa
pitagrico de reducir toda la Matemtica al nmero, se haba
cristalizado tras recorrer un camino muy complejo y totalmente
inverso al que hoy se sigue cuando se ensean de manera formal
los sistemas nmericos, pues si bien es cierto que desde muy
atrs el Algebra y el Anlisis eran fecundos campos de trabajo,
tambin es cierto que los nmeros, que les servan de base y fundamento, nunca haban sido formalizados de manera adecuada.
La Geometra Euclidiana se haba sumergido en el Anlisis
Clsico mediante el acercamiento, fuertemente intuitivo, de la
nocin de magnitud a la nocin de nmero, sin que esta ltima hubiese sido cuestionada ni en su poder, ni en su solidez
matemtica. Hamilton, por ejemplo, no se preocup demasiado
por analizar la consistencia de los nmeros reales sobre los cuales
haba fundamentado su construccin de los nmeros complejos.
La fundamentacin lgica de los reales se acometi, de modo
serio, slo en la segunda mitad del siglo XIX, impulsada por
la necesidad de resolver y sustentar de modo adecuado algunos
problemas especficos del Anlisis, tales como la demostracin
de Bolzano para el Teorema del Valor Intermedio, el estudio de
los lmites, la prueba de suficiencia del Criterio de Cauchy para
la convergencia y el estudio de las discontinuidades de funciones
representables mediante series de Fourier.
La fundamentacin de los nmeros reales requera en primera
instancia de la formalizacin de los irracionales, cuya existencia presupona la construccin de los racionales. Los primeros
trabajos sobre los irracionales fueron presentados por Hamilton
en 1833 y en 1835 pero solo fueron publicados en 1837. Desde sus cursos en Berln a partir de 1859, Weierstrass ofreci su
propia teora de irracionales sustentada en clases de racionales.
En 1869 Meray di una definicin de los irracionales basada
en los racionales y en 1871 Cantor present su teora de irracionales construdos a partir de sucesiones de racionales, seguido

4.1 La gnesis

41

en 1872, por Heine y Dedekind con su teora de las cortaduras


de racionales.
En 1873 se publica el mtodo de Liuville para construir cualquier
nmero dentro de una clase de nmeros trascendentes. Aparece
la demostracin de Hermite sobre la trascendencia de e y en
1882 se publica la prueba de Lindemann de la trascendencia de
que suscit por parte de Kronecker la frase, que desde su irona
era muy representativa de la opinin de un grueso nmero de
matemticos: qu valor tiene su hermosa demostracin, si los
nmeros irracionales no existen?
Wallis haba demostrado en 1696 la identificacin de los nmeros
racionales con los nmeros decimales peridicos y en 1886, casi
doscientos aos ms tarde, Stolz mostr que cada nmero irracional tiene una representacin decimal no peridica y que esa
caracterstica funcionaba como propiedad definitoria.
El proceso de aritmetizacin del Anlisis, que le di sentido
pleno a la frase de Kronecker de Dios cre los naturales, el
resto es obra del hombre., se complet con tres trabajos de
importancia histrica: la construccin de los racionales hecha
por Weierstrass a partir de los enteros, en la que represent
a los racionales positivos como pares de nmeros naturales, a
los enteros negativos como otro tipo de pares de naturales y
a los racionales negativos como pares de enteros negativos y
naturales; la teora de los enteros presentada por Dedekind en
su famosa obra Was sind und was sollen die Zahlen, publicada
en 1888 y que recoga sus trabajos desde 1872 hasta 1878 y la
axiomatizacin de los nmeros naturales propuesta por Peano en
1889 en su obra Arithmetices Principia Nova Methodo Exposita.
El trabajo de Peano, que se basaba en algunas ideas de Dedekind
y que luego dara impulso al desarrollo de la Lgica Simblica
por parte de Frege y de Russell, hizo resurgir una antigua e interesante pregunta: existe un modo no intuitivo de definir las
operaciones entre naturales?
Este interrogante estaba vigente desde Leibnitz y permaneci
sin respuesta hasta mas all de la primera mitad del siglo XIX,
pues solo en 1896 Grassmann inicio el proceso de respuesta,
demostrando las propiedades bsicas de los naturales a partir de

42

4. RESEA HISTORICA

la operacin x x + 1 y el Principio de Induccin Matemtica,


que haba sido concebido por Pascal en el siglo XVII y que era
usado como cosa sabida por un buen nmero de matemticos.
Es en medio de ese largo y tortuoso camino donde aparece y
se destaca con luz propia el genio del matemtico ruso-alemn
Georg Cantor, quien trabajando desde el Anlisis en problemas
de series trigonomtricas, llega a una clasificacin de conjuntos
excepcionales y con maravillosa intuicin percibe la riqueza
del tema como generador de nuevos y poderosos desarrollos significativos.
En 1873 al estudiar los problemas de equipotencia, Cantor
plantea la no enumerabilidad de los reales, pero es en 1874 cuando en un memorable artculo demuestra la enumerabilidad de
los racionales, la no enumerabilidad de los reales y la enumerabilidad del conjunto de los nmeros algebraicos, esto es de los
nmeros reales que son soluciones de ecuaciones de la forma
an xn + an1 xn1 + + a1 x + a0 = 0 con ai Z, introduce
el mtodo de diagonalizacin y con los tres resultados de enumerabilidad pone sobre el tapete la presencia del hasta entonces
inaceptable infinito actual o real, nocin esta que era rechazada
desde Aristteles en beneficio del infinito potencial.
La equipotencia entre naturales y racionales echaba por tierra
el intocable postulado de que el todo siempre es mayor que la
parte y la no enumerabilidad de los reales pona a la vista la
existencia tangible de al menos dos infinitos de tamaos diferentes. Solo esos dos hechos, con sus implicaciones matemticas
y filosficas ya bastaran para hacer que Cantor fuera parte de
la Historia.
En 1877 demuestra que los puntos de la recta real y los puntos
del espacio n-dimensional Rn con n > 1 son equipotentes y escribe nuevamente a Dedekin para manifestarle con sorpresa que
lo veo, pero no lo creo. A esa demostracin se opuso Du BoisReymond diciendo: Repugna al sentido comn. De hecho, se
trata simplemente de la conclusin de un tipo de razonamiento
que permite la intervencin de ficciones ideales a la que se hace
jugar el papel de cantidades genuinas aunque no sean siquiera

4.1 La gnesis

43

lmites de representaciones de cantidades. Ahi es donde reside


la paradoja.
Cantor continua su trabajo y entre 1878 y 1884 escribe una
serie inigualable de artculos en los Mathematishe Annalen atacando los problemas de equipotencia, de los conjuntos totalmente ordenados, de las propiedades topolgicas de R y Rn , de
la medida de un conjunto, de la concepcin del continuo, de los
conjuntos bien ordenados, de los ordinales y de los cardinales.
Tal y como era de esperarse un trabajo tan revolucionario como el de Cantor, gener una virulenta reaccin por parte de los
sectores ms tradicionalistas del mundo matemtico. La cida
crtica, encabezada por Kronecker y Schwarz, ayud a desencadenar una crisis nerviosa en el genio quin tras un receso retomara su trabajo slo hasta 1887. Entre 1895 y 1897 desarrolla
la teora de los conjuntos totalmente ordenados, la aritmtica de
ordinales, demuestra que m < 2m e intenta probar que existe
una relacin de buen orden entre los cardinales. Consigue este
resultado con ayuda de Berstein, quien prob en 1897 que si
a  b y b  a entonces a u b y de Zermelo que en 1904 estableci el Principio de Buena Ordenacin ya intudo por Cantor
desde 1883.
La persistencia de Cantor, sumada al apoyo personal y cientfico de Dedekind, consiguieron que la Teora de Conjuntos fuera
reconocida en el Congreso Internacional de Matemticas realizado en Zurich en 1897, donde Hadamard y Hurwitz con el respaldo de Hilbert, mostraron a la comunidad matemtica toda la
contundencia y todo el poder de la nueva teora al ser utilizada
en Anlisis. En resumen: a finales del siglo XIX Cantor haba
revolucionado los Fundamentos de la Matemtica, haba sido
fuertemente combatido y al final haba triunfado. Nunca una
Ciencia le haba debido tanto a un solo hombre.
El poder de la Teora de Conjuntos, representado sobre todo
por el manejo del infinito actual, pero en particular por la teora
de los nmeros transfinitos, haba seducido poco a poco a una
buena parte de los matemticos ms importantes de comienzos
del siglo XX, quienes disfrutaban de la riqueza conceptual y
tcnica que ofreca la nueva teora para sus trabajos en Algebra

44

4. RESEA HISTORICA

y Anlisis. Sin embargo, y por fortuna, todava no se poda


hablar de un final feliz.

4.2. Las Paradojas


En 1895 Cantor encuentra que la coleccin de todos los ordinales, que es una coleccin bien ordenada, no poda ser tratada
como un conjunto, pues sera de hecho un ordinal y por tanto
debera ser isomorfa con un segmento propio, lo cual es contradictorio. Esta paradoja fue publicada en 1897 por Burali-Forti
de quien recibi el nombre con el que pas a ser conocida en la
literatura especializada.
Por esa misma poca Cantor se interrogaba, en carta dirigida
a Dedekind, s la coleccin de los nmeros cardinales era realmente un conjunto, pues argumentaba que en caso de serlo, su
cardinal sera mayor que cualquier otro, generando de nuevo una
contradiccin que desde entonces se conoce como la Paradoja de
Cantor.
Aunque ambas paradojas se daban en la cpula de la Teora
de Conjuntos, Cantor vio que eran insalvables con el aparato matemtico existente y decidi que los conjuntos deberan
dividirse en dos clases: los consistentes, que no generaban problemas, y los inconsistentes, donde se ubicaran todas las colecciones contradictorias.
Siguiendo la misma lnea de razonamiento Cantor le plante
a Dedekind, en carta fechada en 1899, la imposibilidad de considerar la existencia de un conjunto universal, entendido como
aquel que contiene a todos los dems, porque estara forzado
a contener dentro de s a su conjunto de partes, lo cual a todas luces resultaba imposible. Esta paradoja se conoce como la
Paradoja del Conjunto Universal.
La situacin creada por la aparicin de esas colecciones problemticas podra haber pasado desapercibida, dado que solo tocaban aspectos muy tcnicos y en reas muy especficas de la
Teora de Conjuntos, pero comenzaron a aparecer paradojas que
afectaban la nocin misma de conjunto, lo cual dejaba un amar-

4.2 Las Paradojas

45

go sabor general de inconsistencia y resquebrajaba todo el edificio matemtico construdo sobre el basamento de dicha teora.
Las paradojas de Russell, de Richard y de Berry mostraron
que si se tomaba desprevenidamente la concepcin cantoriana de
conjunto, se corra el riesgo inmenso de generar contradicciones
maysculas, no solo en la Teora de Conjuntos sino tambin en
la Aritmtica y se pondra en grave peligro toda la Matemtica.
La paradoja de Russell apareci publicada en The Principles
of Mathematics en 1903 y retomaba, en trminos conjuntistas,
la famosa paradoja de Epimnides. Russell consider la coleccin M = {x : x
/ x} o sea la coleccin formada por todos los
elementos que no se pertenecen a si mismos y se pregunt si
M M.
Si M M entonces M debe satisfacer la propiedad definitoria, esto es, M
/ M , pero si M
/ M entonces M satisface la definicin y por tanto M M. Es decir se cumple que
M M M
/ M y la contradiccin salta a la vista.
En 1905 Richard, en carta dirigida al editor de la Revue
Gnrale des Sciences Pures et Appliques, plante la contradiccin que hoy lleva su nombre. En apariencia Richard parece
haber desarrollado su paradoja a partir de algunas notas presentadas por Hadamard en el Congreso de Heidelberg de 1904,
alrededor de las inconsistencias de Zermelo-Knig sobre la posibilidad de bien ordenar el continuo y de Cantor-Burali-Forti
sobre las nociones de conjuntos bien ordenados. La paradoja se
puede presentar como sigue.
Un subconjunto de nmeros naturales se llamar richardiano
si es un conjunto infinito, con complemento infinito, que puede
ser descrito en un nmero finito del palabras de un lenguaje
natural dado, por ejemplo el castellano.
El conjunto de los nmeros primos es un buen ejemplo de
un conjunto richardiano, pues es un subconjunto infinito de los
naturales, su complemento es infinito y la pertenencia a l se
puede describir con la expresin finita un nmero natural es
primo s y solo s tiene exactamente dos divisores.
Dado que en cualquier lenguaje natural las expresiones finitas,
que describen conjuntos nmericos infinitos con complemento

46

4. RESEA HISTORICA

infinito es enumerable, se puede considerar que E0 , E1 , . . . , Ei , . . .


es una enumeracin de dicha lista.
A cada expresin Ej corresponde un conjunto richardiano Rj
que puede ser codificado mediante un par ordenado de nmeros
naturales de la forma (aj , bj ) as: al conjunto R0 , descrito por
la expresin E0 , se le asigna la pareja (a0, b0 ) , donde a0 es el
menor natural que pertenece a R0 y b0 es el menor natural que
no pertenece a R0 . La existencia de ambos est garantizada
dado que R0 es richardiano y tanto l como su complemento
son infinitos, adems dado que los naturales son un conjunto
bien ordenado siempre se puede hallar el menor natural a0 y el
menor natural b0 .
Al conjunto R1 se le asigna el par (a1, b1 ) , donde a1 es el
menor natural que est en R1 , b1 es el menor natural que no
est en R1 y adems a0 6= a1 , a0 6= b1 , a1 6= b0 y b0 6= b1 .
O sea, los nmeros usados para la codificacin de un conjunto richardiano cualquiera no se repiten cuando se codifica otro
conjunto richardiano.
El proceso continua de manera recursiva asignando al conjunto Ri la pareja (ai , bi ) , de modo que ai es el menor natural que
est en Ri , bi es el menor natural que no pertenece a Ri y los dos
nmeros difieren de todos los nmeros usados en los cdigos anteriores. La infinitud de cada Ri y de su complemento y el buen
orden de N garantizan que siempre habr cdigos disponibles.
Ahora se puede considerar un nuevo conjunto B, contenido en
los naturales y formado por todas las segundas componentes de
los cdigos asignados. B es claramente un conjunto de naturales,
infinito, de complemento infinito y est descrito por un nmero
finito de palabras del castellano. Por tanto B es un conjunto
richardiano y la expresin que lo describe debe ser una de las
expresiones colocadas en la enumeracin.
Esto es, la descripcin de B es la expresin Ep y por tanto B
es el conjunto richardiano Rp . Luego B debe tener un cdigo
(ap, bp ) donde bp no pertenece a Rp , esto es bp no pertenece a B,
lo cual es contradictorio dado que B se construy con todas las
segundas componentes de los cdigos.

4.2 Las Paradojas

47

Esta paradoja, a pesar de su clara connotacin semntica,


tuvo un impacto grande ya que tocaba de manera directa al
conjunto de los nmeros naturales y dejaba en una incmoda
posicin a la Aritmtica y a todo el aparato matemtico que se
sustentaba sobre ella.
La ltima paradoja que se considerar aqu ser la de Berry,
que sin recurrir a una construccin tan complicada y aparatosa
como la de Richard, tambin tocaba sin disimulo el inmaculado
mundo de los naturales. Esta paradoja fue publicada por Russell
en 1906 y su versin original es como sigue: Algunos ordinales
son definibles en un nmero finito de palabras. Supongamos que
existe algn ordinal que no se puede definir as. Los ordinales
menores que este particular forman una serie bien ordenada.
Por lo tanto, si entre ellos hay algunos que no son definibles en
un nmero finito de palabras, hay uno que debe ser el mnimo
que no es definible en un nmero finito de palabras. Pero esto
es absurdo, pues acabo de definirlo en [veintitrs] palabras
La versin ms difundida de esta paradoja puede plantearse
as:
Sea T el conjunto de todos los nmeros naturales que pueden
ser descritos en menos de dieciseis palabras francesas. Como solo
existe un nmero finito de palabras francesas, entonces existe
un nmero finito de combinaciones de dieciseis palabras que
describan conjuntos de nmeros naturales. Por lo tanto T es
finito. Como es obvio, dado que se trabaja sobre N, existirn
naturales mayores que todos los elementos de T y por lo tanto
gracias al buen orden de N existe el menor natural que no
puede ser descrito en menos de dieciseis palabras francesas.
Por definicin ese nmero no puede estar en T pero ese nmero
acaba de ser descrito en catorce palabras y por tanto debe estar
en T.
Vale la pena anotar que en el texto francs original la frase
de descripcin requiere de quince palabras: le plus petit naturel
qui nest pas dfinissable en moins de seize mots francais.
Si se revisa con juicio la literatura pertinente es posible encontrar otras paradojas, pero ser evidente desde esa misma
revisin, que las ya mencionadas son las ms relevantes y signi-

48

4. RESEA HISTORICA

ficativas dentro de ese fenmeno que el mundo matemtico llam


la Crisis de los Fundamentos y cuya aparicin puso a prueba toda la capacidad creativa de la que ha sido posiblemente la ms
poderosa generacin de matemticos de toda la historia.

4.3. Las respuestas


El reto planteado por la Crisis de los Fundamentos fue de una
magnitud tal, que las diferentes corrientes matemticas, con sus
correspondientes transfondos filosficos, se dieron a la tarea de
buscar salidas que solventaran la crisis y que permitieran a la
Matemtica continuar con su desarrollo y consolidacin, en un
mundo que cada vez era ms consciente de la importancia y de
la necesidad de contar con una herramienta cientfica, slida y
confiable, que sostuviera los avances que se vean y se presentan
en otras reas del conocimiento humano.
La comunidad cientfica de comienzos del siglo XX no poda
darse el lujo de permitir que la aparicin de las paradojas pusiera
en peligro mortal todo el trabajo de depuracin que se haba hecho sobre la base de la Teora de Conjuntos, pero tampoco poda
negar que esas contradicciones, rebuscadas o no, eran una bomba de tiempo colocada en los cimientos mismos de la Matemtica
y que esa amenaza exiga una respuesta pronta, contundente y
consistente.
Tres escuelas de pensamiento enfrentaron el desafo, cada una
con ms ahnco que las otras, en una lucha intelectual que enfrent a las mentes ms lcidas del planeta durante un buen
nmero de aos y cuyos debates, afirmaciones y tcnicas siguen
siendo objeto de trabajo cien aos ms tarde.
4.3.1.

El Logicismo

La Escuela Logiscista haba intentado, desde la segunda mitad


del siglo XIX y bajo la batuta directora de Gottlob Frege, reconstruir la Lgica y dentro de ella toda la Matemtica. Aunque la
aparicin de las paradojas fren el trabajo de Frege, la idea fue
continuada por Russell y Whitehead, quienes entre 1910 y 1913

4.3 Las respuestas

49

desarrollaron una obra monumental: la Principia Mathematica,


en la cual expusieron su filosofa y sus resultados.
Para ellos se partira del desarrollo de la Lgica y de ahi se
seguira a la Matemtica sin necesidad de explicitar axiomas
puramente matemticos. El desarrollo de la Lgica consistira en
establecer para ella un sistema de axiomas del cual se deduciran
los teoremas para ser usados en razonamientos posteriores.
La Escuela Logicista creo la Teora de Tipos, que con base
en algunos conceptos indefinidos tales como proposicin, funcin proposicional, afirmacin de la verdad de una proposicin,
negacin de una proposicin y disyuncin de dos proposiciones
clasifica los conjuntos de acuerdo con el siguiente esquema: los
objetos individuales no tienen elementos y son de nivel 0, una
coleccin de objetos de nivel 0 es un conjunto de nivel 1 y en
general una coleccin de objetos de nivel n ser un conjunto de
nivel n + 1.
As pues en la Teora de Tipos la expresin x z solo tiene
sentido entre objetos de niveles consecutivos, esto se si x es de
nivel n y z es de nivel n + 1. Esta restriccin impide la aparicin
de expresiones como x
/ x y la paradoja de Russell ni siquiera
puede plantearse.
En la Teora de Tipos los nmeros reales son de un nivel ms
que los nmeros racionales y estos a su vez son de un nivel
ms que los enteros, que se encuentrasn un nivel por encima de
los naturales. Esta tcnica evita problemas y paradojas pero
complica hasta lo inimaginable el trabajo matemtico. Weil,
al referirse a la muy compleja estructura del logicismo afirm:
pone a prueba la fuerza de nuestra fe apenas menos que las
doctrinas de los primeros padres de la Iglesia o de los filsofos
escolsticos de la Edad Media.
Esa increble e inmanejable complejidad estructural hizo que
Russell recurriera a artificios de otra escuela, creando lo que
llam el axioma de reducibilidad, que le permita garantizar que
para cualquier funcin proposicional, de cualquier tipo, exista
una funcin proposicional equivalente de tipo 0.
Aunque esto permita hacer Matemticas de manera ms prctica y expedita, pero le quit peso a las ideas logicistas, haciendo

50

4. RESEA HISTORICA

que en un tiempo relativamente corto estas fueran abandonadas


por la mayora de los matemticos. Compleja o no, inmanejable
o no, la escuela logicista hizo un formidable esfuerzo de formalizacin cuya importancia para la Lgica Matemtica nadie
niega.

4.3.2.

El Intuicionismo

Una segunda corriente de pensamiento, llamada Escuela Intuicionista, plante un enfoque radicalmente diferente para la
Matemtica. Kronecker puede ser considerado como el primer
intuicionista, pues para l era posible aceptar los nmeros naturales a la luz de la intuicin y como obra de Dios, pero lo dems
era obra del hombre y por tanto digno de toda sospecha.
Su ideal era que todo teorema del Anlisis se pudiera escribir e
interpretar en trminos de relaciones entre naturales. Su segunda
gran objecin al trabajo de los no intuicionistas era la ausencia
, en muchas partes de la Matemtica, de mtodos o criterios
constructivos para determinar, en un nmero finito de pasos,
los objetos que manejaban y las propiedades que de ellos se
obtenan.
En su opinin las definiciones deberan incluir los medios
necesarios para calcular efectivamente el objeto definido y las
demostraciones de existencia deberan permitir con cualquier
grado de aproximacin, el clculo del objeto cuya existencia se
afirmaba.
Con respecto al axioma de reducibilidad de los logicistas asegur que la definicin de reducibilidad est desprovista de fundamento seguro mientras no se de un mtodo en virtud del cual
se pueda decidir si una funcin dada es reducible o no. Es
curioso anotar que aunque la mayora de esas observaciones
fueron planteadas entre 1870 y 1880, solo comenzaron a tener seguidores a partir de la aparicin de la Teora de Conjuntos
y de la crisis de los Fundamentos.
Un segundo gran defensor de los principios intuicionistas fue
Poincare, quien siempre ridiculiz el intento de basar la Matemtica en la Lgica, argumentando que ese esfuerzo solo lograra

4.3 Las respuestas

51

convertir a la Matemtica en una gran tautologa. Rechazaba


todo concepto que no fuera definible en un nmero finito de
palabras. Para l, un conjunto formado con la ayuda del axioma de eleccin no estaba realmente definido si la eleccin se
haba hecho sobre una familia infinita de conjuntos. Comparti
con Kronecker la defensa de las definiciones y las demostraciones constructivas. En esa misma lnea de pensamiento se formaron matemticos como Baire, Hadamard y Lebesgue quienes
aparte de rechazar la posibilidad de hacer infinitas elecciones
simultneas a la luz del axioma de eleccin, tambin objetaron
la fundamentacin axiomtica de la Aritmtica y la existencia
de los nmeros trascendentes.
Sin demeritar los trabajos y los aportes de los ya mencionados
se puede asegurar que el verdadero fundador del intuicionismo
fue el matemtico holands Brouwer quien desde su tesis doctoral Sobre los Fundamentos de la Matemtica comenz a desarrollar la filosofa intuicionista. Segn l, la intuicin fundamental
es la presencia de percepciones en una sucesin temporal. De
acuerdo con su tesis, la mente humana construye el concepto de
nmero natural despues de repeticiones ilimitadas de percepciones. Brouwer concibe el pensamiento matemtico como un
proceso de construccin que crea su propio universo, independiente del universo fsico y fctico de la experiencia y que est
restringido nicamente por la intuicin matemtica fundamental.
Brouwer no reconoce la obligatoriedad a priori de los principios lgicos y no acepta que sea tarea de las Matemticas el
deducir conclusiones a partir de axiomas. Para l la Matemtica
no est obligada a respetar las leyes de la Lgica ya que en su
opinin, es sta quien se apoya en aquella y no al contrario.
Desde esa perspectiva epistemolgica las paradojas, includa
la de Russell, no son planteables en el universo intuicionista,
pues las colecciones que generan conflicto no son construibles
paso a paso partiendo de los naturales y por tanto pierden todo
su inters. Como complemento a la visin intuicionista sobre la
Matemtica y su desarrollo, vale la pena anotar que esta escuela
rechaza el Principio del tercero excludo, cuya afirmacin de que

52

4. RESEA HISTORICA

toda proposicin es verdadera o falsa es fundamental para las


demostraciones indirectas. Ese rechazo abre la posibilidad para
la existencia de proposiciones indecidibles, en particular en el
mundo de los conjuntos infinitos, a los cuales se concibe con
la visin aristotlica de infinito en potencia, pero nunca como
infinito de acto.
El intuicionismo no se limit al mero acto de criticar y por
el contrario ha intentado recosntruir la Matemtica desde su
visin finitstica y construccionista. Hoy es posible conseguir en
la bibliografa especializada resultados de impacto que habran
sido impensables en tiempos de Brouwer o Weil.

4.3.3.

El Formalismo

La tercera respuesta a la Crisis de los Fundamentos provino de


la denominada Escuela Formalista, que usando el mismo tipo de
herramientas con que Euclides y Peano trabajaron la Geometra
y la Aritmtica, intent establecer un sustento para el sistema
nmerico sin recurrir a la Teora de Conjuntos, para demostrar
luego su consistencia. Si lo hubieran logrado se habra deducido
tambin la consistencia de la Geometra.
Aunque Hilbert present sus puntos de vista en el Congreso
Internacional de Matemticas de 1904, se alej del tema durante
quince aos, hasta que la virulencia de los ataques intuicionistas
al Anlisis Clsico lo hizo regresar, esta vez para quedarse, a enfrentar los problemas de los Fundamentos. Defendi sus tesis en
una serie de publicaciones hechas en la dcada de los aos veinte
y consigui gradualmente la adhesin de un muy importante
sector de la comunidad matemtica, entre quienes se contaban
algunos de los ms prominentes matemticos contemporneos.
El Formalismo incluye diversos aspectos, entre los cuales esta
la tendencia a que cualquier fundamentacin de las matemticas debe contar con la Lgica, haciendo que ambas deban ser
tratadas al mismo tiempo. Para los formalistas la Lgica es
un lenguaje simblico que permite expresar las proposiciones
matemticas mediante frmulas, reduciendo el razonamiento a

4.3 Las respuestas

53

un proceso deductivo formal, basado en un sistema de reglas


donde los smbolos carecen de un significado especfico.
En 1926 Hilbert afirm que los objetos del pensamiento matemtico son los smbolos mismos, convirtiendlos en la esencia y dejando a un lado las representaciones de objetos fsicos ideales.
Con relacin al rechazo intuicionista al uso del tercero excludo dijo: Prohibirle a un matemtico usar el principio del tercio
excluso es como prohibirle a un astrnomo usar su telescopio o
a un boxeador el uso de sus puos.
Para el formalismo las Matemticas son una coleccin de
sistemas formales, cada uno con su propia lgica y su propia
matemtica, esto es, son sistemas independientes donde cada
uno tiene sus propios smbolos primitivos, sus propios conceptos, sus propios axiomas, sus reglas de deduccin y sus propios
teoremas.
A pesar de esa limpieza terica, casi quirrgica, los formalistas seguan teniendo el problema de demostrar la inexistencia de
contradicciones dentro de cada sistema. Para ello Hilbert y algunos de sus alumnos ms aventajados, entre ellos Ackermann,
Bernays y Von Neumann, desarrollaron entre 1920 y 1930 la
Teora de la Demostracin, desde la que pretendan, con base
en una lgica plena de razonamientos concretos, procedimientos
y construcciones finitistas, muy prximas al pensamiento intuicionista, demostrar la consistencia de toda la Matemtica y
dado que buena parte de la Matemtica Clsica puede reducirse
a la Aritmtica de Peano, la demostracin de su consistencia
pas a ser el problema ms importante del formalismo.
Infortunadamente para el programa formalista, pero afortunadamente para el ego del hombre, aparece en 1931 un artculo de Gdel titulado Uber Unentscheisdbare Stzeder Principia
Mathematica und Verwandter Systeme I, donde demuestra que
cualquier teora formal axiomatizable que contenga a la Teora
de Nmeros, esto es a la Aritmtica, es incompleta.
Ese resultado conocido como el Teorema de Incompletitud de
Gdel y que demuestra que en las teoras formales que incluyen
la Aritmtica existen proposiciones para las cuales no es posible deducir ni su afirmacin ni su negacin, puso una frontera

54

4. RESEA HISTORICA

insospechada e inesperada a la ambicin formalista y de paso al


sueo humano de alcanzar algn da el conocimiento total. Este
teorema junto con sus implicaciones le dio a Weil la oportunidad
de afirmar que Dios existe porque la matemtica es consistente
y que el diablo existe porque no es posible demostrar esa consistencia.
Para Zermelo como para otros reputados matemticos, las
paradojas tenan cabida en la Teora de Conjuntos porque Cantor no haba restringido de modo adecuado la nocin de conjunto, permitiendo que se hablara de toda coleccin y dentro
de ellas de todo elemento aceptable por la mente, dejando as el
espacio suficientepara que entraran colecciones tan amplias y
conflictivas como las propuestas por Russell y Richard.
Zermelo limit su trabajo a los que Cantor llamo conjuntos
consistentes, por considerar que con ellos era suficiente para
el trabajo matemtico y con eso en mente present en 1908 un
sistema de axiomas basado en conceptos y relaciones fundamentales definidas de un modo implcito por los mismos axiomas.
Para l la nocin de conjunto y la relacin de pertenencia
eran esenciales y no poda usarse ninguna propiedad conjuntista
a menos que estuviese garantizada por uno o varios axiomas.
Su idea bsica era la de admitir slo aquellas colecciones de
elementos de las que no se pudiera, de manera verosmil, derivar
una contradiccin. Para ello parta de clases seguras y estableca
reglas para formar nuevas clases igualmente seguras.
Dentro de las clases seguras consider sin dudarlo a la clase
vaca, a cualquier clase finita y a la clase de los nmeros naturales. Incluy dentro de las clases seguras a las subclases de una
clase segura y a la clase de todas las subclases de una clase segura, pero evit tajantemente un axioma que le brindar seguridad
al complemento de una clase segura por temor a terminar aceptando colecciones demasiado grandes en las que cualquier cosa
pudiera suceder.
El sistema propuesto por Zermelo fue mejorado por Fraenkel
en algunos artculos publicados en 1921 y fue modificado por
Von Neumann en 1925, quien introdujo las nociones de elemento y de clase propia, en un esfuerzo por acercarse a las nociones

4.3 Las respuestas

55

de conjunto y multiplicidad que se haban propuesto en la teora


cantoriana original como mecanismo para diferenciar los conjuntos decentes de las colecciones demasiado grandes.
La modificacin planteada por Von Neumann di oportunidad
a la aparicin de dos alternativas axiomticas para la Teora de
Conjuntos, que aunque diferentes en su enfoque de partida, son
equiconsistentes, esto es, llegan a los mismos resultados cuando
ambas se refieren a los objetos llamados conjuntos.
Los dos sistemas hoy conocidos como Zermelo-Fraenkel-Skolem
y Von Neumann-Gdel-Bernays, introdujeron mecanismos formales para evitar las paradojas y para tener cierta certeza de
estar haciendo Matemticas en un mundo seguro.
Ambos sistemas usaron los lenguajes formales definidos por
Skolem, evitando as las paradojas semnticas, y cada uno de
ellos contempl un axioma que le permitiera evadir la paradoja
de Russell.
El sistema Z-F-S propuso el axioma de seleccin diciendo que
si A es un conjunto y S(x) es un enunciado sobre x con sentido
para todos los x de A, entonces existe un conjunto formado por
todos los elementos de A que hacen verdadero a S(x). De ese
modo si se considera la clase de Russell, slo se podr escribir
como M = {x A : x
/ x} donde A es un conjunto dado.
As M M es imposible porque implicara M
/ M que es
contradictorio. Luego M
/ M y por tanto M
/ A porque si
M A se tendra M M y otra vez contradiccin. Mejor
dicho, en Z-F-S la clase de Russell no es contradictoria porque el
argumento de anlisis solo prueba que no pertenece al conjunto
referencial.
VN-G-B planteo el axioma de construccin de clases diciendo
que dado un enunciado S(x) existe una clase formada por todos
los elementos que satisfacen S(x). Aqu es pertinente anotar que
para Von Neumann un elemento es cualquier clase que pertenece
a otra clase y donde una clase es propia si no pertenece a alguna
otra clase. La clase de Russell quedara entonces escrita como
sigue: M = {x : x es elemento y x
/ x}. Si se repite el argumento
del prrafo anterior se llegar a que M no es un elemento y por
tanto no habr contradiccin.

56

4. RESEA HISTORICA

Las dos teoras lograron de esa manera salvar el obstculo


propuesto por las paradojas y permitieron la consolidacin de la
Teora de Conjuntos dando a Hilbert la oportunidad de decir en
1926 nadie podr expulsamos del paraso que Cantor ha creado
para nosotros
Para esa poca se podia afirmar que Cantor haba propuesto
una nueva rama de la Matemtica, haba sido criticado agriamente, su teora haba sido puesta en entredicho, pero que finalmente la Teora de Conjuntos haba llegado para quedarse.