CON GUSTAVO PIEIRO

Reportaje de Agustn Romano

Todos los viernes, un grupo entusiasta de personas nos reunimos como
para celebrar un rito. No estara del todo equivocado si dijramos: un rito
pitagrico, pues lo que nos convoca es un clebre teorema. No el del
cuadrado de la hipotenusa sino el teorema de incompletitud de Gdel.
Quien oficia de numen es Gustavo Pieiro.
Sin embargo, los que, con asiduidad y fervor, nos reunimos en un
aula de la Facultad de Ciencias Exactas de la UBA, no creemos
pertenecer a ningn grupo esotrico, sino que somos un conjunto
heterogneo de personas de distintas edades y profesiones (ingenieros,
psiclogos, matemticos, filsofos y estudiantes) que cree cumplir las
condiciones fundamentales que Guillermo Martnez y Gustavo Pieiro
desean para los lectores de su libro Gdel para todos: estamos
interesados en el teorema y, segn venimos demostrando, estamos
haciendo el esfuerzo por comprenderlo.



Kurt Gdel
1


En un bar de la facultad, frente a sendas tazas de caf, charlamos con Gustavo Pieiro.

Gustavo es un hombre afable, con quien es fcil mantener un
dilogo cordial y que tambin tiene, segn nos enteramos ahora, su
corazoncito literario. Ha hecho taller de poesa en el Centro Ricardo
Rojas y ha obtenido algunas distinciones, Pero, a los que asistimos a sus
clases, se nos ha revelado como un excelente profesor, por su claridad y
su amplio dominio del tema, a pesar de lo arduo de la tarea.
Si bien las obras de Gdel estn editadas en castellano, no
abundan en nuestro idioma obras dedicadas al tema.
El teorema de Gdel, de Ernest Nagel y James Newman, un
verdadero clsico, y Gdel, Escher y Bach, de Douglas Hofstadter, son
casi toda la bibliografa que puede encontrar en nuestro medio aquel que
se interese en el tema. Es por esto que la obra de Guillermo Martnez y
Gustavo Pieiro viene a llenar un vaco muy grande, porque adems de
hacer una exposicin mucho ms minuciosa que los otros textos, lo hace
desde una mirada actual.
Nos cuenta Gustavo que el libro naci de algunas circunstancias
fortuitas. Nos dice:
Al terminar mi licenciatura en matemtica comenc a pensar en mi
doctorado y es as que hacia el 2000 eleg a Guillermo como mi director
de tesis. Lo eleg y l acept por su condicin de escritor, porque
necesitaba a alguien que me permitiera cierta libertad de poder jugar o
de volar. Al principio trabajamos sobre otros temas, como las lgicas
multivariadas o lgicas borrosas. Pero de pronto surgi el teorema de
Gdel como una posibilidad. Guillermo me dio a leer un libro sobre
concatenaciones As es que comenc a producir algunos pequeos
artculos que Guillermo correga. En un determinado momento, creo, fue
Guillermo el que propuso la idea del libro, y yo estuve, por supuesto, de
acuerdo. Habamos encontrado una demostracin del teorema de Gdel
muy sencilla matemticamente y pensamos que tenamos que contarlo.
Es as que nos pusimos a trabajar en l. Continuamos reunindonos
peridicamente o mandndonos por e-mail lo que bamos produciendo El
trabajo nos llev ms de tres aos. Aunque hubo un nterin, durante el
cual Guillermo trabaj en lo que sera su novela Crmenes
imperceptibles. Gracias a las vinculaciones literarias de Guillermo
presentamos en julio del 2008 el proyecto a la editorial Planeta, que de
inmediato aprob su edicin y nos pidi que lo terminramos para febrero
de este ao, para que pudiera ser presentado en la Feria del Libro.
En julio de este ao, a menos de un mes de haber salido, Gdel
para todos tuvo la necesidad de una segunda edicin. Muy pronto se va
a editar en Espaa y existen ya tratativas para traducirlo al francs.
Agustn Romano: Gustavo, cuando apareci el teorema de Gdel no
faltaron personas que consideraron que pona en crisis a la misma
razn.
Gustavo Pieiro: S. Hubo gente que lo tom por ese lado. Pero yo no
dira que puso en crisis la razn. Yo dira, ms bien, que puso en crisis
ciertos mtodos de razonamiento. En aquellos momentos, 1920-1930,
haba una controversia acerca de qu mtodos de razonamiento se
podan aplicar a la matemtica, especialmente todo lo que estuviera
relacionado con el infinito. David Hilbert propone lo que se llama el
programa de Hilbert en donde formula ciertos mtodos de razonamientos
considerados seguros porque no conduciran a paradojas.


