Page 30 - 18 Godel
P. 30

4, 5, ... podemos reunirlos en una totalidad que llamamos «co:ajunto
                      de los números naturales». Los números son los  «elementos» o
                      «miembros» de esa totalidad y el cortjunto pasa a ser un «objeto» en
                      sí mismo, factible de ser estudiado. Podemos pensar también en el
                      cortjunto formado solamente por el número 1,  o por los días de la
                      semana, o por las personas nacidas el 20 de julio de 1899. La teoría
                      de cortjuntos es, entonces, el estudio de las propiedades y las rela-
                      ciones mutuas de los cortjuntos o totalidades.


           «La teoria de cortjuntos [infinitos] es un campo en el que nada es
          evidente por sí mismo, cuyos enunciados verdaderos son a
          menudo paradójicos y cuyos enunciados plausibles son falsos.»
          -  FÉLIX HAUSDORFF,  MATEMÁTICO  ALEMÁN,  EN  1914.

                          La propuesta de Cantor era definir los números y sus opera-
                      ciones a partir de los co:ajuntos. ¿Cómo puede hacerse esto? Por
                      ejemplo, el número O puede definirse como la cantidad de elemen-
                      tos del cortjunto vacío ( que es el cortjunto que no tiene miembros).
                      El número 1 puede definirse como la cantidad de elementos de
                      cualquier co:ajunto que cumpla la propiedad:  «el co:ajunto tiene
                      algún miembro, y además si x e y son miembros del co:ajunto en-
                      tonces x = y».
                          Por otra parte,  tenemos  la  operación  cortjuntista llamada
                      «unión».  Dados dos cor\juntos, la unión de ambos consiste en reu-
                      nir en un nuevo cortjunto a los elementos de ambos. Por ejemplo,
                      la unión del co:ajunto que contiene como elemento a la ciudad de
                      París y del que contiene a la ciudad de Roma, es el co:ajunto que
                      contiene a ambas ciudades a la vez. La suma de números se puede
                      definir, según la propuesta de Cantor, a partir de esta operación
                      cor\juntista. Si n es la cantidad de elementos de un cortjunto y m es
                      la cantidad de elementos de otro ( que no tenga elementos en común
                      con el primero), entonces n + m se puede definir como la cantidad
                      de elementos del resultado de la unión de los dos co:ajuntos.
                          Como era esperable, y como el mismo Cantor probablemente
                     había previsto, su teoría de los infinitos generó un fuerte rechazo.
                     Su antiguo maestro, Leopold Kronecker, llegó a decir de Cantor





          30         LA CRISIS DE  LOS FUNDAMENTOS
   25   26   27   28   29   30   31   32   33   34   35