Kurt Gdel. Obras completas.

Edicin de Jess Mostern, Coleccin Ensayo, Alianza Editorial, Madrid, 2006, 452 pp, 25.40,
ISBN: 978-84-206-4773-9.
Recibido: 22/VIII/2011
Revisado: 3/X/2011
Aprobado: 22/X/2011
Si hay alguna persona en el campo de la lgica matemtica del
siglo XX cuya lucidez sirvi para avanzar con pasos gigantescos
y extender de una manera sin precedentes el estado del conocimiento sobre el tema, esa persona es sin duda Kurt Gdel. Y es tan
valioso el contenido de sus escritos y tan profundas las implicaciones que ellos destilan, que corresponde a sus herederos la responsabilidad de acuar el gran tesoro que nos ha legado a travs de
un tratado sistemtico y organizado. Asumir esta responsabilidad
es nada menos la tarea que se ha encomendado Jess Mostern al
encargarse de la edicin de las Obras completas de Gdel.
Se trata en este caso de la segunda edicin, que aparece luego
de conocerse en 1986 el primer volumen de Kurt Gdel: Collected
works, preparado por un equipo a cargo de Solomon Feferman. Se
corrigen aqu algunas erratas de la primera edicin y se recogen
tambin escritos previamente omitidos, de los que Mostern ha tomado conocimiento a travs de la correspondencia con un editor
del mencionado equipo (se trata principalmente de unos artculos
geomtricos poco conocidos y otros breves escritos). Cabe destacar
que la primera edicin de las Obras completas fue en realidad la
primera en aparecer, en cualquier idioma, despus de exhaustivos
trabajos de traduccin y preparacin que culminaron en 1980, apenas dos aos despus de la muerte de Gdel. Es completamente
natural, pues, que dicha edicin sea susceptible de futuros perfeccionamientos y agregados, sobre todo teniendo en cuenta que a
menudo la clasificacin y recopilacin de nuevos escritos descubiertos suele llevar varios aos de trabajo. Los nuevos textos que
aqu se incluyen no slo enriquecen las Obras completas, sino que
[Analtica, Ao 5, N. 5, Lima, 2011; pp. 127-141]

K. Gdel, obras completas

proporcionan una refrescante mirada al matemtico detrs del lgico. Por ejemplo, uno se entera con grata sorpresa de las contribuciones de Gdel a problemas geomtricos, como los planteados
durante la discusin de un programa reformista de Karl Menger
(del cual Gdel fue alumno) tendientes a la simplificacin de la
geometra diferencial. Tambin se aprende lo productiva que result la constante creatividad de Gdel, como seala Mostern, al
acceder a sus contribuciones a la teora de la relatividad de Einstein, las cuales son tanto de ndole tcnico como filosfico. Todos
los artculos de Gdel que en esta obra aparecen vienen acompaados de introducciones a cargo de Mostern, retomando la idea
original de la primera edicin, y que cumplen diversas tareas. Por
un lado contextualizan el trabajo comentado en su mbito histrico, lo que permite situar al lector en el tiempo y el espacio correspondientes. En otras ocasiones, presentan un resumen de las ideas
que Gdel desarrolla en ellos y que sirve como gua al lector que
se adentra por primera vez en sus escritos originales. A menudo
el estilo de Gdel, que apela a una exposicin concisa pero a la
vez con mucho contenido a digerir, dificultara demasiado la lectura de no contar con el panorama que Mostern ofrece gentilmente al lector desprevenido. Resulta ms loable todava que adems
de comprender y aadir introducciones a los artculos de Gdel,
Mostern se ha tomado el trabajo de traducir muchos de ellos al
espaol (especialmente los originales en alemn). Se ocup, adems, de actualizar la terminologa y ordenar, junto a sus colaboradores, los escritos originales, volvindolos accesibles no slo por
una cuestin idiomtica (dado que la traduccin y ordenacin de
estos trabajos facilita sus futuras referencias y agiliza, de ese modo,
la lectura) sino porque parte de la terminologa y signos lgicos
usados por Gdel son distintos de los usados actualmente (cosa
que es natural, dado que sus trabajos iniciaban lneas de investigacin retomadas y continuadas por otros lgicos y matemticos).
Al respecto, un detalle llamativo de la traduccin, que este reseador menciona aqu slo como curiosidad, es el uso del trmino
eukldeo (sic) que aparece repetidas veces, y que no parece, por
128

