Вы находитесь на странице: 1из 8

Ana lvarez Velasco y Miguel ngel Mota Gaytn

Si la teora de conjuntos se encuentra ahora en un


periodo introspectivo, estoy convencido de que
emerger ms fuerte que nunca y con mayor impacto
sobre otras reas de las matemticas.
RONALD JENSEN, 1995

El trabajo del lgico alemn Kurt Gdel ha sido uno de


los ms reconocidos dentro y fuera del mbito matemtico del siglo XX. Uno de sus resultados ms famosos, conocido como el teorema de incompletud, establece que ex i sten enunciados que no pueden demostra rse ni refutarse
a partir de teoras que se suponan suficientemente pod e ro s a s. Los no matemticos considera ron, no sin mrbido placer, que esto implicara el fin de las matemticas
como la reina de las ciencias; y los matemticos, por lo general desdeosos de los trabajos de la lgica matemtica,
lo re d u j e ron a un re s u l tado de inters filosfico que en
nada interfera con sus labores de investigacin.
El enunciado que Gdel exhibi para demostrar su teorema es, en trminos de contenido, completamente irrelevante y artificial. En otras palabras, no es uno que encierre
una genuina preocupacin matemtica, sino que fue hecho ex profeso para la demostracin del teorema y es completamente tcnico, como los enunciados de anita lava
la tina o dbale arroz a la zo r ra el abad, usados para
ejemplificar los palndromos frases que se puede leer
al derecho y al re v s. Sin embargo, gracias al trabajo de
Gdel y al de matemticos como Paul Cohen, se advirti
que la gama de enunciados que entran en la categora de
los indecidibles que no pueden demostrarse ni refutarse a partir de una teora es muy amplia e incluye algunas pre g u n tas que han obsesionado a los matemticos
durante largos periodos de tiempo. Uno de los ejemplos
ms re l e vantes es el problema del continuo de Canto r,
que consiste en determinar cuntos nmeros reales hay,
con el cual iniciaba la lista de los veintitrs desafos de la
matemtica del siglo XX que Hilbert present en el ConCI E NC I AS 78 ABRIL

JUNIO 2005

g reso Internacional de Matemticas celebrado en Pa r s


en 1900.
El estudio sobre el tamao del conjunto de los nmeros reales se origin en problemas relacionados con las
funciones y sus discontinuidades, pero se convirti en un
tema de inters en si mismo cuando Cantor, considerado
el padre de la teora de conjuntos, demostr un sorprendente y conmovedor resultado, aunque el conjunto de los
nmeros naturales y el de los reales son ambos infinitos,
uno es ms grande que el otro. Sin embargo, quedaba por
determinar qu tan grande era el conjunto de los reales.
Cantor estaba convencido de que no exista ningn conjunto infinito estrictamente ms grande que los naturales y
estrictamente menor que los reales, es decir, que la cantidad de nmeros reales, era la cantidad infinita que segua
a la cantidad de naturales. Pero nunca pudo demostrarlo.

Ahora se sabe que la hiptesis de Cantor, con los axiomas aceptados en la teora de conjuntos, no puede demost ra rse ni refutarse; es decir, es un enunciado indecible a
partir de esos axiomas. El principio que rige las demostraciones no es difcil de entender, a pesar de que las herramientas lgicas que se emplean sean sumamente complejas. Ambas se basan en otro resultado de Gdel conocido
como el teorema de corre c t u d - c o m p l e t u d en el que se
establece un importante criterio: una teora matemtica
es consistente (no contradictoria) si y slo si tiene modelo.
En trminos muy intuitivos un modelo de una teora axiomtica es un mundo en el que todos los axiomas que la
componen son ve rd a d e ro s. Por ejemplo, considere m o s
la teora T compuesta por los siguientes axiomas: axioma
de asimetra, no existen a y b tales que a < b y b < a; axioma de transitividad, para todos a, b y c si a < b y b < c
CIE NCI AS 78 ABRIL

JUNIO 2005

matemticos y el smbolo de pertenencia es interpretado


