Page 167 - 30 Cantor

NICOLAS BOURBAKI
Nicolas Bourbaki, según una biografía
apócrifa, seria un general del ejército
francés, de ascendencia griega, quien
después de retirarse de la milicia se ha-
bría dedicado al estudio de las matemá-
ticas; su residencia actual seria la inexis-
tente ciudad de Nancago, nombre que
parece provenir de la combinación de los
de las ciudades de Nancy, en Francia, y
Chicago, en Estados Unidos, y a cuyas
universidades habrían estado ligados
algunos de los «creadores» de Bourba-
ki. En realidad, «Nicolas Bourbaki» es el
seudónimo colectivo que a mediados de
la década de 1930 adoptó un grupo de
matemáticos, en su mayoría franceses.
Según se dice, el grupo eligió tomar este Imagen ficticia del «general Nicolas
Bourbaki».
seudónimo, en parte como broma, y en
parte para evitar que sus obras colecti-
vas estuvieran firmadas por una larga lista de nombres. Aunque casi todos
sus miembros han preferido mantener en secreto su pertenencia al grupo, se
sabe que este ha tenido siempre unos diez o veinte integrantes, y que entre
sus fundadores estuvieron los notables matemáticos franceses André Weil
(1906-1998), Jean Dieudonné (1906-1992) y Claude Chevalley (1909-1984).

(a la que llamaremos, para abreviar, HC). Recordemos que HC es
la coltjetura, planteada por Cantor, de que t'• = X . Ahora bien, en
1
1940 Kurt Godel demostró que, a partir de cualquiera de los siste-
mas de axiomas habitualmente usados para la teoría de coltjuntos,
es imposible demostrar que la igualdad 2~ = X es falsa.
0
1
Pero en 1963 el matemático norteamericano Paul Cohen
(1934-2007) demostró a su vez que tampoco puede probarse que
2~ = X es verdadera. Es decir, la hipótesis del continuo no puede
0
1
ser demostrada, pero tampoco refutada por ninguno de los siste-
mas de axiomas de la teoría de coltjuntos usados habitualmente.
Entonces, ¿es verdadera o es falsa? Para el formalismo, la pre-

LAS PARADOJAS DEL INFINITO 167