Reseado por Christian Espndola

tanto, que pueda confundirse con el resto de los (menores) errores

tipogrficos, sobre todo teniendo en cuenta que el correspondiente
vocablo en alemn an conserva la k de la raz griega, y que es
justamente el alemn la lengua en que se encontraban muchos de
los artculos de Gdel que Mostern se ocup de traducir.
En el aspecto general, tal vez la nica carencia de esta obra
que se merezca destacar sea la ausencia de los escritos inditos de
Gdel, que s aparecieron en cambio en el tercer volumen de los
Collected Works, en 1995 (pero que no estaban disponibles al salir
esta segunda edicin, por lo que de ningn modo puede atribuirse
a un defecto en la preparacin de Mostern de este trabajo). Para
aquel lector vido de intentar penetrar en la mente del lgico, resulta sumamente atractiva la posibilidad de disponer de aquellos
escritos que, por diferentes motivos, no han sido publicados sino
pstumamente.
Especialmente relevantes son las notas de distintas conferencias a las que Gdel fue invitado como expositor, as como una serie de distintas versiones de un trabajo acerca de la filosofa de Rudolf Carnap, que le fueron encargados por el propio Paul Schilpp,
editor de la conocida coleccin The library of living philosophers.
Para dar una idea de la variedad de escritos inditos, puede mencionarse dos de ellos que resultan particularmente llamativos: el
primero se trata de unos trabajos acerca de la hiptesis del continuo, enviados por Gdel para su publicacin, que contenan (como
l mismo reconoci ms tarde) serios errores. Tal es la genialidad
de Gdel que finalmente estos trabajos han salido a la luz, pues
la porcin correcta que all se encuentran es an aprovechable. El
segundo caso es un breve escrito donde expona Gdel una prueba
ontolgica de la existencia de Dios a partir de determinados axiomas, y de la que no le interesaba ms que la coherencia lgica del
razonamiento. De hecho, se sabe que se opona a que tal prueba
fuese publicada por su (justo) temor a que fuese malinterpretada
como ejemplo de sus creencias religiosas. A menudo ocurre que la
personalidad de alguien puede caracterizarse por aquello que omite divulgar ms que por lo que divulga, y en ese sentido sera sin
129

K. Gdel, obras completas

duda revelador disponer de alguna nota introductoria de Mostern

acerca de estos dos escritos, pues un profundo conocimiento acerca de Gdel y su obra, magistralmente demostrado en esta segunda edicin, no hace ms que acrecentar el inters por saber lo que
acaso tenga para sealar al respecto. Debe insistirse, sin embargo,
en que tal carencia no opaca en absoluto el nivel y la importancia
de esta obra, pues su vastedad y su alcance suponen ya un panorama sumamente enriquecedor, y su estudio constituye de por s una
empresa increblemente fructfera e indudablemente gratificante.
Es justamente para ilustrar este ltimo punto que la intencin
de este reseador es, en lo que sigue, focalizar la atencin en tres
de las ms importantes y clebres contribuciones de Gdel aqu
tratadas: el teorema de completitud de la lgica clsica de primer
orden, los teoremas de incompletitud para determinados sistemas
axiomticos y la prueba de la consistencia del axioma de eleccin
y la hiptesis generalizada del continuo. Cada uno de estos logros
habra bastado, por s solo, para asegurar a Gdel el reconocimiento generalizado, al haber desarrollado estos temas con el aporte de
tcnicas radicalmente nuevas que abriran paso al posterior crecimiento de la disciplina y marcaran el rumbo de la lgica del siglo
XX. Por consiguiente, aquel lector que recorra en detalle el tratamiento de estos tres hitos fundamentales a travs de los escritos
de su propio autor, con la gua que Mostern provee a travs de
notas introductorias, habr logrado vislumbrar el plan propuesto
por Gdel para sus correspondientes demostraciones y revivir en
carne propia el hilo mental de su argumento original, en su estado ms puro. Esta experiencia es altamente recomendable incluso
para quien ya tiene conocimientos al respecto, por varios motivos. En primer lugar proporciona un enfoque mucho ms amplio
y abarcativo que da pie a la realizacin de anlisis comparativos.
En segundo lugar, las demostraciones clsicas que aparecieron con
posterioridad, si bien ms simples, resultan (en opinin de este reseador) algo ms fras y, en algunos casos, desmotivadas. Pero tal
vez la experiencia ms excitante que se adquiere leyendo directamente a Gdel es la posibilidad de transportarse en el tiempo a un
130

