Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Amster Apuntes Matematicos para Leer A Lacan 2 Logica y Teoria de Conjuntos PDF
Amster Apuntes Matematicos para Leer A Lacan 2 Logica y Teoria de Conjuntos PDF
APUNTES MKfEMTICOS
PARA LEER A LACAN
2. LGICA Y TEORA DE CONJUNTOS
CfLelJ:-
CVlva
Pa b l o A m st er
APUNTES MATEMTICOS
PARA LEER A LACAN
1. P sicoanlisis. I. T tu lo
C D D 150.195
E d ic i n a l c u id a d o d e L e a n d r o S a l g a d o
P rohibida la rep rod u ccin total o parcial de esta obra bajo cu alqu ier
m todo, incluidos la reprografia, la fotocopia y el tratam iento digital,
sin la p revia y expresa autorizacin p o r escrito de los titulares del
copyright.
E sto y co nvencido de que todo autntico terico es una
e sp e c ie de m e ta fisico en esta d o de d o m esticid a d , p o r
m u y p o s itiv is ta "p u ro que se pu ed a tener a s m ism o. El
m etafisico tiene la creencia de que lo lgicam ente sencillo
es tam bin lo real; el m eta fisico d o m estica d o no cree
qu e todo cuanto sea lgicam ente sencillo haya de tom ar
cu erpo en la realidad sensible, p ero s que la totalidad
de la experiencia sen so ria l p u ed e "en ten derse" a p a rtir
de un sistem a con ceptu al co n stru id o sobre p rem isa s de
su m a sim plicidad. E l escptico dir qu e esto es un credo
m ila g ro so . R eco n o z ca m o s que as es, pero tam bin se
trata de un credo m ilagroso co nfirm ado en asom brosa
m edida p o r el desarrollo de la ciencia.
A l b e r t E in s t e in
A l b e r t o C a e ir o
In d i c e
P r e f a c io ..................... ................................................................................ 9
C a p t u l o 1. N o c i o n e s b s i c a s d e l g i c a ..................................... 13
.D efinicin de la definicin ....................................................... 14
2.Q u significa significar? ....................... ...............................1 5
3.L as leyes del pensam iento .......................................... .... .18
4 .D educcin, induccin, a b d u c c i n ........................................ 21
5-Lgica a risto t lica ......................................................................25
.Enunciados c a te g ric o s .......................................................... .3 1
7-Cuadrante de P e i r c e ......... ............................. ..........................3 3
8 .S ilo g is m o s ........................................... ........................................3 4
9.Sintaxis y sem n tica de los lenguajes form ales ............ 3 8
o.Tablas de v e r d a d ..................................................................... 4 0
11. Leyes l g ic a s ............................................................................... 4 3
12.Variables libres y cu a n tifica ci n ...........................................4 9
13-lgebra de c l a s e s .................. ................................................. 5 4
C a p t u l o 2. L a in d u c c i n m a t e m t ic a
Y EL SISTEMA DE PEANO.....................................................................59
C a p t u l o 3. L a s r e g l a s d e a l - j a b a r y F ib o n a c c i r o b a d o . 71
Fibonacci r o b a d o ............................. ............................................ 7 8
De los conejos ureos a lo im aginario .....................................81
C a p t u l o 4. L a d e m o s t r a c i n d ia g o n a l :
u n a c r u z a d a c a n t o r i a n a .................................. ...................... .... 87
.U n antecedente s o c r tic o .............................. 88
2.L as paradojas de la id e n tific a c i n ....................................... 90
3.... y sin em bargo, se c o o r d in a .................................................9 2
4.EI bicho de lo n o -n u m e ra b le .............................. 94
Eplogo .......................................................................................... . 9 7
C a p t u l o 5. L a v id a s in l a b o l s a :
AUTORREFERENCIA Y TEOREMAS DE GDEL...................................loi
U n o . Breve referencia sobre Ep im n id es.............................. 101
D o s. Breve referencia sobre la referencia:
Q uine y G o d ei...................................................... ........................103
T res. Proposiciones indecidibles
y teorem a de G o d e i ............................................................... . 107
C u a tro . Cul es el ttulo de esta secci n ?............................110
C in c o . Los lenguajes form ales .................................................112
S eis. Un pase m gico .................................................................. 114
S ie te . La liebre de M a r z o ....................... ..................................118
O c h o . A utorretrato de m m i s m o .........................................122
E p lo g o , y nueva god elizacin ................................................ 128
C a p t u l o 6. B r e v e p r e s e n t a c i n de c a s o s .............................135
Segun d o caso. Un caso de incon sisten cia............................. 137
Tercer caso. Un caso de m eto n im ia.........................................141
Cuarto caso. Un caso de m e t fo r a ..........................................147
Q uinto caso. Un caso al m a r g e n .................................... .. 151
Sexto caso. Ram anujan, y otros ca so s......... ...160
C a p t u l o 7. L a r e l i g i n , o r d in e
C a p t u l o 8. Pa s c a l , a h a r n y l a p o t e n c i a d e l d o s ......... 189
Eplogo ................ ................. ........................................................212
Bib l io g r a f a 217
Pr e f a c io
Hay una frase del seminario ...ou pire que se ha hecho cle
bre: no hay enseanza ms que matemtica, el resto es broma.
Al margen de las muy dispares valoraciones que existen sobre
la enseanza lacaniana, este trabajo busca -un poco en broma-
apoyar esta postura, ofreciendo algunos elementos que ayuden
a abordarla.
El lector advertir que determ inados temas se repiten en dis
tintos captulos; tal repeticin obedece a la finalidad de que cada
seccin se encuentre autocontenida y pueda ser as leda en for
m a independiente.
Para concluir estas lneas, vale la pena sealar que el nimo
que gua a esta obra es el de la Matemtica entendida como una
de las ms grandes expresiones de la humanidad, fruto de las pa
siones ms encendidas y de la bsqueda incesante. Una bsque-
l.i, cMi cl Condo, de belleza: en todo caso se trata, tal corno la des
cribe el filsofo y matemtico ingls Bertrand Russell, de
Pablo Amster
Junio 2009
Ca p t u l o i
N o c io n e s b sic a s de l g ic a
L a filo so fa es u n a lu ch a c o n tra el e m b ru ja m ie n to
de n u estra in telig en cia p o r el len guaje.
Es claro que el lenguaje excede a la Lgica, hasta tal punto que
el ms completo de los sistemas, si es consistente, resulta infali
blemente burlado por el mecanismo godeliano que permite cons
truir una proposicin indecidible y revelar as su incompletitud1.
Como sea, vale la pena hacer un breve recorrido por las principa
les consideraciones lgicas en torno al lenguaje, en particular so
bre la definicin y algunos aspectos de la semntica.
Comenzaremos por ocuparnos del razonamiento y el clcu
lo lgico. Tambin efectuaremos algunos comentarios acerca de
ciertos razonamientos muy conocidos, invlidos pero sumamen
te valiosos, como la induccin y especialmente aquella sugestiva
forma introducida por Peirce: la abduccin. Finalmente, veremos
algunas nociones sobre el clculo proposicional, las tablas de ver
dad, las leyes lgicas, la cuantificacin y el lgebra de clases.
i. D e f in ic i n d e l a d e f in ic i n
El h o m b re es u n b p e d o im p lu m e.
i. Ver captulo 5.
I li' .ii|ii al h o m b re de Platn.
2. Q u s i g n i f i c a s i g n i f i c a r ?
3. La s l e y e s d e l p e n s a m ie n t o
Esta seccin lleva el mismo ttulo que la famoso libro del lgi
co ingls G. Boole, considerada por los historiadores como el pri
mer desarrollo de la lgica formal. Pero debemos decir que The
laws o f Thought era un ttulo demasiado ambicioso, y la propia
Lgica no tardara en revelar que las ansiadas leyes no existen.
Claro que eso no significa que pensemos sin ley alguna (al menos
no siempre); sin embargo, los mtodos lgicos se toparon muy
pronto con sus propias limitaciones y sufrieron su golpe defini
tivo con los sucesivos teoremas de Godei, Tarski, Church, segn
veremos ms adelante. De cualquier modo, es justo reconocer en
la obra de Boole el nacimiento de la Lgica. Es interesante men
cionar que pocos aos antes de la aparicin de su obra, el filsofo
alemn Immanuel Kant haba asegurado que la Lgica
4. D e d u c c i n , in d u c c i n , a b d u c c i n
Flix es un gato
Flix es simptico
luego, todos los gatos son simpticos.
5. De todas maneras, negarse a admitir la ley como verdadera podra ser visto por
algunos com o una necedad, algo as como buscar la quinta pata al oso. Un ca
rcter diferente presentan enunciados tales como
Los cuadrpedos tienen cuatro patas,
cuya verdad es tautolgica. En efecto, la propiedad de tener cuatro patas no es
otra cosa que la definicin del concepto cuadrpedo.
El gato de mi cuada es un gato;
no obstante, resulta un animal de lo ms hurao.
Pn
. Es claro que nadie no indica persona, sino que se refiere a una propiedad que
ningn objeto del universo satisface. Borges hace un empleo interesante de di
cho vocablo en Las ruinas circulares:
Nadie lo vio desembarcar en la unnime noche, nadie vio la canoa tic bamb
sumindose en el fango sagrado, pero a los pocos das nadie ignoraba...
B o r g i s , 19 7 6
tenece a A . Por ejemplo, el conjunto de todos los conjuntos,
que en tanto conjunto es elemento de s mismo.
Gc = M - G = { x e M / x G}
9. Vemos as que es ms sencillo ponerse de acuerdo acerca de lo que liay que acer
ca de lo que no hay. Macedonio Fernndez se manifestaba en coni r.i de produc
tos tales como las galletas sin sal, pues existe una infinidad de cosas que las ga
lletas no tienen. Com o sea, a veces pensar en el complemento restitu ventajoso;
por ejemplo para recibir regalos de no-cumpleaos, talcoinodcuuicslra I lump-
ty Dumpty a una desconcertada Alicia (L. Carroll, op.cit.). Sobre el problema on
tolgico de lo que hay, algo veremos en el ltimo captulo.
(). E n u n c ia d o s c a t e g r ic o s
10. Com o dijimos, la paradoja lo arruina todo, una situacin comparable con la
maldad que comprueba Dios en el hombre, pocas generaciones despus de ha
berlo creado:
...toda imaginacin de los pensamientos de su corazn era solamente mala to
dos los das (Genesis VI, 5)
La solucin que encuentra Dios es casi tan drstica como la de Russell:
Borrar al hombre que he creado de sobre lafaz de la tierra, desde el hombre has
ta la bestia, hasta el reptil y hasta el ave del cielo, porque Me arrepiento de haber
los hecho. (Genesis VI, 7)
Como sea, No hall gracia en los ojos del Seor: en la teora de conjuntos di
cho rol de "justo en su generacin bien podra ser cumplido por el conjunto va
co, que va a ser la base de la rigurosa teora de Zermelo-Fraenkel. Como el vaco,
tambin No est despojado" cuando se queda dormido en medio de su tienda,
aunque sus hijos mayores no tardan en cubrir esta desnudez con un manto.
Aunque la correspondencia gramatical no es exacta, las le
tras S y P evocan las ideas de sujeto y predicado. En trminos
de clases, es inmediato observar que la oracin todo Ses P equi
vale a decir:
Todo elemento de S es tambin elemento de P.
Ello revela una inclusin total: por ejemplo, la frase
Todos los gatos son pardos
seala el dudoso hecho de que todo elemento de la clase S = ga
tos pertenece a la clase P = individuos pardos. En otras pala
bras, la clase S est totalmente incluida en la clase P; del mismo
modo, la proposicin particular afirmativa algn S es P nos in
forma que la clase S est parcialmente incluida en la clase P. De
bemos aclarar que eso no niega la posibilidad de que la inclusin
sea total: cuando decimos
Algunos miembros de mi familia tocan la trompeta,
la oracin es verdadera si al menos uno de mis familiares es trom-
petista, y seguir sindola aun si todos lo son.
Tambin resulta claro que las proposiciones negativas, tanto
la universal como la particular, niegan la inclusin parcial o to
tal de la clase S en la clase P. As, al decir
Ningn pingino desayuna antes de las ocho,
estamos negando la proposicin
Algunos pinginos desayunan antes de las ocho.
En otras palabras, negamos la inclusin parcial de la clase pin
ginos en la clase individuos que desayunan antes de las ocho.
Veamos por ltimo un ejemplo de particular negativa:
Algunos bailarines no saben de contabilidad.
En este caso, estamos negando la inclusin total de la clase de
bailarines en la clase de personas que saben de contabilidad. La
frase podra leerse, en efecto, como:
No todos los bailarines saben de contabilidad.
Durante la Edad Media, los escolsticos denotaron a las cuatro
proposiciones categricas empleando respectivamente las letras
A, E, 1, O, a partir de una sencilla regla mnemotcnica que tiene
1 en cuenta el hecho evidente de que los dos enunciados afirmati
vos (Ajflrm o) contradicen a los negativos (nEgO). Ms precisa
mente, las relaciones se resumen en el siguiente esquema:
A contrarias E
subalternas subalternas
7. Cuad rante de P e ir c e
L G IC A Y T E O R A D E C O N JU N TOS l A lll.O A m stkk
8. S il o g is m o s
S P S P S P S P
Premisa i: Ningn S es P
S P
Premisa 2: Algn S es R
S P
S P
Conclusin: Algn R n o es P
Se tiene, entonces,
N o c io n s iiA s k a n d i . i/ ii ic a
S P
Premisas i y 2: Algn S es P
Todo P es R
Conclusion 1: Algn S es R
R
Premisa 3 y Conclusion 1:
R T
Todo R e s T
Algn S es R
Conclusin:A/gn S es T.
En otras palabras:
Algunas estufas son muy apreciadas por mi abuelo.
R = personas respetables
S = personas que roban el sombrero a sus semejantes.
N = nosotros
9. S in t a x is y s e m n t ic a d e lo s l e n g u a je s f o r m a l e s
Sin embargo, existe un sistema (denominado notacin polaca) que permite evitar el
empleo de los parntesis; de todas formas, se suele preferir la escritura clsica, pues
resulta ms clara. Lacan le da una especial importancia a los parntesis en el Semi
nario sobre La carta robada, en especial en la seccin Parntesis de los parntesis
(ver J.Bekerman, P.Amster, 1999).
io . T a b l a s d e v e r d a d
Una vez dadas las reglas que permiten formar las propo
siciones, se define el valor de verdad como una funcin que a
cada proposicin le hace corresponder el valor V (verdadero) o
F (falso) a partir de los valores de sus tomos. La manera habi
tual de presentar a tal funcin es por medio de las tablas de ver
dad] por ejemplo, el valor de verdad para la negacin se estable
ce de modo tal que si p es verdadera, entonces su negacin es
falsa, y viceversa:
n e g a c i n
p "P
V F
F V
CONJUNCIN
P p/\q
V V V
V F F
F V F
F F F
DISYUNCIN
P p v ,?
V V V
V F V
F V V
F F F
IMPLICACIN
DISYUNCIN EXCLUSIVA
EQUIVALENCIA LGICA
co n ju n ci n
d isy u n c i n
Estos circuitos se interpretan en trminos de pasaje de co
rriente: bajo qu condiciones pasa la corriente desde el punto
A hasta el punto B? En el primer caso, resulta claro que ambas
puertas, p y q deben estar cerradas, mientras que en el segundo
caso basta con que al menos una de ellas lo est.
Entonces conviene pensara los valores F yV respectivamente
como puerta abierta y puerta cerrada. Existe otra forma de
escribirlos, que nos brindar una nueva perspectiva: se trata
simplemente de denotar con un o al valor F, y con un i al valor V.
Observamos entonces por ejemplo que la conjuncin p q toma
el valor i slo cuando el valor de cada uno de sus trminos es i;
basta con que alguno de ellos tenga valor o para que el valor de
p q tambin sea o. En otras palabras, el valor de p q equivale
al mnimo valor entre los valores de p y q. Esto se puede escribir
de la siguiente manera:
v{p a ) = infiyip), v(q)}
en donde v denota la funcin devaluacin y la partcula inf ex
presa el nfimo (el ms pequeo) entre los correspondientes va
lores. Anlogamente, el valor de p v q corresponde al mayor de
dichos valores, que expresamos como un supremo:
vip v q ) = sup{v(p), v{()}
Esta manera de pensar al conjunto de valores de verdad remite
al ejemplo ms elemental de lgebra de Boole'1] segn esta idea,
los valores o y i se definen como complementarios,
o = i / o
12. Es decir, el lgebra booleana (o, i}. A pes.u ile mi i i iv i .i lnl.nl, l.i observacin deja
ver la posibilidad de una generalizacin quei i mi empir I,is ll.iiiucl.is lgicas mul-
tivalentes, con ms de dos valores de veril.id l'.ii.i iin.i ilelmuii'in de "lgebra de
B oole"verel Diccionario de trminos m.ilem.illi un, ile p n k ......publicacin.
V (p <?> q) = inf{sup{v{p), v(q)}, sup{v{p), vq)]}
V (p Y q) = inf{sup{v{p), v(q)}, sup{v(p), v(q}}
11. L e y e s l g ic a s
Las anteriores tablas de verdad perm iten dem ostrar las den o
minadas leyes lgicas o tautologas. M s all del uso inform al que
liemos dado a esta palabra al recordar la frase de Russell, una tau-
Io logia consiste sim plem ente en una proposicin cuyo valor de ver
dad es i, independientem ente del valor de sus com ponentes13. H ay
cilgunos ejem plos m u y sencillos, com o el principio de identidad:
P^P
p p p=>p
V V V
F F V
P -P pv^p
V F V
F V V
p p/\q /- S
r
<
V V V F
V F F V
F V F V
F F F V
14. A grandes rasgos.dicho principio establece que en cualquier frmula, una expre
sin puede reemplazarse por otra equivalente. Por ejemplo, a partir de la igual
dad 4 = 2 + 2, podemos reemplazar al valor 4 en la frmula
4 <25
para obtener:
2 + 2 < 25
15. Para demostrar la equivalencia entre dos proposiciones, basta con verificar en
la tabla que las respectivas columnas son idnticas. En muchos textos la equi
valencia se denota mediante el smbolo para distinguirla de la igualdad entre
proposiciones: por ejemplo, las frmulas equivalentes (p q) y (q p) no son
sin embargo iguales. Es fcil demostrar que dos proposiciones p y q son equiva
lentes si y slo si la frmula (p q) es una tautologa.
p .........q........... ..........;-p............. ...... .. ..... .. ~'P v ^q
V V F F F
V F F V V
F V V F V
F F V V V
p q p=>q ^ (p = > q )
V V V F
V F F V
F V V F
F F V F
T>
De este modo, la propiedad anterior nos permite deducir lo
siguiente:
P => 4 = -1 (p a ->q)
Aplicando ahora una de las leyes de De Morgan y nuevamen
te la ley de doble negacin obtenemos:
p => q = -i p V -i-,q = -, p v q
como queramos demostrar.
El ltimo desarrollo trae aparejada una nueva cuestin: si he
mos podido deducir a la implicacin a partir de la negacin y la
disyuncin, entonces no era necesario definirla desde el comien
zo. En rigor, podemos observar que todas las conectivas se dedu
cen de esas dos:
p q = -, {-.p V -,q)
p => q = -P V q
Otro tanto ocurre con la equivalencia lgica, que no es otra
cosa que la conjuncin de dos implicaciones,
p O q = (p => q) (q => p) = (-.p v q) (-,<:/ v p)=
.p V q) V q v p)\
y tambin con la disyuncin exclusiva, que se puede pensar en
base a las anteriores de distintas maneras:
P q = -, (p q) = (p v q) -, (p q)= -,( ,/> v () v , (-, p v q)
Tal propiedad se resume diciendo que {-,, v | es im conjunto
adecuado de conectivas. El lector puede veri(ic.ir que el conjun
to (-,, } tambin lo es. En realidad, autores como Russell mos
traron que todas las conectivas pueden deducirse de una sola, de
nominada incompatibilidad:
p P 1
V V F
V [' V
F V V
F [' V
p q p 1q ip\q) 1(p\q)
V V F V
V F V F
F V V F
F F V F
i;inio tan poderoso para hacer errar a cualquiera, se trate o no -al decir de La-
c.m - de un no-incauto. Por ejemplo, bien podra uno creer que la siguiente re-
i;l.i es verdadera,
(p => q) => r = p => (q -> r),
! incluso reforzar tal creencia asignndole un nombre pomposo:
asociatividad de la implicacin.
Sin embargo, es fcil probar que la presunta ley es falsa. El error en asunto de le
yes, que en Gargantua y Pantagruel se compara con la confusin de Isaac (a la que
colabor su esposa Rivka) de tomar a Jacob por Esa, en determinados casos toma
1111 cariz ms trgico: por ejemplo, el lamentable error judicial que llev al presidio
.1 Mitia Karamazov (ver F.Dostoyevski, Los Hermanos Karamazov).
VX,------ --------
i<). En el al menos uno se basa Lacan para hablar del homoinzune, homofona de
au moins une.
drantes. Eso determina una inevitable superposicin; en particular,
en el cuadrante superior derecho las dos proposiciones universales
son simultneamente verdaderas. Esto muestra que la contrariedad
no implica contradiccin, como pensaba Aristteles. Como dijimos,
el filsofo no tuvo en cuenta a las clases vacas; por eso en su lgica
todos implica algunos. Sin embargo, si el universo fuera vaco
el hecho de que todos coleccionasen mariposas no garantizara la
existencia de al menos un coleccionista, justamente porque el va
co anula toda existencia. La definicin lgica de la interpretacin
como semntica de los lenguajes formales pone precisamente como
condicin que el universo de discurso sea no vaco.
De las observaciones anteriores se desprende una forma inme
diata de reescribir las cuatro proposiciones categricas:
1 /() 3x /-^ (x )
20. Esta definicin es coherente con la idea mencionada de pensar a los universales
como V . Sin embargo, cabe aclarar que no es del todo precisa; pueden en
contrarse definiciones ms rigurosas de los lenguajes formales en cualquier li
bro de lgica matemtica.
h(x): x es hombre m(x): x es mortal s(x): x es Scrates
con las que se obtiene:
Premisa i Vx: h(x) => m(x)
Premisa 2 Vx: s(x) => h(x)
luego,
Conclusin Vx: s(x) => m(x)
El clculo se verifica entonces una vez que probamos que las
dos premisas implican la siguiente frmula:
Vx: [s(x) => h(x)] [h(x) => m(x)]
De este modo, la conclusin no es otra cosa que una conse
cuencia de la transitividad de la implicacin.
Para concluir esta seccin, podemos retomar los conceptos
antes sugeridos de frmula cerrada y frmula abierta, para defi
nirlos con mayor precisin21.
Una frmula se dice abierta cuando contiene variables libres,
es decir: no cuantificadas.
Una frmula se dice cerrada cuando no es abierta.
Se desprende de lo visto que existen bsicam ente dos maneras
de cerrar una frmula y transformarla as en proposicin: asig
nar valores a cada una de sus variables, o bien cuantificarla.
13. l g e b r a d e c l a s e s
21. No hay que confundir estos conceptos con las nociones de conjunto cerrado y
conjunto abierto que aparecen en la topologa (ver volumen 1).
22. Ver el Diccionario de trminos matemticos; de prxima publicacin.
vamente 0 y U. Finalmente, para cada clase a la existe su cla
se complementaria a c de modo tal que valgan las siguientes re
alas o axiomas:
1) Identidad a =a
2) Tercero excluido a u a c= U
3) No contradiccin a n a c= 0
4) Interseccin con clase universal an U=a
5) Unin con clase nula a u 0 =a
6 ) u y n son asociativas; es decir, para a, P, y
cualesquiera vale
(a u (3) u y = a u ((3 u y ); (a n |3) n y = a n ( P n y )
7) u y n son conmutativas; es decir, para a, |3
cualesquiera vale
a u (3 = (3 u ; a n (3 = 3 n
8) Leyes distributivas:
( a u p ) n y = ( a n y ) u ( p n y);
( a n P) u y = ( a u y) n (P u y)
A partir de estas reglas se deduce fcilmente:
9) Idempotencia de n a n =
En efecto, empleando la regla 4) y luego la 2) resulta que
= a n U = n ( )
Por la ley distributiva, usando luego 3) y 5) se deduce:
= ( n ) ( n ) = ( n ) 0 = n
con lo que 9) queda probado. Una propiedad anloga se verifi
ca para u :
10) Idempotencia d evj =
Tambin valen las siguientes propiedades:
11) Unin con clase universal u U=U
12) Interseccin con clase nula a n 0 =0
Por ejemplo, 11) puede comprobarse a partir de 2), emplean
do la asociatividad de y su idempotencia:
u U = ( ) = ( ) = = U
De modo similar se obtiene 12).
Otra propiedad importante es la unicidad del complemento,
que permitir a su vez demostrar otras cosas. Pero conviene pre
guntarse: qu significa que el complemento es nico? La respues
ta no parece complicada: significa que para cualquier clase a exis
te slo una clase que verifica las propiedades expresadas por los
axiomas 2) y 3). En rigor, dicha unicidad es la que permite hablar
seriamente de el complemento; si hubiera ms de uno la defini
cin resultara ambigua. Aunque esto nos lleva a un proceder un
tanto cuestionable (ver, por ejemplo, el Tractatus de Wittgens
tein), pero que es moneda corriente a la hora de probar unicida
des: suponer que hay otro elemento p que satisface dichas pro
piedades, vale decir
a u p = U, anp =0
para concluir finalmente que P es forzosamente igual a a c. En otras
palabras, que P no es otro sino que es el mismo. Por ejemplo, es
fcil verificar que a c = a cu P = a cn P, y a partir de all resulta:
a cn Pc = (acn p) n Pc = a cn (p n Pc) = a cn 0 = 0
En consecuencia,
p = p u 0 = p u ( a cn p c) = ( p u a c)n (( 5u p c) = a cn l j = a c
como queramos (realmente queramos?) demostrar.
Valindose de esta propiedad, queda para el lector la tarea de
comprobar estas otras leyes:
13) Doble negacin (ac)c = a
14) Ley de De Morgan para u ( a u p)c = a c n Pc
15) Ley de De Morgan para n ( a n p)c = a c u Pc
Entre conjuntos se define la relacin de inclusin, cuya im
portancia se puso de manifiesto en el desarrollo de la lgica aris
totlica. Como es de esperar, la idea puede reproducirse en este
nuevo contexto algebraico de las clases, aunque eso plantea un
problema: cmo definirla? Resulta sencillo decir que un conjun
to A est incluido en otro conjunto cuando todo elemento de A
es elemento de B; sin embargo, la definicin algebraica de clase
prescinde de los elementos y nos obliga a pensar en otra cosa.
lelizmente, el diagrama parece darnos una buena clave: la re
gin sombreada, que no es otra que el complemento de P, resul-
l.i disjunta del crculo que representa a a. La causa de ello, jus-
i.imente, es que la clase a est metida en P; eso nos permite
alear la siguiente
Definicin: diremos que a est incluida en p (a P) si y slo
si se cumple que
a n Pc = 0
Esto permite establecer las propiedades clsicas que debe cum
plir toda inclusin que merezca ese nombre (las demostraciones
quedan como ejercicio):
16) Definicin de inclusin por u: (a g P) o (ac u p = U)
17) 0 est incluido en toda clase: 0 a
18) Toda clase est incluida en la universal: a U
19) Transitividad de la inclusin: ( ) = >
20) Antisimetra: ()=>=
Vale la pena mencionar que la ltima propiedad, pensada en
el contexto de la teora de conjuntos, no expresa otra cosa que el
afamado principio de extensionalidad, el mismo que brinda la ma
nera ms convincente de probar la igualdad entre conjuntos4.
23. En efecto, el principio establece que dos conjuntos que tienen la misma exten
sin son iguales. En otras palabras:
Dos conjuntos son iguales si y slo si tienen los mismos elementos.
Esto nos lleva a pensar en la famosa frase de Gide: de alguna forma, se trata de
un Dos que se regocija de ser Uno. En el Seminario XIX, Lacan relaciona a la ex
tensionalidad con la mismidad.
Ca p t u l o 2
La in d u c c i n m a t e m t ic a y e l
sist e m a de Pe a n o
lo que nos pone ante aquel curioso hecho que mencionamos en la primera par
te: una proposicin universal no permite deducir una particular.
Principio de induccin: si P es una propiedad que cumple (2),
entonces P es verdadera para todos los nmeros naturales.
En el p a sa d o , el u so de la in d u c c i n m a te m tic a en las d e m o s
tracion es era algo m isterioso. E n to n ces, no p a re ca razo n ab le d u
d a r de q ue fuera u n m to d o co n ven ien te de p ru eb a, p ero n u n c a se
su po b ien p o r q u ten a v alid ez. A lg u n o s lo c re y e ro n realm en te un
caso de in d u cci n , en el sen tid o en q ue esta p alab ra se e m p lea en
lgica. P o in car lo co n sid e ra b a co m o un p rin cip io m u y im p o rta n
te, p o r m ed io del cu a l in finito s silo g ism o s p o d an ser c o n d en sad o s
en u n n ico a rgu m en to . A h o r a sa b e m o s q ue to d as estas c o n sid e ra
cio n es so n err n eas, y q ue la in d u cc i n m a te m tic a es una d efin i
ci n , n o un p rin cip io 5.
5. B. Russell, 1946).
no demora en hacer la siguiente aclaracin:
Esto es v e rd a d e ro c u a n d o el n m e ro de p a so s in term ed io s
en tre el p rim ero y el ltim o p e rm a n e c e finito.
a, = 0 - 2 = 4
a2 = 3a, - 2 = 10
a} = <2- 2 = 28
es decir, la sucesin
2/2, 2/1, 3/2, 5/3, 8/5 ,13/8, 21/13, -
converge a dicho valor.
23/8 = 2,625
21/13 = 1,613...
34/21 = 1,619...
= 1,618033988
EL S IST E M A D E P EA N O
0 = primer nmero
1 = siguiente del 0 = so
2 = siguiente del 1 = sso
3 = siguiente del 2 = ssso
4 = siguiente del3 = sssso
P r o p i e d a d l)
P r o p ie d a d 2)
L a s r e g l a s d e a l -j a b a r y
Fib o n a c c i r o b a d o
+++1 ++
___- i 1 + _ -
+ +- - ++
-> 3
-+-1 -- +
2 1
I - - - + - + + - + + - + + +
2 1 2 3 3 2 2 3 2 2 3 2 1
cl 5 ) a, p, y, 5 v a. p
fi,!
IT 2T
(r/s).s > r
r.(r\s) ->s,
permitiendo calcular las cadenas que cancelan hacia la catego
ra S. A modo de ejemplo elemental, supongamos el vocabulario
V - { el, perro, gato, Flix, muerde, malla }
y los tipos
n, np, np/n, np\S
con las siguientes asignaciones:
el -> np/n
gato n
perro n
Flix > np
muerde -> np\ S
malla > np\ S
En consecuencia, las cadenas
el perro muerde
el gato muerde
el gato malla
el perro malla
Flix muerde
Flix malla
derivan todas hacia S y resultan bien formadas; por ejemplo para
la primerase tiene:
D ig r e s i n :a l g e b r a y a n l is is
F ib o n a c c i r o b a d o
+ - - - + - + +
2 1 2 3 3 2
8 (3
2 3 2 1 1 2
y a P
cin dupiniana, sin que haya tenido luego la necesidad de recurrir a un algebris
ta para que lo reordene".
b) intercambiando todos los + y - que aparecen en lugar impar
c) intercambiando todos los + y - que aparecen en lugar par
BL-S
P>Y y, 5
IT 3T
Longitud 1:
a, P, y,
Longitud 2:
ota, aP, Py, P5, yy, y, a, 8p
Longitud 3:
a a a , , |3, , , PyS, , psp, yyy, yyS, 8,
5, aa, 8aP, 8Py, 5p8
Longitud 4:
a a a a , , , , , aPy 5, ... etc.
X + y X I____________________________________________ I_______________________________ I
X y X y
+ -=1. +
= ---- = .1+
1
x x cp
q> = 1 + ^
2
Ahora, de la expresin
se desprende tambin que
----- 7~ = ,+
<P= 1
1 + i. 1 + V
Si continuamos este proceso ad infinitum, no es difcil con
cluir que
. 1
= 1 + ---------
1+^V
1 3
a = I+
a3 = 1 +
i+- L 3
1+ 1
Pero ahora vamos a dar un pequeo salto hacia atrs en el
tiempo, ms precisamente hacia el Seminario IX, La Identifica
cin. En una pgina que muchas veces se pasa rpido aparece un
ejemplo misterioso, en principio apenas una vuelta ms al Pien
so-Soy cartesiano:
yo soy vo pienso
yo soy vo pienso
yo soy vo pienso
yo soy vo pienso
i+
l+'
a, = i +
a, = i +
/+ 1
a =i +
3 * + /+i
1 1-/
/+ 1 ~ 2
Esto permite obtener el segundo valor de la sucesin:
i+1
Luego
1
a = i H----- = 1,
y todo recomienza a partir de aqu, puesto que:
a4 = i + I = i+ l ,
/. = / + = i !
J 4 2
a o = / + 1 = /,
a<
Es preciso tener cuidado con la forma en que se efectan los "recortes sucesivos
de la fraccin, pues no siempre el resultado es aceptable. Por ejemplo, si en vez
de "cortar por lo sano" se nos ocurre cortar por lo imaginario, obtenemos:
a, = i
I i1 + 1
a} = i + - = ; = o
/
Entonces, cuando intentamos calcular el trmino siguiente nos topamos con
una dificultad, que impide la definicin correcta de la sucesin:
a = i + ---- - = / + - = ??
I 0
i +7
/
Ca p t u l o 4
LA D E M O S T R A C I N D IA G O N A L :
U N A C R U Z A D A C A N T O R IA N A
...el co n sigu ien te rechazo, sin c rtic a algu n a, del legtim o in fin ito a c
tu a l n o d e ja d e ser u na v io la c i n de la n atu raleza de las co sas, q u e
h an de to m a rse co m o son.
i. U n a n te c e d e n te s o c r tic o
T
2.2 = 4
1
- 1
-
2. Las citas de esta seccin corresponden a j Lacan, Sem inario 2, clase II: Saber,
Verdad, Opinin.
A pesar del yerro, la solucin se encuentra desde un comien
zo a su completo alcance, aunque fuerza la intervencin de un
convidado inesperado: como anuncia Lacan,
V2.V2 =2
p 2 - 2q2
2 . L A S PA R A D O JA S DE LA ID E N T IF IC A C I N
1 2 3 4 5 6 ...
1 4 9 16 25 36 ...
Claro que hay otro uno, esta vez sin maysculas, que permite
generar la sucesin de nmeros naturales y ha sido definido como
el conjunto cuyo nico elemento es el conjunto vaco:
i = { 0 }6.
De esta forma el nmero se constituye con ayuda de la funcin
de sucesor: el 2 como sucesor de 1, el 3 como sucesor de 2 y as ad
infinitum. La operacin es simple: basta con agregar al conjunto
que define al nmero n el propio n, esta vez como elemento.
2 = o u {o } = {0}
2 = i u { l ) = {O, }
3 = 2 {2} = {o, 1, 2}
7. En efecto, podemos pensar por ejemplo que la pelcula original Rambo no fue
Rambo I hasta que no surgi una segunda parte que la continuara. Hay que de
cir que, para nuestra fortuna, esta secuencia se detiene antes que la de los alefs.
El infinito de los nmeros naturales, el ms pequeo de todos, se
conoce como infinito numerable; el cardinal de un conjunto que no
puede escribirse en forma de sucesin corresponde siempre a algn
infinito mayor, denominado con toda justicia no numerable. En la
prxima seccin veremos un ejemplo, que se torna elemental con
la ayuda de un argumento notable: la demostracin diagonal.
4. E l b ic h o d e lo n o -n u m e r a b l e
D. H i l b e r t
0 0+ 1 = 00
00 + QO = 00
0 0 .0 0 = 00
00 = oo
Por otra parte, resulta claro que un infinito as pensado debe ser
naturalmente mayor que cualquier nmero natural; este infinito,
podra decirse, es lo ms grande que hay. Sin embargo, tal idea se
revel falsa en las imperturbables manos de Cantor, que borraron
de un plumazo la aureola mstica que rodeaba al infinito y lo trans
formaron en una entidad con la que se puede operar en forma pre
cisa, algebraica. Para decirlo correctamente, no se trata de una sino
de infinitas entidades, como mencionamos en la seccin anterior:
una secuencia ordenada de alefs. De esta manera NOIel infinito nu
merable, se convirti de alguna forma en lo ms chico que hay; en
el fondo, el Y a de lUn lacaniano no consiste sino en tomar
...de los infinitos, el menor ,8
La demostracin cantoriana no es directa sino -al igual que la
di' la irracionalidad de /2 - por el absurdo; como se ver, resulta
.ibsurdamente simple9. Se trata de suponer que se tiene una su
cesin que contiene por ejemplo a todos los nmeros reales en
de o y i, cuya escritura decimal consiste en un o y una coma se
guidos de una tira infinita de dgitos, v.g.
0,234324454980456...
Una lista que los contiene a todos presenta entonces el si
guiente aspecto:
0, a1 a2 a-i 4
0, b\ h, 64
0, C| Cn C} c4
0, d. d2 d ., d4
a, distinto de o,
a 2 distinto de b2
a 3 distinto de ci
a 4distinto de d4
a 0, 1 a2 a-i a4
a * 0, b\ b2 bi *4
a * 0, C\ Ci c4
a * 0, dt d2 t/3 </
. En rigor, suele pedirse que las sucesivas cifras de a sean tambin diferentes de
o y 9, con la finalidad de evitar los inconvenientes provocados por la ambige
dad que presenta la escritura decimal en casos como
0,2349999... = 0,235000...
De todas formas, esta restriccin deja todava una amplia libertad para las sucesi
vas elecciones, lo que parece introducir en la construccin propuesta por Cantor
algn aspecto de lo subjetivo. Sin embargo, hay maneras de llevar a cabo la opera
cin de burlar a cualquier lista prefijada por medio de un algoritmo, del estilo:
a = i i + * s'i
' { 1 si a ] 8 o 9,
etctera.
les, m s astu ta s, m s a p e g a d a s a lo real del n m e ro q u e h aya sido
in ventada n u n c a ."
I.IMLOGO
K0 + 1 = Ko
0 + 0 = Ko
K q.K o Ko
. lbid, clase del 1/6/72. La cita recuerda aquella definicin de Ionesco segn la cual
si uno acaricia a un crculo obtiene un crculo vicioso. Tambin merece desta
carse que Lacan se refiera a una invencin y no a un descubrimiento: quizs ello
no concuerde con el espritu de Cantor, decididamente platnico (cf. con la alu
sin a la naturaleza de las cosas que aparece en la cita de la pgina 88).
Cabe entonces preguntarse: cmo llegar a K ta partir de K0?
Ms en general, si a es un cardinal, cmo se puede obtener un
cardinal mayor que a?
La respuesta a esta pregunta va a echar alguna luz sobre otro de
los temas mencionados por Lacan en El saber...: la cuestin de los
subconjuntos o partes de un conjunto dado. Por ejemplo, para
X = {a, b, c, d, e},
el conjunto de partes de Xse obtiene tomando todos sus subcon
juntos, es decir:
P(X) = { 0 , {a}, {b}, ..., {a, b}, ... {a, b, c}, {a, b, c, d}, ..., X}
conjuntos finitos, es fcil ver que la cantidad de subcon
juntos es siempre mayor que la cantidad de elementos del con
junto original; la generalizacin de esta propiedad para conjun
tos infinitos es la que permite ver que la lista de infinitos no se
detiene. Cantor prob, en efecto, que dado cualquier conjunto,
el conjunto de sus partes tiene un cardinal estrictamente mayor.
Esto puede verse de la siguiente manera: supongamos que X es
un conjunto de personas, y entonces los subconjuntos de X son
agrupaciones de personas de X, a los que podemos llamar clu
bes. De esta forma, P(X) es el conjunto de todos los clubes po
sibles. Vamos a ver que no existe una correspondencia biunivo
ca entre X y P(X) : procederemos por el absurdo, suponiendo que
existe una funcin uno a uno, que a cada elemento de X le hace
corresponder un elemento de P(X), y viceversa.
Para fijar ideas, podemos suponer que a cada persona x perte
neciente a X le hacemos corresponder un club A(x), al que deno
minamos club de admiradores de x. Este club de admiradores
podra ser vaco, como ocurre con las personas no muy admira
bles; lo que veremos es que forzosamente hay algn subconjun-
to de Xque no puede ser club de admiradores de nadie. Para ello,
dividiremos a los buenos ciudadanos de X en dos clases:
Los fanfarrones, que pertenecen a su club de admiradores.
Los modestos, que no pertenecen a su club de admiradores.
A modo de barbero de Russell, vamos a construir el subcon-
junto de X formado por todas aquellas personas de X que no per
tenecen a su club de admiradores, es decir:
= {x e X ; x A(x) }
Si suponemos que la aplicacin A es uno a uno, existe un ele
mento b en el conjunto X tal queA(b) = B. Pero entonces b tiene
1111e ser fanfarrn o modesto, lo cual no puede ocurrir, ya que:
Si b es fanfarrn, entonces b pertenece a B, que es el club
de los modestos (absurdo).
* Si b es modesto, entonces b no pertenece a B, que es el
club de los modestos (absurdo).
lista contradiccin muestra que ninguna funcin de Xa P(X)
I mede ser biunivoca.
El conjunto potencia se puede expresar tambin con ayuda de
I. nocin defuncin caracterstica, que consiste en rotulara cada
i11emento de X con un o o un i segn pertenezca o no a cierto sub-
( cmjuntoA del mismo. Por ejemplo, tomando X como antes, la
luncin caracterstica del subconjunto A={a, d, e} est dada por
b -> 0
- 0
d -> 1
e 1
a las que entiende como las distintas formas de separar en dos el contenido de
un conjunto (en tal sentido, una denominacin ms precisa sera biparticio
nes). Por ejemplo, para X como antes, se puede definir la particin dada por
(a, d, e} y {b, c}. En general, cualquier subconjunto A determina una particin
de X, que resulta ser la misma que determina su complemento X -A ; en conse
cuencia, el total de particiones de un conjunto de n elementos es exactamen
te la mitad del nmero total de subconjuntos, vale decir: 2." 1
14. En realidad, Godei haba probado en la dcada del treinta la imposibilidad de
refutar la hiptesis del continuo; Cohen prob luego que los axiomas de la teo
ra de conjuntos tampoco bastan para demostrarla. La conjuncin de ambos re
sultados otorga a dicha hiptesis su carcter indecidible.
Ca p t u l o 5
La v id a sin la b o l s a :
A U T O R R E F E R E N C IA Y
T E O R E M A S DE G D E L
U n o . B r e v e r e f e r e n c ia so b r e E p im n id e s .
I )<>s. B r e v e r e f e r e n c ia so b r e l a r e f e r e n c ia :
( hJlNE Y G D EL
5. La efectividad de esta accin muestra que un nombre resume una infinitud: esto
es una obviedad, aunque como veremos en el captulo 7, la existencia de un Nom
bre impronunciable deja claro que el asunto es menos trivial de lo que parece .Cabe
aclarar que estas especulaciones no son excluyentes del lenguaje natural o los len
guajes formales, que son los que nos conciernen en el presente texto.
6. Vale la pena citar, por ejemplo, sus Notas acerca de la teora de la referencia, en
Quine, 1984.
Imsable exclusiva de que/no sea digna de llamarse proposicin
I nies no resulta verdadera ni falsa. Sin embargo, pasa a tenervalor de
verdad si reemplazamos a x por cualquier elemento del universo:
/{Scrates) = Scrates es un hombre
f[El ratn Mickey) = El ratn Mickey es un hombre.
Iiste burdo ejemplo nos muestra que el hecho de que una propo-
.icin sea bien formada nada tiene que ver con su valor de verdad.
Volviendo a la operacin propuesta por Quine, parece bastan-
I e claro que el xito que tuvimos al aplicarla a ciertos casos como
el ele tiene tres palabras resulta un tanto precario: a decir ver
il.id, la obtencin de una oracin coherente puede considerarse
|)oco menos que una casualidad, o quiz un milagro. La mayora
i le las veces el resultado es disparatado, hecho que con el tiempo
nos ayudar a comprender que una variable no se puede sustituir
cualquier cosa.
La paradoja de Epimnides en la modernizada versin de Qui
ne se logra mediante un forzamiento, cuando se insta (...o me~
/<>r: se in-cita) a preceder por su cita a la frase produce falsedad
i uando es precedida por su cita:
T r e s . P r o p o s ic io n e s in d e c id ib l e s y t e o r e m a d e
G o d e l
. Queda claro que decir se volvera es slo una manera de hablar. La inconsisten
cia existe desde antes; en todo caso, su hallazgo a partir de una paradoja puede
compararse a aquello que en la enseanza lacaniana se denomina aprs coup.
de verse como forzada", casi tanto como la clebre disyuntiva cuya
formulacin cautiv a Lacan: la bolsa o la vida.
Los prrafos anteriores nos han llevado a comprender un he
cho que es irreparable: la demostrabilidad es ms dbil que la
verdad. Para asegurar la verdad de ciertas afirmaciones, slo ca
ben demostraciones fuera del sistema: algunas resultarn convin
centes, como la anterior demostracin de p\ otras tendrn, quin
sabe, un carcter algo ms mstico.
C u a t r o . C u l e s e l t t u l o d e e st a s e c c i n ?
Pertenezco al club de
los que no son
caballeros probados
Cm o pude haber deseado que Chloe me amara e indignarme con ella cuando
lo hizo?
llerosidad de E es indecidible, por ms que se ponga a vociferar
tal como hicimos antes: Soy caballero, seores; cranme.
Como se ve, hay maneras muy simples de producir afirma
ciones gdelianas: basta con la ayuda de unos pocos caballeros,
y una pequea cuota de picarda.
C in c o . L o s l e n g u a je s f o r m a l e s
Regla 1: x.o = o
Regla 2: x.sy - x + x.y
sss...ssssO
1889 eses
S e is . U n p a se m g ic o
V x _ , ( ' x = 0 )
1 2 3 7 4 2 6 5 8
x = 5 5 5 s 0
2 6 4 4 4 4 5
S ie t e . L a l ie b r e d e M a r z o
13. En principio, la operacin slo sera aplicable a aquellos que resultan ser el n
mero de Godei de una-frmula con una variable libre, aunque es fcil extender
a Q de modo que est definida para cualquier nmero.
las limitaciones en un terreno que todo el mundo transita, con ma
yor o menor destreza: la aritmtica. Pero hay otros resultados muy
importantes, que comentaremos en las prximas pginas.
Pocos aos antes de su idea seductora, Godei mismo haba
demostrado un hecho fundamental en la Lgica, el teorema de
Completitud, que a grandes rasgos puede resumirse en un enun
ciado tranquilizador:
Todo sistema consistente admite un modelo.
Encontrar un modelo constituye la manera ms efectiva de pro
bar que una teora es consistente; gracias a este teorema sabemos
que, en caso de que lo sea, siempre existe uno. Esto se puede veri
ficar, por ejemplo, con la isla cuyas simples reglas vimos antes14.
Godei efectu otros aportes muy relevantes a la Lgicay la Teora
de Conjuntos: entre ellos, sus resultados en relacin al tema que, se
gn mencionamos, constituy los desvelos del genial Cantor: la hi
ptesis del continuo'5. Pero ahora nos detendremos en otro teorema
que demostr pocos aos despus de su desconcertante teorema de
incompletitud (o indecidibilidad) de la Aritmtica: se trata del no
menos desconcertante Segundo Teorema de Incompletitud.
Hasta el momento nos hemos dedicado a la paradoja de Epi
mnides; tan absortos estuvimos en la tarea que ni siquiera se
nos ocurri preguntarnos acerca de la proposicin contraria, no
miento, o bien:
Esta proposicin es verdadera.
Quizs nos sintamos inclinados a no perder en esto ni un minu
to, porque se trata de una frase de lo ms inofensiva, que no mues
tra el menor atisbo de contradiccin. Pero este aire bonachn es
14. El lector merece aqu una ayuda. Por empezar, hemos visto que los axiomas de
Smullyan permiten deducir la existencia de al menos un caballero no probado ().
Sin embargo, una isla poblada nicamente por E no sirve como modelo, pues las
reglas no se satisfacen. En efecto, en este caso el club de los caballeros probados
(CP) es vaco, y no habra habitantes de la isla que afirmasen pertenecer a CP, lo
que contradice la regla 3. Podemos arreglar el asunto agregando a la isla un men
tiroso (M), pues entonces alcanza con formar dos clubes, CP = 0 y N C P = { E, M};
M dice pertenecer a CP, y E dice pertenecer a NCP. Tambin podramos haber agre
gado un caballero probado, en vez de un mentiroso, pero las perspectivas de una
isla poblada slo por caballeros no parecen m uy interesantes.
15. En realidad, podra afirmarse que el asunto le provoc algo ms que desvelos
Cantor fue internado varias veces en una clnica psiquitrica, en donde termi
n sus das en 1918.
apenas una fachada, ya que la verdadera esencia de esta frase fin
gidora plantea una situacin muy inquietante: no es posible de
terminar si es verdadera o falsa. Este tipo de enunciado, llamado
de Henkin" en realidad es frecuente: consideremos por ejemplo
el siguiente dilogo, casi cotidiano en la isla de Smullyan,
Era tan feo q ue hasta los q u e eran m s feos que l no lo eran tanto.
O c h o . A u t o r r e t r a t o d e m m is m o
17. Podra pensarse que esta ancdota narrada por Macedonio en sus Papeles de Re-
cienvenido est inspirada en el texto Borges y yo, de 1960, en donde Borges ase
gura que su vida es una fuga (de Borges), para concluir:
20. En su Seminario IX, Lacan advierte: Que sea Aristteles quien toma cuidado de
revelar que Scrates es mortal debe sin embargo inspirarnos algn inters...
Kl argumento se reproduce cualquiera sea el nmero de pro-
I tosiciones; todo lo que hace falta es que en algn momento, una
(k ellas vuelva hacia atrs,
p p2 es verdadera.
p2: p, es verdadera.
Pn i: Pn es verdadera.
pn : p, es falsa.
21. Segn se relata en Tasic, 2001, Leibniz escribi que su aspiracin era hacer uno
mismo el argumento y el clculo". La Characteristica Universalis ha desperta
do sumo inters entre los ms ilustres autores: segn cuenta Borges, Pierre Me
nard lleg a dedicarle una monografa. Sealemos de paso que el Teorema de
Church podra expresarse en trminos lacanianos de la siguiente forma:
Todo mtodo tiene excepcin,
o mejor aun:
EL mtodo no existe.
22. Rabelais, Garganta y Pantagruel, libro tercero, XVIII. Pantagruel se tom el
reto muy a pecho y se encerr con honda preocupacin a repasar a Beda, Ploti
no, Proclo, Artemidoro, Anaxgoras y otros autores. Finalmente, el debate fue
asumido por su amigo Panurgo, quien derrot a Thaumasta haciendo gala de
una notoria fluidez gestual. Otro sabio, recordado por W oody Allen, compren
di tambin las deficiencias del lenguaje, de modo que decidi llevar a cabo to
das sus conversaciones, hasta las ms ntimas, mediante banderas de seales.
Como sea, los teoremas de Tarski, Ch urchy Godei constituyen una broma ms
jocosa que ninguna otra a cualquier pretensin de completitud. Lacan se apoya
en Russell y Wittgenstein para postular su clebre sentencia:
E p l o g o , y n u e v a g o d e l iz a c i n .
1- Escribir gato
2- Volver a i.
26. La frase pertenece al poema El Golem, de). L.Borges. Como se puede ver, el tenu
de un hombre que crea a otro hombre es frecuente en el escritor argent i110
comprueba que la muerte est escrita. De ms est decir que esto
predicado resulta un excelente candidato para aplicarle la ante
rior operacin Q:
est escrita est escrita.
Al margen de las leyendas, el programa anterior (al que po
demos llamar programa G, ahora por Golem) es un texto fin i
to. Si uno lo lee a la letra, enseguida concluye; el problema se le
presenta a aquel lector obediente que se dispone a obedecer los
mandatos que el programa indica. Entonces, nunca termina: aun
siendo mudo, este Golem alcanza a mostrarnos un ejemplo de
algo finito que captura a lo infinito. O bien, para decirlo en tr
minos de Freud, algo terminable e interminable. Por eso si iden
tificamos escritor con lector, explicando en cada prrafo el prra
fo precedente, se hace indispensable alguna clase de salto fuera
del sistema. Ese salto daremos ahora.
El eplogo de este eplogo se justifica en el hecho de que,
a pesar de todo, hay una suerte de ultimidad en el teorema
de Godei: se anticipa a sus posibles refutaciones. Volviendo al
kafkiano Zenn, la situacin podra compararse con la tortuga
escapando de Aquiles o, mejor aun, con la famosa demostracin
diagonal de Cantor27. Expresado en pocas palabras, el problema
se plantea as de acuerdo con Godei, hemos obtenido una
proposicin verdadera que no es demostrable. Ahora bien, qu
sucede si dicha proposicin es agregada al conjunto de axiomas?
Siendo verdadera, es claro que no puede generar ninguna clase
de inconsistencia; por otra parte, dejar de ser indecidible por
tratarse decididamente de un axioma. En definitiva, el sistema se
fortalece... porun rato. En realidad, el poderdura tan poco tiempo
que no alcanza siquiera para sellar el triunfo con un latinismo (cf.
27. Cabe destacar que otro "precursor" de la apora fue Carroll, con su dilogo Lo
que la Tortuga dijo a Aquiles, y podra afirmarse tambin que a ambos au tores se
adelant Lacan en un seminario cuyo ttulo es muy coherente con el tema que
venimos tratando: Encore. All se vale de estos resultados de Godei para sostener
una tesis algo preocupante para el lector desprevenido: no hay relacin sexual
Para reafirmar la aseveracin de que Zenn fue tambin carrolliano, basta con
sealar por ejemplo un prrafo de A travs del espejo, en el que Alicia intenta
alcanzar unos juncos que crecen fuera del bote en el que viaja:
i Esto ocurre incluso con el texto bblico: ciertos estudiosos, sin discutir por su
puesto la autora divina, dudan en cambio algunas de Sus interpretaciones. Pero
la duda no debe ser tomada como una irreverencia, sino como el sentido mismo
del estudio. Segn la tradicin, el mundo fue creado intencionalmente incom
pleto, para que el hombre pueda completarlo y mejorarlo por medio de sus ac
tos, transformndose en socio activo del programa de creacin. Una voluntad
similar se puede observar en la Geometra de Descartes, cuyo prrafo final dice:
S e g u n d o c a so . U n c a s o d e in c o n s is t e n c ia .
...las leyes del mundo del espritu son las del laberintoy no lasdel teorema...
-Q uerra decirme, por favor, qu camino debo tomar para irme de aqu?
-E so depende mucho del lugar adonde quieras llegar -d ijo el Gato
-M e da lo mismo el lugar...-dijo Alicia
-Entonces no importa qu camino tomes -d ijo el Gato
-...m ientras llegue a algn lado -agreg Alicia a modo de explicacin.
-O h, puedes estar segura de llegar a algn lado -d ijo el Gato , si slo caminas
bastante.
Como dice el caballero de la nota 1 del captulo 5, en realidad, la meta es... la del
propio Kafka, que anhelaba salir de su ciudad natal: Praga no te suelta. Menudas
zarpas tiene la madrecita
derlo todo, as que estamos ante una eleccin forzada. Ya no se
trata de un no choice sino ms bien de un single choice, pues no
queda otro remedio que perder completitud. Puede decirse que
toda la Aritmtica se apoya en el incierto (pero deseable) hecho
de que la frmula
0 = 1
El debate sobre tan intrincada cuestin se extiende hasta que en el captulo XLV
se hacen aconsejar porTribouillet. La inquietante sentencia de este ltimo,
-4 -3 -: : 0 1 : 3 4
-4
-3
H, Mj
H4 ^ M 4
2 ^ 3
H3 ->M4
H4 M5
Volviendo al ejemplo de Juan, podemos concluir que Dios tiene la "inmensa bon
dad de evitar al hombre aquello que no es bueno para l. Sin embargo, hay que
reconocer que la solucin, aunque ingeniosa, viola de todas formas los preceptos,
pues en algn sentido fuerza a cada hombre a desear a la mujer de su prjimo. A
modo de ejercicio, puede pensar el lector la manera de resolver el problema de las
parejas si se supone la llegada a la fiesta de un nmero infinito de hombres solos.
Hk h v i ; i >k i ;s i ;n ia c ' i n d e ca so s
C u a r t o c a s o . Un c a so d e m e t f o r a
A b a jo E u clid ee!
Q u in t o c a s o . U n c a so a l m a r g e n
12. En esto acuerdan incluso los formalistas, aunque atribuyen el xito de la apli
cacin de las matemticas a las dems" ciencias a una armona preestablecida
(Leibniz) o directamente a un milagro (Bourbaki).
sivo. El enunciado original fue hallado en el margen de un libro,
en el cual Fermat escribi:
13. Vale la pena comentar que hace ya mucho tiempo que el enunciado es conoci
do como el "ltimo teorema de Fermat''. Sin embargo, cuando una proposicin
se sospecha verdadera, pero no ha podido ser an demostrada, no es un teore
ma sino una conjetura.
el tiempo hojeando unos libros de matemtica. All encontr
algunos comentarios acerca del enunciado de Fermat y otros
problemas que se desprenden de l; entretenido con ello, se le
pas la hora acordada para el suicidio. Entonces se convenci de
que la matemtica difcil es ms gratificante que el amor de un.i
mujer difcil; abandon todos sus planes suicidas y estableci
un premio de 100 mil marcos a quien resolviera el problema
planteado por Fermat. Sin embargo, no paut ningn premio
para el que consiguiera el amor de la chica: al menos, la historia
no da detalles al respecto. Aun as, el teorema sigui mostrndose
reticente a los amoros por unos cuantos aos ms. A esta altura,
no hace falta decir que si la demostracin que Fermat menciona
hubiera sido correcta, debi haber sido verdaderamente muy
prodigiosa.
Pero a la luz del teorema de Godei podramos pensar que, al
fin y al cabo, si despus de tanto tiempo nadie pudo demostrar el
enunciado de Fermat, acaso la demostracin no exista, aunque el
enunciado fuera verdadero. Por qu no? Los matemticos sue
len afrontar sus problemas bajo la actitud -quizs algo ingenua-
de que lo que es verdadero puede probarse, pero Godei mostr
la existencia de enunciados indecidibles. En consecuencia, nada
impedira pensar que el teorema de Fermat es uno de ellos: en
tal caso, fuera o no cierto, nadie lograra demostrarlo nunca, ni
siquiera con la ayuda del mayor de los prodigios.
Antes de seguir, debemos confesar que el razonamiento ante
rior es engaoso. En realidad, los enunciados gdelianos tienen
una forma muy particular, y se puede ver que el de Fermat no es
uno de ellos; en otras palabras, se sabe desde hace tiempo que el
enunciado de Fermat es decidible. Como sea, el hecho de saber
que existe una demostracin o una refutacin no es lo mismo que
encontrarla; la prueba est en los trescientos cincuenta aos que
pasaron desde la inofensiva anotacin marginal.
En 1993, el matemtico ingls Andrew Wiles present una
prueba completa del teorema, a la que a la que dedic gran parte
de su vida. Y no se trata de algo que pueda escribirse fcilmente
en el margen de un libro, por ms que se escriba con letra bien
apretada: cuando se public, su longitud excedi las doscientas
pginas. Claro, despus de todo ese esfuerzo, debi haber resul
tado algo enojoso enterarse de que tambin esta demostracin
i1ivi incorrecta. Sin embargo, al cabo de algunas idas y vueltas, el
error fue subsanado y el teorema qued definitivamente proba
do en 1994. Wiles se hizo acreedor del premio ofrecido por aquel
amante despechado casi noventa aos antes.
Nadie duda de que la demostracin de Wiles no es la que Fer
ma t dij o haber hallado pues, al margen de que 110 cabe en ningn
margen, implica desarrollos matemticos por completo inexis
tentes en los tiempos en que el problema fue planteado. Por ello,
por ms que al final la verdad de su enunciado haya podido es
clarecerse, el propio Fermat merece ser tambin considerado un
caso, sin duda ms interesante que cualquiera de los que debi
resolver en el ejercicio de su verdadera profesin de abogado.
Una vez demostrado, quin se atrevera a negar el teorema
de Fermat? Hacerlo sera como negar que + 1 es igual a 2, audaz
enunciado cuya demostracin figura en los Principia Mathema
tica de Russell y Whitehead. Dicho sea de paso, estos concienzu
dos autores obtienen la provechosa verdad recin al cabo de 362
pginas; aqu parece poder aplicarse la sentencia que profiere el
inquisidor Bernardo Gui, personaje de El nombre de la rosa:
Cuidado con la es
ca
le
ra
r> *
T 7
100
14. Sera aqu de utilidad contar con la partcula hebrea et, segn veremos en el ca
ptulo 7.
Sin embargo, Gauss descubri que se puede escribir la su nu
en forma horizontal,
1 + 2 + 3 + 4 + ... + 97 + 98 + 99 + 100
1 + 2 + 3 + 4 + ... + 97 + 98 + 99 + 100
100 + 99 + 98 + 97 + ... + 4 + 3 + 2 + I
1 + 2 + 3 + 4 + ... + 97 + 98 + 99 + 100
100 + 99 + 98 + 97 + ... + 4 + 3 + 2 + I
100.101
--------------= 5050
2
luego viene el 3:
i ;
3
s <
Ser siempre as? Ello sucede, en efecto, cada vez que agre
gamos un nuevo impar:
/5 /5 - 1 2 /5
-2itV5 5/2
1+ .1
/5 - 1
- 4 /5 \ + \5
1+
1 +
...diez falsas filosofas sobre los datos del Universo, o diez falsas teo
ras sobre los datos del castillo de Glengyle.
U n a id ea tan sen cilla, tan h erm o sa, tan p acfica! A m ib o s m os: nos
h em o s p a sa d o una n o ch e en el in fiern o, pero ah o ra se lia levan tad o
el sol, los p ja ro s c a n ta n ...'"
Resulta difcil negar que tal resolucin fue llevada a cabo con maestra. Quizs a
este tipo de cosas se deba la frase de Einstein: Aprend ms de Dostoyevski que
de cualquier fsico,
Ca p t u l o 7
La r e l i g i n , o r d i n e
M ATH EM ATICA D EM O NSTRATA
Dios hizo a los n m eros naturales, todo lo d em s es obra del hom bre.
La c r e a c i n
i. cf. Gnesis V, i.
I A III I IlilllN, OHIHNI. 11.11 UliMONSTRATA
2. A tono con su idea de una armona preestablecida, Leibniz afirmaba que si bien
Dios tiene la capacidad de concebir todos los mundos posibles, slo puede que
rer crear el mejor de ellos. Esta idea ha sido a menudo malentendida y le va
li diversas crticas; la ms famosa de ellas es la dura stira Cndido, escrita por
Voltaire, en donde el filsofo Pangloss enseaba la metafsico-telogo-cosmo-
lotontologa, y demostraba de modo admirable que no hay efecto sin causa:
Fijaos bien en que las narices se hicieron para llevar anteojos; por eso llevamos
anteojos. A l margen de las burlas, Leibniz fue uno de los grandes pensadores
de la historia; adems de haber fundado junto con Newton el clculo infinitesi
mal, entre sus mltiples hallazgos se cuenta nada menos que el inconsciente.
A h o r a b ien , e t sig n ifica tam b i n c o n . C a b e en tend er, p u e s: D io s
cre con el cielo y con la tierra, todo lo q ue cre. T o d o c o n ju n ta m e n
te, d e u n a so la v e z 3.
C ie n c ia , M a t e m t ic a , R e l ig i n
P u n to es lo q ue n o tien e partes,
R ecta es a q u e lla ln ea q u e y a c e ig u a lm e n te resp ecto de to d o s sus
p u n to s.
D io s es inconsciente.
Ja c q u e s L a c a n
La Matemtica es la Matemtica,
o acaso
Es Matemtica aquello que no es no-Matemtica.
Se admitir, pues, que los enunciados de todos estos teoremas que llenan tan
tos volmenes son slo maneras retorcidas de decir que A es A?
Tambin vale la pena recordar su descripcin, que comprende tanto a los logi-
cistas como a los formalistas: escritores que slo saben de gramtica pero que
no tienen historias que contar.
10. cf. con el poema de Gertrude Stein: a rose is a rose is a rose is a rose.
Im a g e n y Se m e ja n z a
12. Borges agrega al alfabeto el espacio entre palabras, el punto y la coma, como si
fueran simplemente tres letras ms.
de manifiesto en diversos pasajes de la Biblia. A propsito de n,
est escrito:
Rabi Ishmael dice: la Tor se interpreta mediante trece reglas: (1) Una
conclusin derivada de una prem isa m enor o una condicin m s in
dulgente a una m s im portante o estricta, y viceversa (...)
15. En la segunda creacin (Gnesis, II), la mujer es hecha finalmente por Dios
como una ayuda idnea para el hombre (literalmente, una ayuda en su contra)
quien, tras nombrar a todas las bestias, a las aves del cielo y animales del cam
po, no encontr ninguna que fuera realmente buena para l. En todo caso, la
aparente contradiccin entre las dos creaciones de la mujer parece una buena
ocasin para poner a prueba la regla 13 de R. Ishmael mencionada unos prra
fos atrs. Por cierto, los sabios han brindado diversas interpretaciones de este
curioso hecho.
16 Esta forma algo ingenua de expresarlo recuerda a aquel clebre poema en pro
sa de Cesar Vallejo que concluye de esta forma:
Mutilado del rostro, tapado del rostro, cerrado del rostro, este hombre no obs
tante, est entero y nada le hace falta. No tiene ojos y ve y llora. No tiene narices
y huele y respira. No tiene odos y escucha. No tiene boca y habla y sonre. No
tiene frente y piensa y se sume en s mismo. No tiene mentn y quiere y subsiste.
Jess conoca ai mutilado de la funcin, que tena ojos y no vea y tena orejas y
no oa. Yo conozco al mutilado del rgano, que ve sin ojos y oye sin orejas.
Algo similar ocurre en la Matemtica. El dibujo que hacemos
de un tringulo, por ejemplo, no es el tringulo; es como una me
tfora del tringulo, a su imagen y semejanza, que sirve para re
forzar nuestro entendimiento. Pero el tringulo no tiene ima
gen; cualquier representacin del tringulo es como el becerro
de oro. Eso puede llevarnos a imaginar a un furioso Euclides ba
jando del monte y haciendo aicos las tablas de sus postulados
ante nuestra pizarra; sin embargo, la Matemtica acepta esta es
pecie de idolatra (por la cual Platn se neg a considerarla ver
dadera epistme), pues ayuda a comprender mejor las nociones
abstractas. Es ms que una ayuda: muchas veces un simple dibu
jo puede inspirarnos el enunciado de algn teorema, al que con
un poco de buena fortuna los postulados permitirn demostrar
en forma rigurosa.
Pero conviene observar que tal servicio que se le brinda a la in
tuicin puede transformarse en una autntica ayuda en su contra,
hacindonos extraer conclusiones errneas a partir de un dibujo...
18. En algn sentido, la topologa puede pensarse como una sucric (Ir libt'r.int'm"
de los postulados geomtricos, 10 que nos permite situarnos <41 un intnrs.ui
te contexto: la celebracin de Pesaj, que significa "saltear" ( cmi 141 1( -.
dice Passover). Pesaj es la fiesta de la liberacin de Egipto (Mil /., <|iir l.un
bin quiere decir limitaciones); durante su celebracin se fonimi,in <11*11111,1
preguntas, de las cuales hay una que da pie a las dems:
20. Sin necesidad de ir muy lejos, la paradoja se presenta en ese momento clave en
el que Dios le dice a Abraham: ie j lej (vete para t), una suerte de Sigue tu de
seo, que pone a Abraham en la insoluble disyuntiva de acatar un mandato que
le prescribe la libertad.
Aunque no es una paradoja, vale la pena comentar tambin el caso de los dos
hijos que tuvo Lot con sus hijas, provocando una compleja situacin familiar: al
ser hermanos de su propia madre, los pobres muchachos terminan siendo tos
de s mismos. Esto se parece a aquel breve cuento de Mark Twain, en el cual el
narrador es abuelo de s mismo; en estos casos tan singulares, la tautologa que
hemos presentado un poco ms atrs toma en este caso formas un tanto apa
bullantes: mi abuelo es mi padre" (o mi abuelo es yo mismo, en el cuento de
Twain). Sealemos finalmente que la propia palabra tautologa parece ligada
al mandato Iej lej, pues proviene del griego otuxo (para s).
I. l(l,l,l(l(')N, ORDINI-: M ATH EM ATICA DEMONSTRATA
PASCAL, A H A R O N Y
LA P O T E N C IA DEL DOS
1+ 2 +3 = 6
4 + 5 + 6 = 15; 1+5=6
7 + 8 + 9 = 24; 2+ 4 = 6
A la realidad, dice Borges, le gustan las simetras y los leves
anacronismos; al menos eso ocurre cuando su brjula apunta ha
cia El Sur. Pero en ninguna parte el adagio se verifica en forma
ms precisa que en la esfera de Pascal, cuyo rastro puede seguir
se cuarto por cuarto hasta los textos hermticos que mencio
namos en el captulo anterior:
E n e l p r i m e r c a s o , e l r e s u lt a d o e s s ie m p r e 6 , q u e e s el v a l o r n u m r i c o d e la p a
shker ( m e n t i r a ) ; e n c a m b i o e n e l
la b r a s e g u n d o l.i s u m a e s 9 , v a l o r n u m r i c o
b r o c o l m a d o d e v e r d a d e s y n o d e m e n i i r , is ; n i r a s o n u i l 1.1 r i o s u s I n l o r e s p e n
s a r a n q u e l a T o r e s a p e n a s 1111 c o n j u n t o d e / i i lo n iv . V a l e l.i p r n . i h a c e r n o t a r
t a m b i n p o r p e r o n o l l e g a t a n l e j o s p u e s s e d e l i e n e e n l a , i n m e d i a t a m e n
s i n d e l d e s p la z a m ie n t o d e la :
Sin embargo, Pascal est muy lejos de ser aquel Dios que 110
vacila; nos cuenta Borges de una edicin que reproduce las la
chaduras y vacilaciones del manuscrito, revelando que Pasc.il
haba empezado a escribir:
U n a esfera esp a n to sa, cu yo cen tro est en to d as p artes y la c irc u n
feren cia en n in gu n a.'1
333333333
A todas ellas es comn la propiedad de que el eje de simetra
atraviesa a la letra (mejor dicho, al nmero): podemos decir que
el espejo es la letra, que el elemento central de la palabra pasa a
cumplir el rol de un espejo puntual. En el primero de los casos,
el 3 de 12321 es el espejo en donde la palabra 12 se refleja en su
7. Vale la pena recordar la frase que Borges pone en boca de uno de los heresiar-
cas de Uqbar: ...el visible universo era una ilusin o (ms precisamente) un so
fisma. Los espejos y la paternidad son abominables, porque lo multiplican y lo
divulgan. Vemos as que a Uqbar no le gustan las simetras, lo cual, en virtud
de lo ya mencionado, puede ser casi tomado como una prueba de su irrealidad
Una cita muy similar a la borgeana de la pgina 193 proviene de Hildebrandt y
Tromba, 1990:
identificacin; 1 1
i-'i-1 1
Para que el pegado pueda eleeluaise se t equ el e un mimen'
impar (es decir, simtrico1') tomo el 1 o el \ el 2 no se ilcjn /><</<//
ya que su disimetra le impide const itu irse en espejo. Es posible si
tuar un espejo entre un par de 2, pero no hacer del 2 un espejo.
La esfera de Pascal es ms simtrica que cualquier otra pue.'.
lo es respecto de cualquier centro, cualquier eje, cualquier pa
no. Pero, a diferencia de la esfera espantosa, el Dios de los caba
listas incorpora una novedad, la simetra temporal. Dios, o me
jor dicho el m-So/\in-finito) es eterno; en l se identifican pa
sado, presente y futuro. Sin embargo, esta idem-tidad9 no es
producto de un pegoteo sino que es a priori: para escribir la fr
mula A = A necesitamos hacer algo con ese trmino A; es preci
so, dice Lacan,
( - I---------------------
0 X y I 1l y 1/x+ 0 0
ta , t2 3 ...
jo 1 1 1 1 . . .
to t, t t3 ... tn ...
O p O O O O ... 1 ...
14. c f Borges 1974, Nueva refutacin del tiempo: "... somos nicamente la serie de
esos actos imaginarios y de esas impresiones errantes. La serie? Negados el es
pritu y la materia, que son continuidades, negado tambin el espacio, no s qu
derecho tenemos a esa continuidad que es el tiempo".
15. Lo imposible, en cambio, puede ser visto como una ausencia. Una sucesin in
agotable de ceros nos advierte acerca de un 1 al que toda aparicin est vedada,
un 1 que no cesa de no escribirse.
La aparicin llega; no importa cundo: el operador lgico de
lo posible nos permite esperar al i con toda confianza, como se
espera al Mesas.
Resulta notorio que el cuadrado de lo necesario, tan firmemente
apoyado sobre su base, se terminara mostrando mucho ms ines
table que el rombo (losange) de lo posible, cuyo equilibrio pun
tual es poco menos que milagroso16. Para hacer caer a lo necesa
rio basta con la aparicin del o, artfice de cualquier contingencia.
En trminos temporales, ello nos obligara a permanecer atentos
por siempre a que el o no se produzca; por eso es oportuno expre
sar a lo necesario mediante una doble negacin:
necesario = no-posible-no
p= - o ^ p
O I 2 3 ...
Esto es lo que Lacan llam mnada, producto de una recu
rrencia tambin sencilla, aunque menos montona:
1+ 0 = 1
1 + 1= 2
2+1= 3
.18. Es decir, como indica Lacan (Seminario XIX, clase del 19/1/72), que cada nme
ro est formado por
0 1 0 0 0 0 0 0
0 1 1 1 1 ] 1
mnada 0 1 2 3 A 5
diada 0 0 1 3 6 10
2 +1 = 3
3+3=6
{ a,b}
{a, c} { b,c}
{ a, d } { b, d } { c, d }
{ a, b }
{ a ,c } { b, }
{ a, d } { b ,d } { c, d }
{ a, e } { b, e } { c, e } { d, e }
21. Lacan alude en ...ou pire al valor 2 8 que corresponde a la columna n = 7 cuan
do habla de los 2 8 muebles.
22. Tambin es posible suponer que las personas se saludan besndose, aunque en
este caso el resultado podra dar el doble, el triple o incluso el cudruple de lo
deseado, dependiendo de la regin en donde el acertijo es planteado
4 + 3+ 2 + 1
Esto nos lleva a deducir una frmula general para los trminos
de la diada: la cantidad correspondiente para un conjunto de
elementos es la suma de los nmeros naturales menores que n,
30 ( 3 0 - 1)
-------- = 435
2
maneras distintas de hacerlo. La disposicin de las duplas, aque
lla que nos ayud a contarlos metdicamente e intuir la frmu
la general, explica la denominacin de triangulares con que se
conoce a estos nmeros; el hecho de que las diadas nos hayan
llevado a hablar de tringulos revela que no es fcil contar 2 sin
caer de algn modo en el 3. En resumen, que no hay dos sin tres.
Con la misma idea se construyen los otros renglones: la triada,
la ttrada, etc4.
23. Siempre respetando lo que menciona Lacan en ...ou pire (clase del 19/1/72):
0 1 0 0 0 0 0 0 0
1 1 1 1 1 1 1
m nada 0 1 2 3 4 5 6
diad a 0 0 1 3 6 10 15
trad a 0 0 0 3 4 10 20
ttrada 0 0 0 0 1 5 15
i
11
12 1
1331
14641
1 5 10 10 5 1
1 615 20 15 6 1
25. De todos modos, no completamente acorde. Nuestra primera reaccin fue dudar
de la forma, y no del autor; sin embargo, hemos cado en una trampa: el tringulo
de Pascal es tringulo, pero no de Pascal. En rigor, son muchos los matemticos
que se "entretienen" al menos as lo asegura F. Klein, quien advirti una vez que
si un teorema lleva el nombre de un matemtico, es seguro que este matemti
co no es su inventor. Hay otros tringulos, adems del pascaliano, que son infie
les a su verdadero Am o: sin ir muy lejos, los tringulos rectngulos, que obede
cen desde antesy por siempre a la famosa relacin descubierta por los babilonios
que es el teorema de Pitgoras. Pero no siempre las infidelidades estn asociadas
a los tringulos: la historia registra otras como el Teorema de Tales, las cifras ar
bigas o el Binomio de Newton, muy ligado al tringulo infiel y descubierto nada
menos que por Pascal. De todas maneras, es justo aclarar que la regla de Klein
no es infalible; de lo contrario deberamos dudar tambin de su clebre Botella
y hasta de la propia regla. En cambio, el cuestionamiento es vlido para la ban
da de Mbius, que nunca ha podido llevar el nombre del padre" (ver nota 6).
nos. Y aun en el caso de que las maravillas no nos interesen, po
demos dedicarnos a observar a uno de estos nmeros, pero no .1
uno cualquiera sino al que se regocija: el 2. Prestemos atencin
a su aparicin casi seorial dentro del tringulo, ocupando prc
cisamente el centro del mismo. Aparicin, por otra parte, nica;
podemos decir que el 2 es doblemente nico pues es el nico en
gozar de tal unicidad. Muchos elementos -una infinidad- apa
recen dos veces como el 3, el 4 o el 5: toda su actuacin se limita
a las diagonales ms distinguidas del tringulo, inmediatamen
te paralelas a sus lados. El 2 de aparicin nica se sita en la con
fluencia de dichas diagonales.
El tringulo es infinito: en rigor, slo tiene dos lados. Su base
es inalcanzable, no est en ninguna parte, de modo que si acor
damos en establecer como centro al 2 tenemos un tringulo
X = { a, b, c, d, e }
Trada Complemento
{ a, b, } {d,e}
{ a, h, d) {c,e}
{ a, b, e} {c,d}
{ a, c, d} {b,e}
{ a, c, e } {b,d}
{ a, d, e } { b, c}
{ b, c, d) {a,e}
{ b, c, e } { a, d}
{ b, d, e } {, }
{c,d,e} { a, b)
Asunto : Conjunto X
Contenido :
1 subconjunto de o elementos
5 subconjuntos de 1 elemento
10 subconjuntos de 2 elementos
10 subconjuntos de 3 elementos
5 subconjuntos de 4 elementos
1 subconjunto de 5 elementos
26. No hay que confundirse, sin embargo, con el epgrafe borgeano de La Bibliote
ca de Babel, que dice:
Las variaciones de las que aqu se habla son combinaciones de letras en las
que se admiten repeticiones; no slo eso, sino que adems importa el orden en
que se escriben. De este modo abc no es lo mismo que bac bea, y el hecho de
que se acepten palabras como axaxaxas implica que la combinatoria es infini
ta. Incluso el alfabeto ms zonzo, compuesto poru a sola letra, genera una in
finidad de palabras, aunque cabe reconocer que no muy variadas:
a, aa, aaa, a a a a ,...
En otras palabras, un inventario completo nos muestra que X
contiene i nada (el vaco), 5 mnadas, 10 diadas, 10 tradas, 5 le
iradas y pntada (es decir: dme todos). Sumando, vemos que
el nmero de partes de X es 1 + 5 + 10 + 10 + 5 + 1 = 32, he ah su
potencia. Si nos tomamos el trabajo de hacer estos clculos ren
gln a rengln, obtenemos:
n Summa
0 1 1
L 11 2
2 121
4
3 1331 8
4 14641 16
5 1 5 10 10 5 1
32
6 1 6 15 20 15 6 1 64
2 es el doble de 1
4 es el doble de 2
8 es el doble de 4
16 es el doble de 8
32 es el doble de 16
4 = 2J
8 = 2*
V
El
Universo
28. Segn la Biblia Moiss, el gran lder, es tartamudo: Ay, Seor!, no soy hombre
elocuente de ayer ni de anteayer, ni desde que hablaste a Tu siervo, sino que soy
torpe de boca y torpe de lengua" (xodo, I V 10). Tal confesin fue proferida du
rante el episodio de la zarza ardiente, que result, tal como lo fuera el Gato para
Alicia, la cosa ms extraa que Moiss vio en su vida. Al menos hasta ese m o
mento, pues es justo reconocer que despus de esa experiencia el Profeta ha te
nido ocasin de ver cosas realmente inslitas... Muchos han reclamado para s
la experiencia de la zarza, incluso el maestro Caeiro:
Ep l o g o
30. Es conocido el hecho de que con cuatro cuatrosy las cuatro operaciones elemen
tales se puede, como si se tratase de los cuatro elementos, formar una totalidad.
A l menos, la totalidad de los nmeros que se pueden contar con las manos:
44 - 4 4 = o; 4 4 /4 4 = 1; 4/4 + 4/4 = 2; (4+ 4 + 4 4 = 3; 4 . ( 4 - 4 ) + 4 = 4; etc-
de la sexuacin, emparentadas tambin con dichas proposicio
nes y con las cuatro modalidades: necesario, imposible, posible y
contingente. En La lgica del fantasma el inters recae sobre un
ejemplo elemental de la estructura de grupo: se trata de un gru
po de cuatro elementos denominado Grupo de Klein, en dondr
cobra gran importancia la nocin de simetra31.
En este breve eplogo en torno a las apariciones del cuatro no
debe faltar la versin einsteniana del espacio-tiempo cabalstico
que en la geometra introduce el concepto de variedad de Lorentz.
Para la intuicin parece un desafo pensar la cuarta dimensin,
aunque la idea es ms que sencilla: en rigor, no consiste en otra
cosa que agregar a las tres dimensiones espaciales un eje ms, el
temporal. Podemos verlo de este modo: si dos esferas pascalianas
se extienden infinitamente en el espacio, entonces estn destinadas
a encontrarse como los zapallos antipdicos del cuento de
Macedonio Fernndez32. Sin embargo, el designio funesto no
tiene por qu cumplirse si suponemos que una de las expansivas
esferas se encuentra en los tiempos de Pascal y la otra en tiempos
de Aristteles. La cuarta dimensin ofrece una escapatoria, hasta un
punto tal que sus mltiples trayectos permiten llevar a cabo la ardua
tarea de deshacer cualquier nudo (ver Volumen i, Topologa).
Para concluir estas lneas efectuaremos una ltima considera -
cin geomtrica en relacin a la esfera, para lo cual vamos a in
troducir la nocin de convexidad. Se dice que un conjunto es con
vexo si dados dos puntos cualesquiera del mismo, el segmento de
recta que los une est contenido en l:
convexo no convexo
Quine W.V.O. (1984): Desde un punto de vista lgico. Ed. Orbis, Bue
nos Aires.