como la relacin ser elemento de.
Es de esperarse que en cualquier modelo de una teora
no slo todos sus axiomas sean verdaderos, sino tambin
todos los teoremas que de ellos se derivan lo que es otra
forma de enunciar el teorema de correctudcompletud.
Por lo tanto, para establecer que un enunciado no puede
ser demostrado a partir de una teora basta encontrar un
modelo de sta en el que sea falso. Por ejemplo, todo conjunto acotado superiormente tiene supremo que llamaremos hiptesis de completud no es un teorema de la
teora T, porque el conjunto de los nmeros racionales
es modelo de T, pero el supremo del subconjunto de los
racionales tales que su cuadrado es menor que 2 no es un
nmero racional ya que se trata de 2. As que el enun ciado es falso en ese modelo de T. Lo interesante es que
su negacin existe un conjunto acotado superiormente
que no tiene supremo tampoco es teorema de T, pues el
conjunto de los nmeros reales con el orden cannico s
es modelo de T junto con la hiptesis de completud. En resumen, esta hiptesis no puede demostrarse ni refutarse
a partir de la teora T.
La dimensin desconocida

entonces a < c; axioma de linealidad, para todos a y b se


tiene que a < b b < a a = b; axioma de densidad, para
todos a y b tales que a < b existe c tal que a < c < b. En
este caso, el conjunto de los nmeros racionales con su
orden cannico es modelo de T.
De manera ms formal, un modelo de una teora es
una interpretacin de su lenguaje en la que todos los axiomas son ve rdadero s. Debe entenderse que una interpretacin consta de un conjunto no vaco de individuos y de
relaciones entre ellos que corresponden a los predicados
del lenguaje. Por ejemplo, en el caso particular de la teora de conjunto s, el unive rso de individuos bien podra
ser el conjunto de las vacas locas y el parentesco entre
ellas interpretar el smbolo de pertenencia. Sin embargo,
no cualquier interpretacin es un modelo, as que en lugar de buscar en los ranchos britnicos conviene ms hacerlo en las matemticas. De hecho, los modelos de la teora de conjuntos con los que usualmente se trabaja son
estndar. Es decir, son modelos que slo admiten entes
CI E NC I AS 78 ABRIL

JUNIO 2005

Durante las dos primeras dcadas del siglo XX el intento


por fundamentar la matemtica y resolver los problemas
de la naciente teora de conjuntos dio como re s u l tado la
axiomtica de Ze r m e l o - Fraenkel con el axioma de eleccin, que no eran sino la formalizacin de los supuesto s
comnmente aceptados por los matemticos, como la existencia del conjunto vaco, de uno infinito y del que tiene
como elementos a todos los subconjuntos de un conjunto
cualquiera A conocido como el conjunto potencia de A.
A pesar de sus modestos axiomas, Zermelo-Fra e n kel
con el axioma de eleccin es una teora lo suficientemente general y poderosa como para reconstruir a casi to d a
la matemtica clsica. Pe ro no slo eso, tambin permiti re s c a tar todas las ideas formuladas por Cantor. As,
desde ella es posible demostrar que dado un conjunto A
el cardinal del conjunto potencia de A es estricta m e n t e
mayor que el de A. De esta forma, y dado que el conjunto
de los nmeros reales es identificable a travs de una
funcin biyectiva con el conjunto potencia de los nmeros naturales, es inmediato que el cardinal del conjunto de los nmeros reales es estrictamente mayor que el
del conjunto de los naturales. El teorema de Cantor tam-

bin hace pensar que no slo hay dos tamaos de infinito