Reseado por Christian Espndola

contexto histrico, descripto con precisin por Mostern en sus notas introductorias, en el que la significacin de estos resultados es
percibida con mucha ms sorpresa, dado que son presentados por
primera vez en la historia de la lgica. Por ejemplo, si bien en la actualidad autores como W. Lawvere tienden a relativizar el carcter
casi mstico atribuido al teorema de incompletitud de Gdel al encuadrarlo dentro de las consecuencias de argumentos sencillos en
teora de categoras, lo cierto es que esto es posible slo despus de
dcadas desde la primera publicacin de este resultado, mientras
la lgica matemtica y los fundamentos han ido tomando forma y
se han esclarecido diversos puntos gracias al aporte de varios autores. En su momento, sin embargo, tal teorema signific un profundo golpe al programa de Hilbert, como bien explica Mostern,
y el impacto psicolgico fue notablemente superior.Para aquellos
que no vivieron ese momento, estas pginas proveen, pues, la posibilidad de realizar un excitante viaje en el tiempo y deleitarse con
la aventura del pensamiento, apreciando los teoremas de Gdel tal
como fueron dados a conocer a sus contemporneos.
El primer artculo recopilado en estas Obras completas (y el
primero publicado por Gdel) se trata nada menos que de su tesis
doctoral, reescrita y enviada para publicacin. All obtiene Gdel
uno de los resultados ms famosos en lgica matemtica: el teorema de completitud para la lgica clsica de primer orden. Este
logro generaliza resultados previos sobre la completitud del clculo conectivo a una clase ms amplia de frmula que incluyen
cuantificadores (las frmulas de la lgica de primer orden, consideradas primero sin identidad y generalizadas luego en el mismo
artculo). En trminos modernos, el teorema afirma que una determinada fmula que sea vlida en todos los modelos de la lgica
clsica es necesariamente deducible a partir de los axiomas lgicos
y reglas de inferencia previamente especificados. De este modo, se
establece una importante conexin entre las verdades semnticas
y la demostrabilidad sintctica, al tiempo que se asegura que los
axiomas mencionados son de hecho suficientes para deducir todas
las posibles frmulas vlidas. Es fcil comprobar que el camino in131

K. Gdel, obras completas

verso, es decir la propiedad de la lgica segn la cual toda frmula

deducible es vlida en todos los modelos (lo que se conoce como
correctitud del clculo lgico), es en efecto cierta (procediendo,
por ejemplo, por induccin en la complejidad de la frmula); pero
la completitud es considerablemente ms complicada de probar.
Gdel incluso generaliza el resultado a conjuntos numerables de
frmulas, y prueba adems que los axiomas del clculo lgico son
independientes (y que por tanto ninguno es superfluo). Lo notable
del tratamiento dado por Gdel es que de la prueba de esta generalizacin, como bien seala Mostern, se deduce como corolario inmediato el teorema de Lwenheim-Skolem, puesto que la prueba
de Gdel es de naturaleza semntica, al proceder en ella a construir
un modelo numerable que hacen verdaderas un cierto conjunto de
frmulas satisfacibles. Ms an, lo que en realidad obtiene Gdel
es el teorema de compacidad para el caso de numerables frmulas,
de donde se deduce luego lo anterior. Al mencionar los trabajos
de Lwenheim y Skolem en la introduccin, quizs correspondera aclarar que la demostracin dada por Lwenheim contena
vacos que luego Skolem se ocup de llenar, pero de todos modos
Mostern prefiere concentrarse en el enfoque gdeliano del asunto ms que en la contribucin de estos dos lgicos. Lo que s es
evidente, en cualquier caso, es que la prueba de Gdel es inmensamente rica en contenido, puesto que las ideas que aqu se desarrollan tocan los puntos ms importantes de la lgica de primer
orden: el teorema de completitud, el teorema de compacidad y el
teorema de Lwenheim-Skolem. Naturalmente no los prueba Gdel en toda su generalidad (dado que hoy se sabe que en los tres
casos pueden considerarse teoras dadas por conjuntos de frmulas con cardinalidad arbitraria), pero es sumamente sorprendente
ver desarrollados en un mismo texto argumentos y consideraciones propios de una rama de la lgica matemtica que se encontraba an en formacin.
Uno de los detalles notables que refuerzan la afirmacin anterior
(y que habra sido difcil detectar de no ser por las notas al pie de
pgina de Mostern) es justamente el empleo en el artculo original
de la palabra alemana Erfllungssystem, que significa literalmente
132