David Hilbert
2

.
AR: Cuando en la carrera de filosofa en el primer curso de lgica,
estudibamos la lgica proposicional, que es una lgica binaria, en
donde slo existen dos valores: verdadero y falso, no se nos presentaban
incertidumbres.
GP: As es. En esta lgica no hay incertidumbres. La incertidumbre
aparece con la lgica de predicados.
AR: Es decir, con una lgica cuantificacional.
GP: S. Porque con ella aparece el problema del infinito. Cuando en esta
lgica se dice: tal propiedad vale para todos los nmeros, significa que
todos los nmeros son infinitos. Se est hablando de una propiedad que
abarca un universo infinito. Si uno en la lgica proposicional habla
de p y q, no est presuponiendo el infinito.
AR: Esta lgica pareca una tabla de salvacin. Lo digo en sentido
cartesiano, porque para Descartes, aplicando ciertas reglas, cualquiera
podra llegar a la verdad. En su pensamiento no haba incertidumbres.
Aplicando el mtodo hipottico-deductivo de la geometra euclidiana se
estaba seguro. Pero luego aparecieron las geometras no euclidianas.
GP: Correcto. La geometra euclidiana fue durante siglos la columna
vertebral de la lgica y de la matemtica.
AR: Por eso Descartes no tiene incertidumbres.
GP: Exactamente. Pero la aparicin de la geometra no euclidiana fue
parte de esta crisis porque con ella qued claro que la euclidiana no era
la nica geometra posible, como se crey durante muchsimo tiempo. Y
hubo que buscar otro fundamento para la matemtica. Y ese otro
fundamento se busc en la teora de conjuntos: Cantor, Peano. Y cuando
uno entra en la teora de conjuntos, ah aparece el infinito. Cantor
introdujo el infinito actual. Es aqu donde aparecen las paradojas y
comienza la incertidumbre y las dudas sobre cules son los mtodos
correctos.
Por ejemplo, si es correcto introducir o no el infinito. Hilbert trata de
salvar esta duda o esta incertidumbre, proponiendo lo que se ha llamado
el mtodo finitista. Mtodo que nos dice: podemos introducir el infinito,
pero nuestros razonamientos deben ser finitos. Sin embargo, lo que
Gdel demuestra es que si uno se restringe a esos razonamientos
seguros, hay verdades inalcanzables. Si uno quiere demostrar cualquier
verdad no puede restringirse a esos mtodos.
AR: La paradoja de Russell no juega en este sentido?



Bertrand Russell
3

GP: Claro. La paradoja de Russell es la que detona toda la crisis. Georg
Cantor propone la teora de conjuntos y fundamenta toda la matemtica
en ella. En realidad Cantor la propone pero quien la desarrolla es Gottlob
Frege. l toma la teora de Cantor, la expone con toda correccin en
lenguaje lgico y es as que escribe un libro en dos tomos que le lleva
muchos aos: Los fundamentos de la aritmtica, donde propone la
fundamentacin de toda la matemtica a partir de la teora de conjuntos.
Pero la paradoja de Russell demuestra que la base misma de ese
sistema est mal, es inconsistente. El pobre Frege escribe un libro que le
llev dcadas y que es la obra de su vida. Russell en dos lneas de una
carta lo tira abajo. Es aqu donde aparecen los intuicionistas que dicen
que en realidad lo que genera la paradoja es el infinito y sostienen que
hay que eliminarlo y, con l, a toda la teora de conjuntos. Pero otros
dicen que no y afirman que si eliminamos la teora de conjuntos,
eliminamos toda la matemtica. Ah viene la gran controversia que
finalmente Hilbert trata de zanjar con su mtodo de razonamiento finitista.
Pero Gdel, finalmente, dice que los mtodos que propone Hilbert son
insuficientes para conocer toda la verdad.


Friedrich Ludwig Gottlob Frege
4