el de los naturales y el de los reales sino una infinidad
de ellos. De esta forma, y tambin dentro de la misma
axiomtica, se introdujeron los cardinales infinitos una
n u e va clase de nmeros que pretendan re t ra tar to d a s
las posibles tallas del infinito. El orden ascendente de
los cardinales infinitos es 0, 1, 2 , + 1etc, donde 0 es el cardinal del conjunto de los nmeros natural e s. Gracias a esta notacin la hiptesis del continuo se
puede formular como el cardinal de los nmeros reales
es 1.
Esta conjetura, como se seal, nunca pudo probarse.
Sin embargo, Gdel introdujo algunos avances importantes, demostr que la hiptesis de Cantor no entraba en
c o n t radiccin con la teora de conjunto s. Para ello construy un modelo muy especial de los axiomas de Zermel o - Fra e n kel, el unive rso constructible L. Aquel era un
mundo conformado nicamente por los conjuntos definibles a partir del lenguaje. Ciertamente familiar al quehacer matemtico, pues la mayor parte de los conjuntos son
definibles a partir del lenguaje por ejemplo, el de los
n m e ros pares se puede describir mediante la frmula
{ x | n N tal que x = 2n } que significa el conjunto
de los nmeros tales que son iguales a un nmero natural
multiplicado por dos. En cierto sentido la virtud de este
universo, aunque tambin su pobreza, consista en haber
descartado la posibilidad de que existieran OVNIS o mejor
dicho COENIS, Conjuntos Existentes No Identificados. Gdel demostr, entre otras cosas, que L era el ms pequeo de los mundos posibles en su categora, ya que cualquier otro modelo de su tipo debera contenerlo lo que
se conoce como la minimalidad de L. As, no es de extraar que en el unive rso constructible el cardinal del conjunto de los nmeros reales fuera tambin el ms pequeo posible, 1.
La construccin de L o de cualquier otro modelo en el
que la hiptesis del continuo sea ve rdadera no prueba que
dicha hiptesis sea teorema, pero si garantiza que es imposible refutarla a partir de los axiomas de Zermelo-Fraenkel con el axioma de eleccin. Sin embargo, la cre e n c i a ,
compartida por el propio Gdel, de que la hiptesis de
Cantor era falsa, llev a los matemticos a tratar de demost rar que la negacin tampoco entraba en contra d i c c i n
con la teora de conjunto s. Esto, que a primera vista parece una necedad, forma parte de una larga discusin en
la que Gdel y Tarski probaron que no todo lo verdadero
es demostrable (!?!?) y que no todo lo irrefutable es verd a-

dero. No obstante, como es cierto que todo lo demostrable


es ve rd a d e ro, para dejar abierta la posibilidad de que la
hiptesis del continuo fuera falsa era necesario demostrar que no era un teorema de la teora de conjuntos.
En 1963 Paul Cohen logra este objetivo y descubre un
m todo que permite construir distintos modelos de esa
teora. El mtodo de Fo rcing, que originalmente sirvi
p a ra introducir modelos en los que se viola la hiptesis
del continuo, se convirti en una fecunda tcnica que permite crear mundos en los que suceden cosas sorprendentes como en los que vale una versin dbil del axioma
de eleccin y todos los subconjuntos de reales son Lebesgue medibles. Los detalles tcnicos de este mtodo son sumamente sofisticados, pero puede entenderse en trminos generales como el principio inve rso a aquel empleado
por Gdel para construir el universo L.
El Imperio contraataca

Fo rcing es un mtodo expansionista en el que se parte


de la existencia de un modelo de los axiomas de ZermeloFraenkel a los que se le agregan nuevos conjuntos. Ciertamente, la idea de extender estructuras y aadir objetos
ideales es muy comn en el quehacer matemtico. Sin
embargo, esta prctica result an ms natural cuando
el objetivo era exhibir la existencia de modelos donde no
vale la hiptesis del continuo. Si Gdel vio que al limitar
el unive rso se obtena un modelo donde predomina la
pobreza y donde el cardinal del conjunto de nmeros reales es muy pequeo, entonces la solucin ptima consis-

CIE NCI AS 78 ABRIL

JUNIO 2005

ta en tratar de robustecer al universo con la espera n za de


que la potencia de los naturales tambin embarneciese.
No obstante, la imagen de un modelo que se alimenta
compulsivamente no es lo ms cercano a lo que sucede
en Forcing. Extender arbitrariamente un modelo puede
conducir a la malformacin y la invalidez de los axiomas
de la teora. Por ello, cierto grado de control es necesario.
Hay que extender el modelo inicial conocido como modelo base de manera que los axiomas de la teora de conjuntos sigan siendo verdaderos. Este es quizs el componente clave del mtodo de Forcing, los elementos que se
agregan, aunque no se conocen explcitamente, estn parcialmente descritos por los elementos del modelo base.
La extensin del conjunto de los nmeros racionales,
mediante corta d u ras de Dedekind, es una analoga que
ilustra muy bien el procedimiento. Los racionales son un
modelo de la teora T en el que no se cumple la hiptesis
de completud, pero al que pueden agregarse los supremos
faltantes. stos, como es el caso de 2, no se conocen e xplcitamente, pero a partir del orden que hay entre los nmeros racionales se pueden caracterizar a travs de segmentos iniciales conjunto de nmeros acotados pero sin
elemento mximo, lo que permite garantizar que el modelo extendido (el conjunto de los nmeros reales) cumple tanto la hiptesis de completud, como todos los axiomas de la teora T.
La idea de definir objetos a travs de un orden ta mbin es clave en la construccin de nuevos modelos de la
CI E NC I AS 78 ABRIL