Reseado por Christian Espndola

sistema satisfactorio, y que Mostern prefiere, acertadamente,

traducir como modelo. Esta observacin viene a demostrar que
para ese momento la teora de modelos no dispona del desarrollo
sistemtico que posee en la actualidad, aunque esencialmente la
idea de modelo como estructura que verifica determinados axiomas
est presente a lo largo de todo el artculo. Este tipo de detalles
vuelven an ms valiosas las introducciones de Mostern, que no
slo marcan los lineamientos generales a tener en cuenta por quien
se introduce en estas pginas por primera vez, sino que establece
puntos de apoyo para un anlisis comparativo entre el trabajo
de Gdel y la literatura existente en su poca. Quizs habra sido
interesante incluir en la introduccin algn comentario adicional
acerca del uso que hace Gdel, en su prueba, del argumento
conocido como Lema de Knig, argumento que constituye un
principio de eleccin y es independiente de la teora de conjuntos
de Zermelo-Fraenkel. Hoy se sabe que una prueba del teorema de
completitud para el caso de teoras numerables puede prescindir
de tales tipos de argumentos y puede ser expresada enteramente
dentro de dicha teora de conjuntos, mientras que para la prueba
del caso general (donde la cardinalidad es arbitraria) no sucede
lo mismo, ya que tal caso resulta equivalente al teorema del ideal
primo, otro tipo de principio de eleccin. Pero es cierto tambin
que aquel lector interesado en el rol del axioma de eleccin en este
tipo de teoremas metamatemticos, y que haya seguido el artculo
con la gua introductoria, podr sacar sus propias conclusiones al
respecto.
El siguiente de los artculos a los que este reseador se ha propuesto circunscribirse es uno de los ms conocidos, profundos y
sobrecogedores trabajos jams realizados, y que ha ejercido sin
duda una gran influencia en el pensamiento de lgicos y filsofos
del siglo XX. Se trata de la demostracin de Gdel de dos resultados sorprendentes y abrumadores: los teoremas de incompletitud. Debido a la enorme complejidad y la sutileza extrema de
esta demostracin, Mostern ha sabido realizar una introduccin
correspondiente acorde a las exigencias que supone seguir el razonamiento gdeliano, que tan intrincado se torna en este artculo.
133

K. Gdel, obras completas

La primera dificultad con la que el lector se topa al intentar seguir

