31.10.06

Gödel y Turing (Parte 12)

(A la parte 11 - A la parte 13)

Infinito potencial e infinito actual

En esta parte y en la siguiente vamos a estudiar el contexto histórico en el que Gödel desarrolló sus teoremas, paso indispensable para comprender cabalmente el enunciado de esos teoremas. La historia, curiosamente, comienza en el infinito.

¿Qué queremos decir cuando, en geometría, afirmamos que una recta es infinita? Hoy en día esta afirmación suele entenderse en el sentido de que la recta se prolonga indefinidamente en ambas direcciones y que tiene por lo tanto una longitud efectivamente infinita.

Sin embargo, no siempre los matemáticos interpretaron de esta manera la idea de infinitud. Hacia el siglo III a.C. Euclides de Alejandría reunió gran parte del saber geométrico de su época en una única obra, que llamó Elementos. Euclides estructuró estos conocimientos geométricos en un sistema axiomático, basado en unos pocos axiomas de los que todos los demás resultados se deducían como teoremas. Siguiendo una idea de Aristóteles, los axiomas de Euclides estaban divididos en dos grupos: las Nociones Comunes y los Postulados.

Las Nociones Comunes (cuya cantidad exacta varía según las ediciones de Elementos) son principios generales del razonamiento, válidos en cualquier contexto, como por ejemplo que “dos cosas iguales a una tercera son iguales entre sí”. Los Postulados, en cambio, son axiomas propios de la Geometría. Su número también varía con las ediciones, pero la tradición más difundida asegura que son cinco y el segundo de ellos afirma que “una recta puede prolongarse por cualquiera de sus extremos”.

Ahora bien ¿cómo puede prolongarse una recta si ya es de por sí infinita? Es que para Euclides una recta no es una línea infinita (en el sentido en que hoy en día se entiende esta palabra), sino que es un segmento de longitud finita que puede ser prolongado tanto como se quiera. Vemos aquí claramente las dos concepciones posibles del infinito: la llamada “concepción potencial” y la “concepción actual”.

En la concepción potencial, el infinito siempre existe en potencia, nunca en acto. Este punto de vista sostiene que podemos acercarnos al infinito tanto como queramos, pero que nunca podremos alcanzarlo realmente. Ésta es, precisamente, la concepción que Euclides revela en su segundo postulado: una recta es un segmento de longitud siempre finita que puede prolongarse tanto como se requiera. Dentro de la misma idea, cuando Euclides, también en Elementos enuncia que existen infinitos primos, lo dice así: se puede superar cualquier cantidad dada de números primos. La noción de límite en el Análisis muestra otro ejemplo de concepción potencial del infinito.

Por el contrario, en la concepción actual del infinito (“actual” en el sentido de “en acto”, no en el sentido de “moderno”) la infinitud es, de hecho, alcanzable. Desde este punto de vista, cuando decimos que una recta es infinita queremos decir que su longitud es realmente infinita, y que la línea se extiende indefinidamente en ambas direcciones (y, por ende, no puede ser prolongada). Por otra parte, cuando decimos que hay infinitos números primos es que hay infinitos.

A lo largo de casi toda la historia de la Matemática, desde la Antigüedad Clásica y hasta más o menos el año 1872, la única concepción del infinito considerada como válida era la del infinito potencial. A modo de ejemplo, en 1831 Carl F. Gauss había escrito: “Protesto contra el uso de una cantidad infinita como si fuera una entidad real, esto nunca se permite en las matemáticas. El infinito es sólo una manera de hablar, en la cual propiamente se habla de los límites a los que ciertas razones pueden acercarse tanto como se desee.” El infinito actual era unánimemente rechazado.

En 1872, sin embargo, en el marco de una investigación sobre series de Fourier, el matemático ruso Georg Cantor (1) fue llevado a introducir la idea de infinito actual (2). Desde ese año y hasta 1897 Cantor publicó una serie de artículos en los que investigó y en los que, además, introdujo por primera vez en la historia la noción de conjunto. Cantor define la noción de conjunto de la siguiente manera: “Por conjunto entendemos cualquier reunión en un todo M de objetos bien definidos e individualizados de nuestra intuición o nuestro pensamiento. Estos objetos serán llamados los elementos de M”.

Tal como era de esperar, la teoría de Cantor generó grandes controversias, especialmente en los círculos científicos más conservadores de la Alemania de esa época y muy especialmente de parte del muy influyente y muy conservador Leopold Kronecker (3). Sin embrago, a pesar de esta oposición, lentamente la teoría de conjuntos cantoriana fue ganando adeptos y, hacia fines del siglo XIX, se había transformado en una herramienta central de la Matemática. (4) Por ejemplo, muchas ramas del Análisis Matemático creadas a fines del siglo XIX y principios del XX se apoyaban fuertemente en la noción de conjunto. Por otra parte, cada uno de ellos independientemente de los otros, el propio Cantor, Richard Dedekind y Gottlob Frege se propusieron el objetivo de fundamentar toda la Matemática en la teoría de conjuntos. En los tres casos, los números enteros positivos eran definidos como las cantidades de elementos (o cardinales) de los conjuntos finitos y las operaciones numéricas eran entonces definidas a partir de las operaciones conjuntistas.

Podemos decir que a principios del siglo XX la teoría de conjuntos Cantor se había transformado en la columna vertebral de todos los nuevos desarrollos en Matemática. La crisis, la llamada Crisis de los Fundamentos, se precipita cuando se descubre que la teoría de Cantor es inconsistente.