JUNIO 2005

teora de conjunto s. En este caso, se parte de la ex i s t e ncia de un modelo M de la axiomtica de Ze r m e l o - Fra e nkel con el axioma de eleccin y se selecciona un ord e n
p a rcial acorde al tipo de mundo que se desea construir.
Pero no slo eso, en Fo rcing se utiliza un objeto G que filtra y selecciona los nuevos elementos que pertenecern
al modelo extendido. Dicho objeto conocido como filtro
genrico es un subconjunto del orden parcial que cumple las siguientes propiedades: (1) para cualesquiera dos
elementos del filtro existe un tercero, tambin en el filtro,
que es menor o igual que ambos; (2) todos los elementos
del orden parcial que sean mayores que alguno del filtro
deben tambin estar en el filtro as que G parece realmente un filtro de caf, ya que chupa todo lo que est
encima de l; (3) todo conjunto denso comparte elementos con G un subconjunto D del orden parcial es
denso si para cualquier elemento del orden parcial existe
uno de D que es menor o igual que l.
La ntima relacin entre el orden parcial y el filtro genrico es fascinante. Los elementos del orden parcial actan como las letras que componen al ADN y permiten
construir cdigos que encierran informacin sobre posibles nuevos conjuntos. Por su parte, G acta como cataliza d o r, decide qu cdigos se deben descifrar y tiene la
capacidad de dar vida a algunos de los conjuntos que fueron sugeridos por el orden parcial. Esto explica por qu la
extensin de M se denota como M[G] y se conoce como
la extensin genrica de M.
Para que M[G] sea ve rdaderamente una extensin de
M, es decir, para que en ella existan nuevos conjuntos, es
necesario que el filtro genrico G no sea elemento de M.
La eleccin de un orden parcial frondoso uno semejante a un diablico rbol que ha sido colocado al revs y
cuyas ramas infinitas nunca cesan de bifurcarse garantiza que G es un agente externo a M. Esto dio lugar a una
litera t u ra que hace pensar en el Gnesis y permite sospechar que los terico conjuntistas pertenecen a alguna
secta religiosa, cada elemento de M[G] tendr un nombre
en M, que indicar cmo se puede construir a partir de G
[] La gente que vive en M podr entender el nombre de
un objeto en M[G] pero no podr saber cmo es, pues para
ello necesitara conocer G. Ms all del misticismo que
estas palabras parecen encerrar, en ellas se pone de manifiesto un hecho fundamental para el mtodo de Forcing,
el conjunto potencia de un conjunto dado no es el mismo
en todas partes. Para la gente de M[G], G es parte de la potencia del orden parcial P, mientras que los habitantes de

M ni siquiera reconocen la existencia de G. Algo anlogo


sucede con la potencia de los natura l e s, si para el modelo
base slo hay 1 subconjuntos de naturales, con la ayuda del filtro genrico de un determinado orden parcial se
pueden develar nuevos subconjuntos de naturales y embarnecer, como se quera, la potencia de los naturales.
La invasin de los reales

El orden parcial utilizado para construir la extensin genrica en la que se viola la hiptesis del continuo est comp u e s to por las funciones que van de algn subconjunto
finito de nmeros naturales en el conjunto que tiene como

nicos elementos al cero y al uno. Si recordamos que las


funciones son conjuntos de pares ord e n a d o s, ento n c e s
f = {(0,1), (3,0), (6,1)} es un ejemplo del tipo de funciones que acabamos de describir. El orden entre ellas es la
contencin invertida. De modo que si g = {(0,1), (3,0),
(6,1), (7, 0)} entonces g es menor o igual que f ya que
f es subconjunto de g. No es posible exhibir explcitamente un filtro genrico, pero un importante teore m a
de combinatoria infinita nos garantiza que al menos existe
uno. Lo interesante es que las tres propiedades generales
que caracterizan a los filtros genricos son suficientes para
demostrar que la unin del filtro es decir, el conjunto
que tiene a todos los pares ordenados de las funciones que
CIE NCI AS 78 ABRIL

JUNIO 2005