la lectura del mismo es el peligro de la confusin entre los niveles
tericos y metatericos en esta prueba. Debido a la necesidad de
vincular estos dos niveles, por cuestiones intrnsecas de la demostracin, se hace absolutamente necesario comprender con claridad
la distincin entre ambos para poder apreciar los ms sutiles detalles. Mostern se ocupa, justamente, de ofrecer una magnfica introduccin cuya sola lectura resulta ya un apasionante preludio a
lo que luego vendr, describiendo punto por punto las ideas esenciales de la prueba y exponindolas en su justo contexto histrico.
Comienza Mostern por definir los conceptos bsicos asociados
a sistemas formales, en particular la completitud y la consistencia, y explica cmo los resultados de Gdel pueden resumirse en
dos importantes descubrimientos. El primero es la prueba de que
aquellos sistemas axiomticos con ciertas propiedades razonables
(entre los que se encontraban el de Principia Mathematica, el de
la aritmtica de Peano y el sistema axiomtico para la teora de
conjuntos) eran inherentemente incompletos, y por tanto siempre
admitiran sentencias indecidibles sobre cuya demostrabilidad o
refutabilidad no podan pronunciarse. El segundo es un resultado
que el propio Gdel reconoce como sorprendente, segn el cual la
consistencia de un sistema axiomtico no puede ser formalmente
probada con mtodos del propio sistema. Este ltimo resultado representa, segn plantea Mostern, un duro revs para el programa
formalista de Hilbert, y en ese sentido se expresa argumentando
que si bien es posible obtener pruebas de consistencia de un cierto sistema usando mtodos de otros sistemas ms potentes, tales
pruebas seran de dudosa utilidad. Al respecto hay un acalorado
debate, que tiene lugar precisamente debido, por un lado, a las diferencias entre lo que cada matemtico acepta como principios deductivos vlidos en el razonamiento metamatemtico, y por otro
lado, a la especulacin acerca de posibles pruebas de consistencia
con mtodos finitarios distintos de los que ocurriran dentro de un
sistema axiomtico dado. As, mientras hay quienes no dudan de
la consistencia de la teora de conjuntos clsica (ms precisamente
el sistema axiomtico de Zermelo-Fraenkel), existe una corriente
134

Reseado por Christian Espndola

contrapuesta que invoca una filosofa finitista y hasta ultrafinitista,

y que advierte de las posibles inconsistencias resultantes de considerar conjuntos infinitos. Sin tomar partido por uno u otro bando,
lo cierto es que el resultado de Gdel excluye definitivamente la
posibilidad de exhibir una prueba de consistencia de la teora de
conjuntos arriba mencionada usando solamente consideraciones
elementales de la aritmtica de los nmeros naturales. En efecto,
la aritmtica de Peano constituye un subsistema de la teora de
Zermelo-Fraenkel, y por tanto, de existir tal prueba se estara violando la conclusin de este resultado de Gdel.
Mostern comenta tambin la estructura general del artculo,
que comienza con una introduccin donde Gdel describe someramente su plan de prueba, sigue con el ncleo central del artculo
(y el ms complejo tambin), contina con la exposicin de consecuencias del teorema de incompletitud en la aritmtica y la lgica,
y finaliza con el llamado segundo teorema de incompletitud de
Gdel, que es justamente el mencionado en el prrafo anterior y
que se ocupa de la cuestin de la consistencia. Es en el ncleo del
artculo donde introduce Gdel su ya conocido proceso mediante
el cual codifica la metateora usando la propia aritmtica, un proceso autorreferencial que le permite obtener consecuencias metamatemticas a travs de manipulaciones puramente matemticas.
Una vez introducida esta codificacin y probados algunos resultados relativos al carcter algortmico de ciertas funciones numricas, procede Gdel a listar una secuencia de funciones de este tipo,
cada una construida a partir de las anteriores (y teniendo cuidado
que verifiquen ciertas propiedades de computabilidad) que le permite introducir paso a paso dentro de la teora (usando su codificacin), una cantidad de nociones metatericas relevantes, como
los conceptos de variable, sentencia, frmula, axioma, inferencia
inmediata y deduccin. Es sumamente interesante observar como,
nivel a nivel, aumenta la complejidad de las funciones all definidas a medida que aumenta tambin la complejidad del concepto
metaterico que quiere plasmar dentro de la teora. Y aunque esta
escalera de definiciones est aqu realizada para el caso particular
del sistema axiomtico de los Principia (lo que a menudo obliga a
135

K. Gdel, obras completas

agregar nuevos escalones para tener en cuenta la adecuacin a la

teora de tipos all expuesta), resulta claro que tal procedimiento
puede adaptarse igualmente bien a otros sistemas axiomticos que
contengan la mnima cantidad necesaria de aritmtica para lograr
que la codificacin de la metateora sea exitosa, y cuyos axiomas
satisfagan ciertas condiciones razonables de recursin. El punto
clave de la demostracin es la observacin (que aparece all como
teorema V) de que las codificaciones de las nociones metatericas
emulan correctamente dichas nociones (en tanto satisfagan tambin ciertas condiciones de recursin), de manera que al considerar una determinada frmula de la teora, interpretarla en el nivel
metaterico y plasmarla nuevamente en el plano terico a travs
de la codificacin gdeliana, se obtiene una nueva frmula cuya
validez o refutabilidad es compatible (es decir, se deduce) de la validez o refutabilidad de la frmula original. Esto permite finalmente el paso al teorema VI donde prueba Gdel la incompletitud del
sistema axiomtico de los Principia, construyendo para ello una
sentencia que resulta ser indecidible. Tanto Gdel como Mostern
vinculan esta sentencia con las conocidas antinomias semnticas
(tales como las paradojas de Richard o la paradoja de Epimnides), antinomias que, en un contexto cuidadosamente planificado y donde la distincin entre los planos tericos y metatericos
es bien precisa, de pronto dejan de serlo. Y tal como se ocupa de
aclarar Gdel en el artculo, la prueba de la incompletitud resulta
intuicionsticamente del todo aceptable, lo que ha facilitado, segn
comenta Mostern, su rpida y general aceptacin.
Inmediatamente despus de demostrar el primer teorema de
incompletitud, pasa Gdel a continuacin a explotarlo y a extraer
de l diversas consecuencias. Muestra, por ejemplo, que en los sistemas formales considerados puede ingenirselas para producir
una sentencia indecidible que resulte ser una sentencia aritmtica
(es decir, que sea definible a partir de frmulas que slo usen las
nociones aritmticas elementales, y que correspondan por tanto
con una determinada afirmacin de la teora de nmeros). Resulta curioso, por ejemplo, el uso que hace Gdel en esta parte del
Teorema Chino del Resto (p. 79-80), una grata sorpresa sin duda,
136