En 1902 Bertrand Russell descubre la llamada “Paradoja de Russell”, que demuestra que la noción misma de conjunto, tal como la define Cantor es contradictoria. Veamos la explicación de la paradoja. Todo conjunto no vacío tiene elementos. Pensemos, por ejemplo, en un conjunto formado por tres caballos, sus elementos son esos tres caballos. Pero el conjunto en sí mismo no es caballo, por lo que el conjunto no es elemento de sí mismo. Otro ejemplo, el conjunto {1,2} tiene como elementos al número 1 y al número 2, pero ni el número 1 ni el 2 es {1,2}, luego {1,2} no es elemento de sí mismo.

¿Hay conjuntos que sean elementos de sí mismos? Sí los hay. Por ejemplo, el conjunto formado por todos los conjuntos es también un conjunto y, por lo tanto, es elemento de sí mismo. El conjunto de todas las ideas abstractas es también una idea abstracta, por lo tanto es también elemento de sí mismo.

Ahora bien dado que, según Cantor, podemos reunir en un conjunto objetos cualesquiera de nuestra intuición o nuestro pensamiento, podemos entonces definir el conjunto R cuyos elementos son todos los conjuntos que no son elementos de sí mismos.

R = {A : A no es elemento de sí mismo}

¿Es R elemento de sí mismo?

Si R fuera elemento de sí mismo, entonces no cumpliría la condición que define a R y, por lo tanto, R sería elemento de R. Es decir, si R fuera elemento de sí mismo entonces no sería elemento de sí mismo. Esto es una contradicción.

Deducimos del párrafo anterior que R no puede ser elemento de sí mismo. Pero si R no fuese elemento de sí mismo, entonces cumpliría con la condición que define a R y en consecuencia sería elemento de R. Entonces, si R fuese elemento de sí mismo deduciríamos que no lo es. Otra contradicción. (5)

La contradicción es inevitable, por lo tanto es la Teoría de Conjuntos la que es en sí misma contradictoria. Este descubrimiento precipitó una gran crisis en la Matemática, tanto más porque, como dijimos antes, la Teoría de Conjuntos se había transformado en uno de sus pilares centrales. (6) ¿Qué sucedió entonces? Eso es lo que veremos en la próxima parte.

Notas:

(1) Georg Cantor nació en San Petersburgo, Rusia, en 1845, aunque estudió y vivió casi toda su vida en Alemania. Cantor murió en Halle, Alemania, en 1918.

(2) La idea del infinito actual era contraria a toda la educación que había recibido Cantor como matemático y no le resultó fácil aceptar esa noción como válida. Cantor escribió en 1883: “La idea de considerar lo infinitamente grande no sólo en la forma de una magnitud que se incrementa ilimitadamente [...] sino también de fijarlo matemáticamente por medio de números en la forma definida del infinito absoluto me fue impuesta lógicamente, casi contra mi voluntad puesto que es contraria a las tradiciones que yo había llegado a venerar en el curso de muchos años de esfuerzos e investigaciones científicas.”

(3) Kronecker llevó su antagonismo mucho más allá del terreno puramente intelectual, presionando a las revistas alemanas para que no publicaran artículos de Cantor y a las principales universidades para que no lo admitieran en su plantel docente.

(4) Se atribuye al físico Max Planck la idea de que si una noción científica controvertida logra a la postre imponerse, este éxito no se debe a que quienes se oponían a la idea llegan finalmente se convencerse de ella, sino a que los que se oponían eventualmente mueren y nace una nueva generación de científicos para quienes esa idea no es revolucionaria pues “siempre estuvo allí”. Ciertamente éste es el caso de la teoría de Cantor. Leopold Kronecker, su gran enemigo, falleció en 1891, mientras que David Hilbert, quien fuera su gran defensor, nació en 1862 y tenía 10 años de edad cuando Cantor publicó sus primeros artículos sobre el infinito.

(5) Posteriormente, Bertrand Russell dio una versión popularizada de esta paradoja. Pensemos, dijo Russell, en un pueblo en que hay un solo barbero, que afeita a todos los hombres que no afeitan a sí mismos. Ahora bien, el barbero, que es también un hombre ¿debe afeitarse a sí mismo? Como en el caso del conjunto R, se llega a conclusión de que se afeitará a sí mismo si y sólo si no se afeitará a sí mismo.

(6) La Teoría de Conjuntos de Cantor es hoy en día conocida como Teoría Ingenua o Teoría Intuitiva de Conjuntos. Hasta donde se sabe, en esta teoría sólo aparecen contradicciones cuando se trabaja con conjuntos “muy grandes” como el conjunto de todos los conjuntos. La actual teoría de conjuntos (la teoría “oficial”) es la Teoría Axiomática de Zermelo-Fraenkel. En esta teoría se hace una distinción entre “conjuntos” y “clases propias”. A cada propiedad le corresponde una “clase”, algunas clases pueden elementos de clases más grandes, a esas clases se las llama “conjuntos”. Otras clases no pueden ser elementos de ninguna otra clase y se las llama “clases propias”. Ningún conjunto es elemento de sí mismo. Estas distinciones de lenguaje evitan la paradoja de Russell. La clase de todos los conjuntos que no son elementos de sí mismo coincide con la clase de todos los conjuntos y, como es una clase propia, no es elemento de sí misma (ni de ninguna otra clase) sin que haya en ello ninguna contradicción.

(A la parte 11 - A la parte 13)

1 comentario:

El Burgués Apóstata dijo...

Tomé tu explicación de la refutación de Russell para un post mío, tal vez no tan efectivo.
Gracias