En el ejemplo usado slo se tiene la certeza de haber agregado un nuevo real, pero una pequea modificacin en el
orden que intuitivamente consiste en tomar sucesiones
finitas indexadas con los nmeros ordinales menores que
2- permite agregar 2 nuevos reales y con ello obtener
un modelo donde la hiptesis del continuo es falsa.
Apocalipsis Now

pertenecen a G es una funcin que tiene como dominio


a todo el conjunto de los nmeros naturales. En efecto, la
primera propiedad traducida a nuestro ejemplo garantiza
que las funciones que pertenecen a G son compatibles
es decir, si (m, p) y (m, q) son pares que pertenecen
respectivamente a dos funciones de G entonces p=q. De
modo que la unin de G s es funcin. Para mostrar que
el dominio de esta funcin son todos los naturales se hace
una elegante aplicacin de la terc e ra propiedad to m a ndo, para cada nmero natural n, el conjunto Dn de las funciones que tienen en su dominio a n y demostrando que
se trata de un conjunto denso.
El hecho de que la unin de G sea una funcin que
tiene como dominio a todos los naturales, y que toma valores binarios, significa que se trata de una sucesin infin i ta de ceros y unos, la cual puede identificarse con la
funcin caracterstica de algn subconjunto de los naturales o incluso con la expansin binaria de un nuevo nmero real. Es por ello, que la unin de G se conoce como
un real de Cohen y el mtodo de Forcing con ese tipo de
rdenes funciones parciales finitas es en realidad un
mtodo para extender modelos agregando nuevos reales.
CI E NC I AS 78 ABRIL

JUNIO 2005

El ao de 1963 pudo haber pasado a la historia de las matemticas como en el que la axiomtica de Zermelo-Fraenkel con el axioma de eleccin recibi un doloroso tiro de
g racia. Despus de todo, ese fue el ao en que Cohen
complet la denuncia que Gdel haba interpuesto ve i n t icinco aos antes y se hizo del domino pblico que, a pesar de sus virtudes, esta teora no haba logrado satisfacer
uno de los principales objetivos para los cuales haba sido
creada. La teora axiomtica que a principios del siglo XX
pretenda dar fundamento a las matemticas nunca sera
capaz de responder a una de las preguntas bsicas, y ningn apuesto y gentil matemtico poda re s c a tarla de su
perpetua condena a la ignorancia. Los encabezados de la
nota roja no cesaban de aparecer, Misterio sin resolver,
Fenmenos paranormales, Apocalipsis La teora de
conjuntos se acaba!. Lo que aquellos irresponsables periodistas nunca dijeron es que con el mtodo de Fo rc i n g
una nueva era comenzaba.
Desde entonces importantes centros de investigacin
se han abocado a la tarea de buscar nuevos axiomas que
permitan responder al problema del continuo bajo la firme creencia de que ste tiene una realidad objetiva que
debe ser descubierta. Recientes avances parecen indicar
que se pueden agregar nuevos axiomas para demostrar que
el cardinal del continuo es 2. Sin embargo, no es del todo
claro qu tan naturales e intuitivamente aceptables son
dichos axiomas.
Adems de la posicin idealista se encuentra la post u ra de quienes defienden la dive rsidad matemtica y
consideran que la independencia de la hiptesis del continuo puede dar lugar a distintas teoras de conjunto s.
Lejos de considera rse como una fa l ta de lealtad y comp romiso, la exploracin de dive rsas teoras ha logra d o
enriquecer el panorama matemtico del mismo modo
en que la independencia del quinto postulado de Euclides
dio origen a las geometras no euclidianas sin que sta s
re s ta ran valor o desplaza ran por completo la geometra
euclidiana. El libro de Sierpienski titulado La hiptesis del

continuo es un intento por sistematizar todos los re s u l tados que se derivan de ella y as tener una idea clara de lo
que son las matemticas que aceptan como verdadera la
c o n j e t u ra de Cantor. Entre los re s u l tados ms intere s a ntes, Ulam dio una demostracin muy original de la ex i stencia de conjuntos no Lebesgue medibles que, a difere ncia de la de Vitali, presupone la hiptesis del continuo,
pero no requiere de la invarianza bajo traslaciones y por
lo ta n to puede ser generalizada a medidas definidas sobre
c o n j u n tos que comparten propiedades de cardinalidad,
independientemente de si son o no espacios mtricos.
En general, las diferencias en el tejido matemtico
que se obtienen de aceptar o rechazar la hiptesis del continuo invitan a una re f l exin profunda, pero con ambas
posturas queda claro que los resultados de indecidibilidad
que arrojan mtodos como el de Forcing, lejos de paralizar
a las matemticas las ayudan a no perderse en la bsqueda infructuosa de pruebas inexistentes y a reorientar as
su camino.
Ms all del problema del continuo