Reseado por Christian Espndola

dado que generalmente Gdel no aparece asociado a este tipo de

reas. Como segunda consecuencia prueba tambin que la lgica
pura de predicados de primer orden posee igualmente problemas
indecidibles, lo que logra a travs de una correspondencia entre
las relaciones recursivas y la satisfacibilidad de las frmulas de la
lgica pura. Todo esto adelanta Mostern en su introduccin, permitiendo al lector prepararse para la lectura del artculo original. Y
si bien ha evitado hasta aqu realizar comentarios sobre la relacin
entre verdad y demostrabilidad (cosa que le llevara demasiado
lejos y podra resultar incluso confusa para una primeralectura),
s se ha ocupado en cambio de aclarar cuestiones tcnicas como
la hiptesis de la consistencia del sistema en la prueba del teorema de incompletitud, haciendo notar que puede reemplazarse por
la mera consistencia, como demostrara ms tarde B. Rosser (An
informal exposition of proofs of Gdels Theorems and Churchs
Theorem, Journal of Symbolic Logic 1939, 4(2): 53-60.).
En las Obras completas se encuentra tambin la exposicin
que Gdel realiz de estos fenmenos de indecidibilidad durante
un cursillo en Princeton. Debe notarse lo acertado de la decisin
editorial de incluir tambin estas notas, pues si bien la temtica
tratada es la misma, los resultados son aqu ampliados. Esto
permite un estudio comparativo de la evolucin de las ideas de
Gdel durante los tres aos desde la publicacin de sus teoremas
de
incompletitud,
correspondientemente
pormenorizada
en la introduccin de Mostern. De este modo aparecen, por
ejemplo, ms detalles en las pruebas, que antes haban sido slo
sucintamente esbozadas (aunque tales detalles nunca van ms
all de los lmites de la concisin de Gdel), as como interesantes
secciones nuevas. Dos de estas secciones llaman la atencin aqu:
una donde expone Gdel consideraciones acerca de la relacin
de los argumentos aqu utilizados con las paradojas, junto con
algunas reflexiones sobre el concepto de verdad desarrolladas en
forma paralela a las de Tarski (las cuales le eran, en ese momento,
desconocidas). La otra es una maravillosa seccin donde retoma
Gdel las sentencias aritmticas indecidibles de ciertos sistemas,
137

K. Gdel, obras completas

cuya existencia ya haba demostrado, y muestra ahora que son