AR: Parecera que estamos en un movimiento casi cclico.
GP: Es verdad. Hay algo de eso. Si se propone un fundamento, despus
resulta que no sirve. Porque es insuficiente o porque es incompleto o
contradictorio.
AR: Pienso que lo importante para la razn, que no est en crisis, es ir
resolviendo esas paradojas.
GP: S. Con Guillermo nos hacamos la pregunta: por qu los
matemticos no estn pendientes del teorema de Gdel? Por qu no
signific una crisis ms importante? Una de las razones, creo yo, porque
los matemticos estn convencidos de que si en el futuro aparece otra
paradoja, como la de Russell, alguien la va a solucionar. As la teora de
conjuntos fue retocada para solucionar el problema que significaba esta
paradoja. Eso lo hicieron Ernst Zermelo y otros matemticos que dieron
axiomas que solucionaban la paradoja de Russell. Y la teora de
conjuntos sigui adelante. Hay una cierta fe en que a la larga la razn
soluciona los problemas. Lo que s afirma el teorema de Gdel es que no
se podr decir que algo enmarca toda la matemtica posible. Siempre
habr una incompletitud, una incertidumbre. Y esto es bueno.
AR: Yo pienso igual. De lo contrario, la ciencia estara cerrada y no
cabra ningn progreso.
GP: S. De ser as, la ciencia estara muerta.
AR: Gustavo, ustedes en el libro tratan la utilizacin del teorema en otras
ciencias. Y lo hacen en una forma ms bien crtica.
GP: Bueno, Nosotros no criticamos al uso en s. En cambio, Alan Sokal y
Jean Bricmont son totalmente reacios a la utilizacin del teorema fuera
de las matemticas. Con Guillermo no estamos de acuerdo con esa idea.
Nosotros citamos a Jean Lyotard, quien hace un buen uso del teorema.
Es posible que el teorema de Gdel pueda servir de inspiracin o de
ejemplo. Lo que nosotros criticamos es el mal uso de la gente que utiliza
el teorema sin saber qu dice. Generalmente toman tres o cuatro
palabras, como: incompletitud, inconsistencia y las emplean en cualquier
sentido. Julia Kristeva utiliza la teora de conjuntos para hacer una
formalizacin del lenguaje potico. No creo que eso est mal. Lo
importante es que quien utilice el teorema de Gdel o cualquier otra
teora sepa de qu se trata.
AR: Algunos crticos, como el de la revista , han cuestionado si el libro
es realmente para todos o no, pues exigira cierta prctica en lgica o en
matemtica.
GP: Esas crticas no nos han gustado mucho porque no tienen en cuenta
el hecho de que para entender nuestra demostracin slo se requieren
conocimientos mnimos de matemtica y se es uno de los aspectos
originales del libro. El primer requisito para leerlo es tener inters en el
teorema. Requiere cierto trabajo. No es una novela que uno lee en el
colectivo. En la introduccin planteamos la lectura como un juego por
etapas en donde cada captulo representa un nivel de dificultad. Cada
cual llega hasta el nivel que puede o quiere, como sucede con ciertas
pelculas. La edicin argentina es buena, pero pude ser mejorada. En
Espaa se han ofrecido para agregarle un ndice alfabtico y con
Guillermo seguimos trabajando en las implicaciones filosficas, con la
idea de agregarlas como apndice en alguna nueva edicin en la
Argentina. Elmismo Gdel, despus de la demostracin del teorema dio
algunas conferencias en donde hablaba de sus consecuencias
filosficas. Para l, su teorema, ms que un teorema matemtico era la
resolucin de un problema de filosofa de la matemtica; era la
demostracin de la existencia del inalcanzable mundo platnico. Aunque
hay matemticos como Solomon Feferman que no estn de acuerdo con
esta conclusin.
AR: Y ustedes, qu piensan?
GP: Estamos investigando. Estamos leyendo a Wittgenstein y a Lyotard.
Yo creo, pero esto es una opinin ma no s si Guillermo est de
acuerdo que lo que dice el teorema de Gdel es que no se puede
determinar de un modo objetivo, concreto, calculstico qu es verdad y
qu no, es decir, que siempre la verdad implica cierta subjetividad.
AR:Cmo llegaron a este curso?
GP: Bueno, tanto Guillermo como yo fuimos docentes ac. Nos conocen.
Y tenamos inters en dar un curso que sirviera a los lectores que
tuviesen ganas de entrar en la segunda parte, que requiere un
conocimiento ms matemtico.
Que estemos aqu, charlando con Gustavo es el resultado de este
inters.
Seguramente no ser el nico curso que le pidan a los autores.
Todos los indicios indican que Gdel para todosser un xito
internacional y un orgullo para la cultura argentina.
Nos despedimos con un fuerte apretn de manos hasta la clase de la
semana que viene.
.
1
Kurt Gdel (1906 1978). Lgico, matemtico y filsofo austriaco-
estadounidense.
2
David Hilbert (1862-1943). Matemtico alemn, uno de los ms influyentes del
siglo XIX y principios del XX. Desarroll ideas como la teora de invariantes, la
axiomatizacin de la geometra y el programa de Hilbert.
3
Bertrand Arthur William Russell, III Conde de Russell (1872 1970).Filsofo,
matemtico y escritor britnico.
4
Friedrich Ludwig Gottlob Frege (1848-1925). Matemtico, lgico y filsofo
alemn, fundador de la moderna lgica matemtica y la filosofa analtica.