El mtodo de Forcing no slo ha servido para demostrar el


carcter indecidible de ciertos enunciados como la hiptesis del continuo, sino que tambin ha permitido aclarar
qu condiciones son necesarias para la demostracin de
s o r p rendentes re s u l tados en dive rsas reas de las matem t i c a s. Esto puede parecer un simple juego de lgica
pero no es exagerado decir que ha permitido que el espritu de algunos matemticos finalmente descanse en paz.

Ana lvarez Velasco

Facultad de Ciencias,
Universidad Nacional Autnoma de Mxico.
Miguel ngel Mota Gaytn

Universidad de Barcelona.

R EFERENCIAS BIBLIOGRFICAS
Amor Montao, Jos Alfredo. 1990. Forcing y pruebas
de independencia. Aportaciones Matemticas, Comunicaciones 9, XXIII Congreso SMM, Mxico.

En 1905, despus de que Lebesgue pro p u s i e ra una manera de medir el tamao geomtrico de conjuntos de reales,
Giuseppe Vitali demostr que existan conjuntos no medibles. Este resultado se tradujo ms adelante en la famosa
paradoja de Banach-Tarski, una esfera se puede descomponer en una cantidad finita de pedazos a partir de los cuales se pueden construir dos esferas del mismo ta m a o
que la original.
El uso del axioma de eleccin en la demostracin de
estos resultados era, segn Lebesgue, el autor de semejantes atrocidades. Sin embargo, nunca pudo confirmarlo,
si los conjuntos no medibles exhibidos hasta ese momento
existan gracias al axioma de eleccin, nada gara n t i za b a
que eran los nicos. No fue sino hasta 1973 que Robert
Solovay demostr, mediante una extraordinaria combinacin de las ideas de Cohen y Gdel, que el axioma de eleccin es condicin necesaria para la existencia de conjuntos
no medibles. Utilizando el mtodo de Fo rcing, Solova y
dio una extensin genrica a partir de la cual construy
un modelo tipo el unive rso constructible L. Su tra b a j o ,
que puede ser calificado de autntica ingeniera gentica
conjuntista, dio como resultado un mundo feliz en el que
no slo todos los conjuntos de reales son Lebesgue medibles y son decentes en trminos topolgicos y de cardinalidad, sino en el que adems se cumple una ve rsin
del axioma de eleccin que, aunque ms dbil que la original, garantiza todos los resultados del anlisis matemtico. As que el modelo de Solovay puso de manifiesto el
potencial del mtodo de Forcing para explorar una inmensa gama de mundos matemticos. 0

lvarez Velasco, Ana. 2003. Axioma de eleccin y


Teora de la Medida. Tesis de Licenciatura, Fa c u l t a d
de Ciencias, UNAM, Mxico.
Kunen, Kenneth. 1980. Set Theory. An introduction
to independence proofs. North Holland, Amsterdam.
Mendelson, Elliot. 1987. Introduction to Mathemati cal Logic. Wadsworth Books, 3a. edicin.
Mota Gaytn, Miguel ngel. 2003. Qu se puede
desde ZFE sobre el cardinal del continuo? Tesis de Licenciatura, ITAM, Mxico.
Solovay, Robert. 1970. A model of set theory in
which every set of reals is Lebesgue mesurable, en
Annals of Mathematics 92.

Sierpinski, Waclaw. Hypothse du continu. 1956.


Chelsea, Nueva York.
I MGENES
Pp. 67 y 71: Bruce Bernard (comp.). Millennium Dome,
1 998; Maratn de Nueva York, 1 991. Pp. 68 y 69: The
Hulton Getty Picture Collection. Bertram Mills Circus,
1953; Sur de Gales, 1937. P. 70: Ralph Eugene Meatyard. Romance (N) from Ambrose Bierse, No. 3, 1962.
P. 72: Herbert Bayer. Autoretrato, 1932. P. 73: Jerry
N. Uelsmann. Manos sosteniendo un objeto esfrico
frente a un paisaje montaoso, 1970.

CI E NC I AS 78 ABRIL

JUNIO 2005

Вам также может понравиться