equivalentes a una cierta afirmacin acerca de las soluciones de
una ecuacin diofntica.
Un punto final al que alude Mostern en su resumen es la relacin entre los sistemas formales y las mquinas de Turing. Gdel
haba propuesto identificar ambos conceptos en una posdata a este
escrito, que Mostern interpreta lcidamente. Seala al lector, por
ejemplo, cmo Gdel se cuida de comparar las limitaciones de los
sistemas formales con las limitaciones de la razn humana. Esta
observacin es particularmente esclarecedora, sobre todo teniendo
en cuenta las subsiguientes malinterpretaciones y extrapolaciones
desmesuradas de los resultados de Gdel en mbitos donde no
resultan aplicables.
El ltimo de los artculos especialmente mencionados en esta
resea (y no por ello menos relevante) trata de la respuesta positiva
que dio finalmente Gdel a la cuestin de la consistencia relativa
del axioma de eleccin y la hiptesis generalizada del continuo con
respecto a los axiomas de la teora de conjuntos. Luego del anuncio
hecho por Gdel en 1938, en el que comunicaba que se encontraba
en posesin de una prueba de consistencia relativa, siguieron dos
artculos; el primero con un esbozo informal de la prueba, y el segundo con su formalizacin correcta y los detalles completos. Mostern compara ambos artculos y seala tambin que los sistemas
axiomticos para las teoras de conjuntos consideradas en cada
caso son diferentes. As, en el primer artculo se adoptan los sistemas axiomticos de Zermelo y de Zermel-Fraenkel (donde este
ltimo resulta de aquel por el aadido del axioma de sustitucin),
mientras que el segundo artculo detalla la prueba utilizando para
ello la teora de conjuntos de von Neumann-Bernays-Gdel (NBG),
excluyendo por supuesto el axioma de eleccin. La diferencia principal entreNBG y la teora de conjuntos de Zermelo-Fraenkel es
que aquella permite la nocin ontolgica de clase propia que sta
excluye, y mientras aquella admite una axiomatizacin finita, que
como cuenta Mostern es debida a Bernays, sta no puede prescindir de los axioma- esquemas que suponen infinitas instancias.
138

Reseado por Christian Espndola

Las pruebas de consistencia relativa venan a echar por tierra

los rumores acerca del carcter sospechoso del axioma de eleccin,
cuyo papel en la teora de conjuntos encenda con frecuencia
ardientes discusiones. Resultados como la paradoja de BanachTarski, cuya prueba descansa de manera esencial en el axioma
de eleccin, acrecentaban an ms la suspicacia y la confusin,
al tiempo que polarizaba los matemticos dividindolos entre
defensores y detractores de tal axioma. Slo fue posible desterrar
la idea errnea de que el axioma de eleccin produca resultados
contradictorios una vez que Gdel prob que en realidad, de
producirse una inconsistencia, sta no sera causada por el mismo
sino que ya debera encontrarse latente en la teora formada por el
resto de los axiomas. Es bastante notable, por otro lado, que sea la
misma prueba la que acabara por responder, aunque ms no fuera
parcialmente, la pregunta acerca de la verosimilitud de la hiptesis
del continuo, problema ste que tanto tiempo le haba consumido
a Cantor y que, como bien remarca Mostern, se encontraba en
el primer puesto de la lista de los desafos matemticos para el
siglo XX que haba anunciado Hilbert en el congreso mundial de
matemticos de 1900.
El mtodo empleado por Gdel para la prueba fue la construccin de un modelo interno de la teora de conjuntos considerada
en cada caso, que satisficiera no slo los axiomas de dicha teora,
sino tambin el axioma de eleccin y la hiptesis generalizada del
continuo. De esta manera quedara probado que de haber alguna
contradiccin generada a partir del agregado de estos dos axiomas, dicha contradiccin tendra ya que producirse en el seno de
la teora de conjuntos, lo que establecera su consistencia relativa.
La idea central de Gdel para la construccin de dicho modelo se
encuentra ya cabalmente explicada en la introduccin de Mostern, que logra extraer la esencia motivadora de la demostracin
en pocos prrafos. El ncleo de la cuestin consiste justamente en
intentar establecer por qu motivo fallaran los dos axiomas cuya
consistencia relativa quiere probarse. Concluye Mostern que tal
dificultad debera radicar en la complejidad de la jerarqua conjuntista, que pronto excede la intuicin que de ella podemos tener. De
139

K. Gdel, obras completas

esta precisa observacin se comprende que al simplificar un poco

esa jerarqua y restringirse slo a aquellos conjuntos que pudieran
construirse o definirse de alguna manera a especificar, se estara en
condiciones de someter a prueba la validez de estos dos axiomas. Y
en efecto, Gdel define los conjuntos constructibles mediante una
iteracin transfinita similar a la que define la jerarqua conjuntista,
pero teniendo en cuenta las restricciones mencionadas. El resto de
la prueba consiste en utilizar como modelo interno subconjuntos
suficientemente grandes en esta nueva jerarqua (una vez probado
que efectivamente satisfacen los axiomas de la teora de conjuntos
considerada), probar luego que tal modelo interno verifica la afirmacin de que todos los conjuntos que en ese universo puedan
existir son efectivamente constructibles, y mostrar finalmente que
de esta ltima afirmacin se desprenden como corolarios la validez del axioma de eleccin y la hiptesis generalizada del continuo
dentro de tal modelo. Ntese, sin embargo, que el segundo paso
requiere relativizar todas las nociones al modelo interno considerado, lo que supone un cierto trabajo tcnico ineludible y justifica
en parte lo extenso de la prueba.
Por ltimo, relata Mostern de qu manera las respuestas
parciales de Gdel acerca del estado de estos dos axiomas fueron
finalmente completadas gracias al trabajo de P. Cohen, quien
vendra a demostrar en 1963 que la negacin de ambos axiomas
resulta tambin consistente con el resto de los axiomas de la teora
de conjuntos (The independece of the continuum hypothesis I,
Proceedings of the National Academy of Sciences of the United
States of America 50(6):1143-1148.). Esto convierte dichos axiomas
en proposiciones indecidibles dentro de los sistemas axiomticos
considerados, por lo que proporcionan ejemplos concretos de la
clase de tales proposiciones. Queda tambin aclarado por Mostern
el motivo por el que el nombre de Gdel ha quedado asociado
a la teora de conjuntos NBG. Tal vez un detalle que podra
resultar interesante comentar, aunque no se encuentra aqu, es la
descripcin del aporte preciso de cada uno de los tres matemticos
involucrados en este sistema axiomtico; por ejemplo, en la versin
original de von Neumann de tal sistema se encuentra el axioma
140

Reseado por Christian Espndola

de limitacin de tamao, que resulta tan seductor como poderoso,

tanto por su simplicidad esttica como por el hecho de que de
l se desprenden los axiomas de sustitucin, especificacin y de
eleccin global (Bernays prefiere en cambio distinguir entre los
distintos propsitos de estos tres axiomas, a la vez que descubre la
manera de evitar axiomas-esquema). Pero sera injusto pretender
que estos u otros detalles sean incluidos en las descripciones de
Mostern, quien ya bastante logra al poder presentar cada uno de
los trabajos de Gdel desde el punto de vista de quien ha recorrido
exhaustivamente su obra. Merece, pues, considerarse digno de
elogio tanto por la claridad expositiva y argumentativa como por
el increble esfuerzo invertido en la preparacin de esta obra.
Para resumir, queda claro a lo largo de todo el libro que el tratamiento de Gdel resalta lo novedoso de sus mtodos y lo brillante de su plan de ataque, a la vez que pone en evidencia su asombrosa destreza tcnica, que le ha permitido caminar al filo de la
paradoja, ver la luz y salir ileso. Y queda claro tambin que de no
haber sido por Jess Mostern, no sera posible disfrutar del exquisito universo de Kurt Gdel, al que con tanta generosidad y maestra nos ha facilitado ingresar. Es el deseo de este reseador que
todo aquel lector interesado pueda disponer del material ofrecido
por Mostern en las Obras completas, y teniendo en cuenta que se
trata de la edicin ms actualizada existente en idioma espaol,
sepa apreciarla en su justa medida, al constituir un orgullo para la
comunidad hispanoparlante el poder contar con ella.
Christian Espndola
Departamento de Matemtica, Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires, Ciudad Universitaria, Pabelln I, C1428EGA, Buenos Aires, Argentina.
Correo electrnico: cespindo@dm.uba.ar.

141