Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Amster Lacan Apuntes Matematicos PDF
Amster Lacan Apuntes Matematicos PDF
APUNTES MATEMTICOS
PARA LEER A LACAN
2. Lgica y teora de conjuntos
Amster, Pablo
Apuntes m atem ticos para leer a Lacan : 2. Lgica y teora de
conjuntos
- Ia ed. - Buenos A ire s: Letra Viva, 2010.
218 p . ; 22 x 14 cm.
ISBN 978-950-649-271-7
1. Psicoanlisis. I. Ttulo
C D D 150.195
E d ic i n
a l c u id a d o d e
L ea n d ro Sa lg a d o
't*
lbert
E in s t e in
In d i c e
Prefacio ..........................................................................................9
Captu lo 1. N o cio n es bsicas de l g ic a ............ ................... 13
1.Definicin de la definicin ............................... ................ 14
2.Qu
significa significar? ......... ............................. .15
3.Las leyes del pensamiento ................. ...18
4.Deduccin, induccin, abduccin.................................. 21
5-Lgica aristotlica............ ................................ .................25
.Enunciados categricos....................................................31
7-Cuadrante de P eirce........ .......................... .......................33
8.Silogism os.................................................................... . 3 4
9.Sintaxis y semntica de los lenguajes formales ...........38
o.Tablas de v e rd a d ............ ...................... ......................4 0
u.Leyes lgicas..................................................................... 43
12.Variables libres y cuantificacin............................. 49
13.lgebra de c la se s .............. ........................................ . 5 4
Ca ptu lo 2. L a
y e l sist e m a de
in d u cci n m a t e m t ic a
Pean o .............................................................59
d em o str aci n d ia g o n a l :
87
.Un antecedente socrtico ....................... ..
88
2.Las paradojas de la identificacin............ ......................90
3.... y sin embargo, se coordina .........................................92
4.EI bicho de lo no-numerable.......... ..
94
Eplogo ............................................................................... . 9 7
Ca p t u lo 5. La v id a sin la b o l sa :
AUTORREFERENCIA Y TEOREMAS DE GDEL........ ...................... OI
Uno. Breve referencia sobre Epimnides........ ..................101
Dos. Breve referencia sobre la referencia:
Quine y Gdel........ ....................................... ..................... 103
Tres. Proposiciones indecidibles
y teorema de G d e l........................ ................................ . 107
Cuatro. Cul es el ttulo de esta seccin?. . ..................110
Cinco. Los lenguajes formales ............................................112
Seis. Un pase mgico................................ .......................114
Siete. La liebre de M a rz o .................... ............................. 118
Ocho. Autorretrato de m m ism o .............. .....................122
Eplogo, y nueva gdelizacin....................................... .128
C a p tu lo 6. Breve presentacin de c a s o s ........................ 135
Segundo caso. Un caso de inconsistencia..........................137
Tercer caso. Un caso de metonimia.................................... 141
Cuarto caso. Un caso de metfora..................................... 147
Quinto caso. Un caso al margen................................ ..
151
Sexto caso. Ramanujan, y otros casos. .......................
.160
C a p tu lo 7. La re lig i n ,
o r d in e
i 69
La creacin ..................................................................................... 170
Ciencia, Matemtica, Religin............................ ............173
Un Dios tautolgico...................... ...................................177
Imagen y Semejanza .......................................................... 179
Consistencia, Inconsistencia. ........................................... 186
B ib l io g r a f a
217
P r e f a c io
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A m s t e r
no cesa de no escribirse
cesa de no escribirse
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 bromaapoyar esta postura, ofreciendo algunos elementos que ayuden
a abordarla.
El lector advertir que determinados 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
ma independiente.
P r e f a c io
Pablo Amster
Junio 2009
11
Ca p t u l o
N o c io n e s
b s ic a s d e l g ic a
13
L g ic a
y t e o r a d e c o n ju n t o s
Paiiu) Amstkk
i.
D e f in ic i n
d e l a d e f in ic i n
Ver captulo 5 .
N(>< I O N I S D N IC A S D E M t o l C A
2.
Q u
s ig n if ic a
s i g n i f i c a r ?
I.GICA
y t e o r a d e c o n ju n t o s
Pa b l o A m s t e r
16
N o c i o n e s DNICAS
d e l g ic a
17
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A m s t e 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 ofThought 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 Godel, 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
...segn toda verosim ilitud, parece estar conclusa y perfecta.
3.
N O I'IO N I'.N
hA S IC A S
l ili L G IC A
19
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A m s t e r
4.
D e d u c c i n ,
in d u c c i n , a b d u c c i n
21
LGICA y TEORA
d e c o n ju n t o s
Pa b l o A m s t e r
algunos como 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.
22
N o c io n e s
b s ic a s d e l g ic a
Pa b l o A m s t e r
Pn
24
L g i c a
o c i o n u s ii A s i c a s d i ; l. c i c a
a r is t o t l ic a
25
Pa b l o A m s t e r
en la Lgica, y
6. La definicin de las operaciones elementales entre conjuntos pueden encontrar
se en el Diccionario de trminos matemticos, de prxima publicacin. Convie
ne recordar en particular a la diferencia y la diferencia simtrica, en virl ud de la
importancia que le da Lacan (por ejemplo, en La Identificacin, y tambin en
el clebre ejemplo de "La bolsa o la vida).
26
N o c io n e s
b s ic a s d e l g ic a
(A u B)c = A Cn B
( A n B ) c = A cv B c
en la teora de conjuntos7. Mencionemos finalmente a la relacin
de inclusin, muy cercana a la implicacin: tanto, que en la teora
de conjuntos el principio de identidad toma la forma
V A :A c A
Resulta claro: dicho principio, en la Lgica, dice que cualquier
proposicin p verifica:
p=>p
(p implica p)
Por eso, dado un conjunto A y cualquier objeto x del univer
so, tomando como p el enunciado x e A" se obtiene
x e A => x e A,
que en otras palabras se lee: A est incluido en A.
La teora de Cantor permite el libre empleo de un enunciado
conocido como axioma de abstraccin. En l se basan las defi
niciones por comprensin antes mencionadas, que en principio
permiten construir a partir de cualquier funcin proposicional <j>
el conjunto de todos los objetos del universo que la satisfacen:
{ x / <j)(x) }
La nocin de funcin proposicional tan comn en la Lgi
ca, es -com o veremos- una especie de predicado sin sujeto. Por
ejemplo, la oracin
(j)(x) = x es mortal
carece de sujeto: cualquier valor que se le asigna a la variable x
pasa a cumplir ese papel y le da a la oracin el carcter de pro
posicin.
El axioma de abstraccin parece ms que aceptable, razn por
la cual Frege no tuvo reparos en emplearlo para definir al conjun
to vaco. Claro, esta definicin no es e-vidente, pues el concepto
es muy lejano a nuestra intuicin: segn entendimos, un conjun
to es una coleccin de cosas, luego... cmo pensaren una colec
cin que no tenga nada? Cualquiera puede decirse coleccionista
7 . Acquiere decir complemento de A. Lacan emplea tambin la notacin , quo la
27
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A m s t e r
8. 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 de bamb
sumindose en el fango sagrado, pero a los pocos das nadie ignoraba...
Bor g e s , 1 976
28
N o * IO N I N I I S I l 'A S d i : l g i c a
29
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A m s t e r
30
N o c io n e s
b s ic a s ije l g ic a
6.
En u n c ia d o s
c a t e g r ic o s
31
1AISLOAmster
32
N o c io n e s
b s ic a s d e l g ic a
contrarias
subalternas
7.
subalternas
C u a d r a n t e d e P e ir c e
L g ic a
Iaiii.o A
y t e o r a d e c o n ju n t o s
m stur
8 . S il o g is m o s
Segn mencionamos, los silogismos son razonamientos que
se componen de dos premisas y una conclusin:
Premisa i:
Ningn oso hormiguero tiene ideas pol
ticas moderadas.
Premisa 2:
al caf.
TodoS
es P
Ningn
S es P
Algn
S es P
Algn
S no es P
34
N o c io n e s
b s ic a s d e l g ic a
Idemos traducir una a una las premisas, y representarlas a to* las en un nico diagrama:
Premisa i: Ningn S es P
S
R
En efecto, sabemos que hay por lo menos un elemento comn
.1 S y R, pero la premisa por s sola no nos permite decir a cul de
las dos regiones de esta interseccin pertenece (acaso haya ele
mentos en ambas). Por eso escribimos provisoriamente un 1 so
bre la lnea divisoria, hasta tanto recopilemos toda la informa
cin disponible:
35
L g ic a
Pa b l o A m s t e r
y t e o r a d e c o n ju n t o s
Premisas i y 2:
Ningn S es P
Algn S es R
S
36
Premisas i y 2:
Conclusin 1:
Algn S es P
Todo P esR
Algn S e s R
R
Premisa 3 y Conclusin 1:
Todo R e s T
Algn S es R
Conclusin -.Algn S es T.
En otras palabras:
Algunas estufas son muy apreciadas por mi abuelo.
Estos razonamientos se denominan sorites; en ocasiones la
conclusin parece muy alejada del punto de partida, porque pue
den ser muchos los silogismos que se concatenan. Esto termina
de explicar la idea de vasta tautologa mencionada en la pgi
na 20: todo teorema, por complicado que parezca, no resulta en
el fondo otra cosa que el encadenamiento de cierto nmero de
pasos triviales.
Tambin pueden presentarse silogismos en forma incomple
ta, omitiendo alguna de las premisas, por ejemplo:
Ninguna persona respetable roba el sombrero a sus semejan
tes; en consecuencia, nosotros no robamos el sombrero a nues
tros semejantes.
Para que el razonamiento sea correcto, se debe intercalar la si
guiente premisa, cuya verdad puede merecer alguna objecin:
Nosotros somos personas respetables.
A estos razonamientos incompletos se los conoce como entimemas. La premisa que se omite se da por sobreentendida, pero no re
37
L g ic a
Pa u l o A m s t e r
y t e o r a d e c o n ju n t o s
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
38
N o c io n e s
b s ic a s d e l g ic a
C onsideremos para comenzar ciertas proposiciones denomin,u las atmicas, que se indican por medio de las letras p, q, r, etc.
Se definen adems diversos operadores, llamados genricamen
te conectivas: entre ellos los ms comunes son
la negacin, denotada por medio del smbolo
la conjuncin o et ( a )
la disyuncin o ve/ (v)
la implicacin (=>)
la disyuncin exclusiva (y)
la equivalencia lgica, tambin conocida como si y slo
si ( o )
Esto permite formar distintos tipos de proposiciones com
puestas, por ejemplo
p ^ q
-.p
( p = > q ) v - ,r
Como se ve en el ltimo caso, si se pretende combinar me
diante conectivas ms de dos proposiciones, se hace preciso in
troducir parntesis, a fines de evitar la ambigedad en la escri
tura. El proceso que permite definir las proposiciones es inductivo; toda proposicin compuesta se define a partir de las propo
siciones atmicas mediante las siguientes reglas:
1) Si p es una proposicin, entonces -.p es una proposicin.
2) Si p y q son proposiciones, entonces
pAq
pvq
son proposiciones".
P=>q
P Y .q
P^Q
(PA 9)
( pvq)
(p=><?)
(p v q )
(p<=>q)
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).
39
L g ic a
Pa b l o A m s t e r
y t e o r a d e c o n ju n t o s
10. T a b l a s
de verd ad
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) 0
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:
NEGACIN
V
F
F
V
pAq
V
V
V
F
V
F
F
F
V
F
F
F
40
<7
pyq
V
V
F
F
V
F
V
F
V
V
V
F
N o c io n e s
b s ic a s d e l g ic a
IMPLICACIN
P
V
V
F
F
V
F
V
F
q
V
F
V
V
DISYUNCIN EXCLUSIVA
pvq
F
F
EQUIVALENCIA LGICA
p<^>q
F
F
F
F
P
V
conjuncin
disyuncin
41
L g ic a
Pa b l o A m s t e r
y t e o r a d e c o n ju n t o s
/ - o
ver la posibilidad de una generalizacin qurri ml rmpli Lis llamadas lgicas mul
tivalentes, con ms de desvalores deverd.ul l'.ir.i iiii.i dcliiucin de "lgebra de
Boole"verel Diccionario de trminos malrinAlirun, de prxima publicacin.
4 2
N o c io n e s
b s ic a s d e l g ic a
11. L e y e s
l g ic a s
P^P
que se demuestra por la tabla
p^ > p
V
F
V
F
V
V
Principio de no contradiccin:
*(p A
p)
-p
p a -- P
-'(p A -'p )
PV-p
-'P
pv-p
V
F
F
V
V
V
sicin compuesta cuyo valor de verdad es o. A las proposiciones que no son tau
tologas ni contradicciones se las denomina contingencias, vale decir, proposi
ciones cuyo valor de verdad depende de los valores de verdad de sus tomos.
43
L g ic a
Pa b l o A m s t e r
y t e o r a d e c o n ju n t o s
P____________________ ZP _______________________________
V
pAq
^(pAq)
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 a q) y (q a 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 o q) es una tautologa.
44
No c io n e s
b s ic a s d e l g ic a
~'P
~,q
-'p v -q-
"a
>
j
j
"a
<
-c
11
p=>q
,(p => q)
-r*
L g ic a
Pablo Amster
y t e o r a d e c o n ju n t o s
p v -,-.g = -. p v q
q = -i (-,p v -,q)
p=>q = ^pvq
(-,<7 v p)=
(p a q)=
v q) v
(-, p v q)
P \
I'
V
F
F
F
V
F
V
V
V
46
N o c io n e s
b s ic a s d e l g ic a
p 1q
(p\q) 1(p\q)
V
V
V
F
F
F
V
F
V
V
V
F
F
F
V
V
F
V
F
V
F
F
F
'1 7
L g ic a
Pa b l o A m s t e r
y t e o r a d e c o n ju n t o s
Adicin
p => (p v q)
Enunciado contrarrecproco
(p => q) = (-.q => p)
Transitividad de la implicacin
(p => q) a (q :=> r) => (p => r)
Ley asociativa para el et
[(p a q) a r] = [p a (q a r)]
Ley asociativa para el ve/
[(p v q) v r] = [p v (g v r)]
Ley asociativa para la equivalencia
[(p o q) <=> r] = [p <=> (q o r)]
Leyes conmutativas para et, ve/ y equivalencia:
p Aq = q a P
pvq=qvp
p ^ q =q o p
Leyes distributivas, del et respecto del ve/, y viceversa:
(p
q) v r = (p v r)
(p v g)
r = (p
(g v r)
r) v (g
r)
48
N o c io n e s
12. Va r i a b l e s
b s ic a s d e l g ic a
l ib r e s y c u a n t if ic a c i n
no podemos decir que <j>sea verdadera o falsa a menos que asignemos un valor a la variable:
(j> (mi to Carlos): mi to Carlos es mayor de 25 aos.
I ,a definicin russelliana, ms bien intuitiva, lleva a pensar a
l.i funcin proposicional segn anticipamos, como un predica
do sin sujeto; el sujeto faltante es una suerte de agujero, que pue
de resumirse en esa sensacin de suspenso dejada por los pun
tos suspensivos:
..........es un hombre.
Por otro lado, introduce el concepto de variable, que Lacan
describe siguiendo a Fregecomo un agujero en el que se puede
ubicar cualquier valor del universo:
genio tan poderoso para hacer errar a cualquiera, se trate o no -al decir de Lacan- de un no-incauto. Por ejemplo, bien podra uno creer que la siguiente re
gla es verdadera,
49
L g ic a
Pa b l o A m s t e r
y t e o r a d e c o n ju n t o s
3x / 4>(x)
No c io n e s
b s ic a s ije l g ic a
51
L g ic a
Pa b l o A m s t e r
y t e o r a d e c o n ju n t o s
Vx. <|)(x)
Vx: -.(|>(x)
3x/(j)(x)
3x/-i(j)(x)
(3x / (|)(x))
<|>(x )
52
N o c io n e s
b As ic a s d e l g ic a
Algn S no es P = 3x / S(x)
P(x)
-.P(x)
como A y 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.
53
L g ic a
Pa b l o A
y t e o r a d e c o n ju n t o s
h(x): x es hombre
m{x): x es mortal
m ster
s(x): x es Scrates
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)]
13.
lgebra de c la ses
54
N o c io n e s
b s ic a s d e l g ic a
a u p = pua;
a n p = (3 n a
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 a =a
En efecto, empleando la regla 4) y luego la 2) resulta que
a = a n U = a n (a u a c)
Por la ley distributiva, usando luego 3) y 5) se deduce:
a = (a n a) u (a n a c) = (a n a) u 0 = a n a
con lo que 9) queda probado. Una propiedad anloga se verifi
ca para u :
10) Idempotencia d e u
a \J a = a
Tambin valen las siguientes propiedades:
11) Unin con clase universal
auU=U
12) Interseccin con clase nula
a n 0 =0
Por ejemplo, 11) puede comprobarse a partir de 2), emplean
do la asociatividad de u y su idempotencia:
a u U = a u (a u a c) = (a u a) u a c = a u a c = 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
55
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m ster
5 6
N o c io n e s
b s ic a s d e l g ic a
l'elizmente, el diagrama parece darnos una buena clave: la rej>in sombreada, que no es otra que el complemento de P, resull.i disjunta del crculo que representa a a. La causa de ello, jus
tamente, es que la clase a est metida en P; eso nos permite
idear la siguiente
D efinicin: diremos que a est incluida en p (a c P) si y slo
si se cumple que
a n Pc = 0
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.
57
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
SISTEMA DE PEANO
5 9
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m ster
1.
I ,A IN D U C C I N M A T E M T IC A Y E L S IS T E M A D E P E A N O
6 l
L G IC A Y T E O R A D E CONJU NTOS
Pa b l o A
m ster
62
I,A IN D U C C I N M A T E M T IC A Y EL SIS T E M A D E P E A N O
Y as sucesivamente,
dado que el segundo cae, el tercero cae tambin;
dado que el tercero cae, el cuarto cae tambin,
hasta agotar el estante. Observemos que para llegar a esta con
clusin, slo nos hizo falta informacin precisa sobre el primero
tic los libros, y conocer la regla inductiva (4).
I,a pregunta que cabe hacerse ahora es: qu ocurre cuando el
estante es inagotable? Tal es el caso, precisamente, de los nmeros
naturales, en donde la regla (3) indica que la veracidad de P para
1111 nmero n induce la veracidad de P para el siguiente de n.
P ( o ) P ( i ) -> P( 2 )
1,0
5.
B. Russell, 11946).
63
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m ster
64
ibid.
I.A IN D U C C I N M A T E M T I C A Y E L S I S T E M A D E P E A N O
6 5
L g ic a
Pa b l o A
y t e o r a d e c o n j u n t o s
m ster
0o = 2,
an+, = 3an- 2
En otras palabras, se establece un primer elemento aa y una
regla recursiva que nos dice cmo obtener el trmino an+, una
vez que conocemos el trmino an. Esto permite construir paso a
paso la sucesin:
ac = 2
a, = 3a0 - 2 = 4
a2 = 3a, - 2 = io
a} = 3az- 2 = 28
Existen diversos ejemplos interesantes de sucesiones defi
nidas por recurrencia; entre ellas, cabe destacar a la ms famo
sa entre las famosas, en la que sucesivos matemticos han en
contrado notables muestras de armona: la sucesin de Fibona
cci. En ella cada trmino recurre no a uno sino a los dos trmi
nos precedentes:
co o?
a, i
o n+2 ci n+l + a n
De esta manera se obtiene:
a2= a, + a 0 = 1 + o = 1
a 3= a 2+ a, = 1 + 1 = 2
a4 = a} + a2= 2 + 1 = 3
a 5 = a 4 + a 3= 3 + 2 = 5
a 6 = a, + a4 = 5 + 3 = 8
Es un interesante ejercicio comprobar algunas de las mgi
cas propiedades de estos nmeros, por ejemplo:
1) Los trminos a y anfl son primos entre s o coprimos.
Por ejemplo, para n = 5 vemos que a5 = 5 y a6 = 8 no tienen di
visores comunes mayores que 1.
2) Frmula para la suma de los primeros n trminos:
a + a, + ... + an.,= a n+, - 1
Por ejemplo, tomando n = 11 se verifica:
a0 + a, + ... + aIO= o + j + 1 + 2 + 3 + 5 + S + /3 + 21 + 34 + 55 =
143 = a - J
66
La
in d u c c i n m a t e m t ic a y e l s is t e m a d e
Peano
= 1,618033988
EL SISTEMA DE PEANO
67
L g ic a
2.
3.
4.
5.
y t e o r a d e c o n ju n tos
Pa b l o A
m ster
Propiedad i)
Todo nmero distinto de o es el siguiente de algn nmero.
Demostracin: a fines de emplear el principio de induccin,
debemos comprobar que la propiedad
P (n ): si n es distinto de o entonces n es el siguiente de algn
nmero
8. Este hecho refuerza los argumentos expuestos en la seccin anterior en tomo a
la inconveniencia de considerarlo un principio.
I ,A IN I HJCCIN M A T E M T IC A Y EL S IS T E M A D E P EA N O
Propiedad 2)
69
L G IC A y T E O R A D E C O N JU N T O S
PABLO A M ST E R
70
Ca p t u l o 3
La s
r e g l a s d e a l -j a b a r y
Fib o n a c c i
ro bado
7'
L g ic a
Pa b l o A
y t e o r a d e c o n j u n t o s
m ster
a *b = ab
A su vez, cuando decimos que T es generado por V nos refe
rimos a que toda oracin s es una sucesin finita de palabras o
elementos de V:
s = w,...wn
endondew,,..., wnpertenecen a V. Finalmente, la libertad de T con
siste, intuitivamente, en el hecho de que no se define relacin algu
na entre los elementos de V, y en consecuencia no se puede cancelar
o sustituir cadenas. En resumen, T es el conjunto de todas las suce
siones finitas de elementos de V: por ejemplo, para el vocabulario
V={A,B,C]
resulta
T = { A, B, C, AA, AB, AC, BA, BB, BC, AAA, A A B ,... }'
Un lenguaje es un subconjunto de T al que, siguiendo la de
nominacin sugerida por Riguet en el Seminario 2, denotaremos
WF: oraciones well form ed o bien formadas.
Una gramtica generativa de WF es un conjunto finito de re
glas, denominadas reglas gramaticales, que permiten determinar
los elementos de WF en base a una descripcin estructural2. Este
es el caso de la teora de los sistemas formales y otros aspectos de
la lgica matemtica como las mquinas de Turing y las funciones
recursivas. A modo de ejemplo, vale la pena mencionar las reglas
que permiten describir las sintaxis de los diversos sistemas que
aparecen en el Seminario sobre La carta robada: para
V = { +, - } (caras y cecas)
se tiene que
T = { +, , ++, +, h,----, +++, ... }
En este caso, el azar de la moneda establece que puede darse
cualquier secuencia de caras y cecas, lo que implica que
WF = T
1.
72
La s
r e g l a s d e a l -j a b a r y
Fib o n a c c i
robado
+++
- ++
+
+++] 1
r
+-+] 3
->
-+-J
1 2
+
2
+
3
+
2
+
3
+
2
+
2
+
1
In t r o d u c c i n
a l a t o p o l o c Ia
Pa b l o A
m ster
12223211233223
im p a r im par im par
par
1*3
3*1
1*2
3*2
2 2}->y
2.n
2 3|
a, p, y, 8
y, 8
P,Y
IT
a. p
2T
3T
74
La 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
robado
L g ic a
Pa b l o A
y t e o r a d e c o n j u n tos
m ster
76
La 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
robado
7 7
L g ic a
Pa b l o A
y t e o r a d e c o n j u n t o s
m ster
F ib o n a c c i
robado
2
y
7 8
La 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
robado
->
CX, P
y, 5
3T
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A m s t e r
Longitud 3:
acta, aa [ 3, aPy, ap, Pyy, PyS, p5a, psp, yyy, yy8, y8a,
y8p, 8aa, 8aP, 8Py, 8p8
Longitud 4:
a a a a , a a a p , aaPy, aap8, aPyy, ap y 8 ,... etc.
Cabe aclarar una vez ms que no se trata de palabras bien for
madas en el sistema original: para obtener una es preciso interca
lar dos de las secuencias que aparecen en esta lista. Obviamente
las longitudes de ambas deben ser compatibles; por ejemplo, es
posible intercalar una palabra de cuatro con una de tres:
aPyy intercalada con y8a da ayP8yay.
Ahora, ya que hemos hablado de lettres voles, podemos con
siderar aquellas secuencias de nuestra ltima lista que omiten al
guna letra, por ejemplo la a. No es una idea nueva: al fin y al cabo,
existen novelas enteras (como las del grupo Oulipo) construidas
segn la regla de no emplear alguna de las vocales. Si llamamos
c(n) a la cantidad de secuencias de longitud n que no contienen
ninguna a, es inmediato comprobar que
c(i) = 3 (pues a no aparece en P, y, 8)
0(2) = 5 (pues a no aparece en Sp, Py, p8, yy, y8)
c(?) = 8 (pues a no aparece en SPy, 8p8, Pyy, Py8, p5p,
yyy, yyS, y8p)
Continuemos un poco ms con el escrutinio de los valores
que siguen:
c(4 ) = 13
0(5) = 21
c (6 )= 34
80
La s
De
r e g l a s d e a l -j a b a r y
F ib o n a c c i
robado
l o s c o n e jo s u r e o s a l o im a g in a r io
|__________________________ |__________________ |
x
2
Ahora, de la expresin
8 i
L g ic a
Pa b l o A
y t e o r a d e c o n j u n t o s
m ster
(p = 1 H-----
9
se desprende tambin que
1 +
1 + _L_
<f>
Si continuamos este proceso ad infinitum, no es difcil con
cluir que
1
cp = 1 + -------------1
+t^
1
2
1+ 1 2
a3 = 1 +
1+
5
1
1+ 1
82
Las
r e g l a s d e a l -j a b a r y
F ib o n a c c i
robado
yo pienso
yo soy
yo pienso
yo soy
vo pienso
yo soy
vo pienso
L g ic a
Pa b l o A
y t e o r a d e c o n j u n t o s
m ster
i+
/+ '
a2 ~ l
a =i
i+ 1
i + /+1
1-i
i+1
2
Esto permite obtener el segundo valor de la sucesin:
i+1
Luego
a = i + = 1,
3
a,
84
La s
r e g l a s d e a l -j a b a r y
Fib o n a c c i
robado
a4 = i + = i + 1
a3
a. = i +
JL = / + 1
a5
5.
y '
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
Ca p t u l o 4
LA D E M O S T R A C IO 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
87
L g ic a
1a i i i .o A
y t e o r a d e c o n j u n t o s
m ster
i. U n a n t e c e d e n t e s o c r t i c o
En el Seminario II, Lacan se refiere a ese clebre episodio del
Menn en donde el esclavo encuentra la solucin al problema de
duplicar un cuadrado. Con ello justifica Scrates su postura en
relacin al saber, haciendo ver que el esclavo
...lo sabe todo. Basta con despertarlo.1
T
2.2 = 4
Las citas de esta seccin corresponden a J. Lacan, Seminario 2, clase II: Saber,
Verdad, Opinin.
8 8
I.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 IA N A
V2.V2 = 2
<1>
Como es sabido, la medida de la diagonal de un cuadrado de
lado 1 es la raz cuadrada de 2; este resultado constituye la prime
ra aplicacin que hicieron los pitagricos de su ms famoso teo
rema, y tambin su primera desazn, por haber hallado a cien
cia cierta una magnitud que su ciencia desconoca. Los nme
ros irracionales son aquellos que no provienen de una razn o co
ciente de enteros, lo que en la moderna escritura decimal equi
vale a decir que su desarrollo es no peridico:
V 2 = 1,41421356237...
En otras palabras, los irracionales son nmeros que no ce
san de no escribirse. Al igual que el infinito, exonerado desde los
tiempos de Zenn, tan horrorosas entidades no tuvieron cabi
da en el excesivamente racional mundo griego.
Vale la pena brindar una original demostracin de la irraciona
lidad de la raz de 2 que solamente requiere un trozo de papel.
Si /2 pudiera escribirse en la formap/q, con p y q enteros, en
3. Cabe sealar que diagonal proviene del griego digein, que significa conducir a
travs. Segn Lacan
el esclavo, con toda su reminiscencia y su intuicin inteligente, ve la buena for
ma, si cabe expresarse as, a partir del momento en que sta le es sealada.
89
L g ic a
1a iu .o A m s t e k
y t e o r a d e c o n ju n t o s
2. La
s p a r a d o ja s d e l a id e n t if ic a c i n
16
25
36
...
90
I.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 IA N A
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.
1 = o u{o) = {0 }
2 = 1 U {i} = {O, l}
3 = 2 u {2} = {o, 1, 2}
L g ic a y t e o r a d i; c o n ju n t o s
I 'A II 1 , 1 1 A m s t e r
92
I.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 IA N A
7.
En efecto, podemos pensar por ejemplo que la pelcula original Rambo no fue
Rambo I basta 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.
93
L g ic a
I'AIII
y t e o r a d e c o n ju n to s
i i
m ster
=
=
=
00
00
00
oox
00
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 N'0, el infinito nu
merable, se convirti de alguna forma en lo ms chico que hay; en
el fondo, el Yo c/e lUn lacaniano no consiste sino en tomar
94
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 IA N A
0,
0,
0)
b\
>2
0,
C\
C2
c3
c4
0,
d,
d2
di
d/\
95
l'AItl.O A
L G IC A y T E O R A D E C O N JU N T O S
m ster
verifica:
a es distinto del primer nmero de la lista (pues difieren en
la primera cifra decimal)
a es distinto del segundo nmero de la lista (pues difieren en
la segunda cifra decimal)
a es distinto del tercer nmero de la lista (pues difieren en la
tercera cifra decimal)
a
a
a
a
*
*
*
*
0, a 1
0, b\
0, C\
0, 4
a4
C1
di
b2
b-i
C2
Ci
c4
d2
di
tl4
96
i a\ + *
\
1
si a, < 8
si a ] - 8 o 9,
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 IA N A
Ep l o g o
La demostracin de las pginas anteriores esconde, como anlicipamos, una cuestin ms profunda: no slo para
sino para
cualquier cardinal infinito existe siempre otro mayor. Slo que
para alcanzarlo no basta, como ocurre con los cardinales finitos,
con la simple operacin de agregar un elemento. Los infinitos
se muestran impermeables a la adicin de cantidades menores
o iguales, como tambin al producto; por ejemplo, son vlidas
las siguientes igualdades:
K 0
No + 1
K o + K o
Ko
Xo.No
No
ii. Ibid, clase del 1/6/72. La cita recuerda aquella definicin de lonesco segn la cual
si uno acaricia a un crculo obtiene un circulo 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) .
97
L G IC A y T E O R A D E C O N JU N T O S
Pa b l o A m s t e r
98
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 IA N A
>
1
0
>
0
1
d
e
Ya que hemos hablado de crculos viciosos, no estara mal inl roducirnos ahora un poco en otro vicio, el del juego. En tal con
texto, el ejemplo anterior se puede pensar de la siguiente mane
ra: para cada elemento de un conjunto X se arroja una moneda;
si sale cara anotamos i, y o si sale ceca. La secuencia de tiradas as
definida determina un subconjunto de X constituido por aque
llos elementos cuyo resultado es i; siendo dos los resultados po
sibles, es fcil ver que si X tiene n elementos, entonces el conjun
to de sus partes tiene 2" elementos. Ello justifica el otro nombre
por el que tambin se lo conoce: conjunto potencia'3.
12, Ibid, clase del 1/6/72.
13. En la clase mencionada Lacan hace una distincin entre partes y particiones,
99
L g ic a
y t e o r a
D E CO NJU NTO S
I' a
i i i .o
A m s t ir
IO O
Ca p t u l o 5
La
v id a s in la b o l s a :
AUTORREFERENCIA Y
TEOREMAS DE GDEL
En este captulo se presentan algunos de los resultados de G61le, de fundamental importancia en el marco de la Lgica MaIemtica. Y no slo all: a pesar de referirse a cuestiones suma
mente formales, estos admirables teoremas han encontrado re
sonancias en los ms diversos campos, tales como la Filosofa o
l.i Lingstica. Claro que no siempre tales resonancias han lo
grado mantener el rigor de los trabajos que las motivaron, aun
que muchas de ellas son interesantes, y les dedicaremos un lu
gar en las prximas pginas.
U n o . Brev e
r e f e r e n c ia s o b r e
Ep im
n id e s .
L g ic a
I a i u .o A m s t e r
y t e o r a d e c o n ju n t o s
D o s. B rev e r e fe r e n c ia so b re la r e fe re n c ia :
uine y
G del
I
,a paradoja de Epimnides no parece demasiado crucial como
asunto del lenguaje: los hechos nos demuestran que el lenguaje
funciona aceptablemente bien. Se puede hacer uso de l, convi
viendo con esa y tantas otras paradojas que existen.
En la Matemtica, dijimos, la situacin es distinta. No por
tille -estrictamente hablando- no se pueda convivir con una pa
radoja, pero los resultados de esta convivencia son ms bien des
agradables: si un sistema cobija a una paradoja (vale decir, es in
consistente) entonces es posible deducir cualquier cosa. Y eso lo
destruye, o mejor dicho lo trivializa: de nada sirve un sistema en
i
103
L G IC A y T E O R A D E C O N JU N T O S
l A U L O A M S T 'E R
104
I.A V I I I A S I N I.A B O L S A . A U T O R R E F E R E N C I A Y T E O R E M A S D E G D E L
105
L G IC A y
T E O R A D E C O N JU N T O S
Pa u l o A m s t e r
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.
lO
I .A V I D A S I N L A B O L S A : A U T O R R E F E R E N C I A Y T E O R E M A S D E G O D E L
T r e s . P r o p o s ic io n e s
G d el
in d e c id ib l e s y t e o r e m a de
107
L g ic a
y t e o r a d e c o n ju n t o s
lAULO A m STER
108
La
v id a s in l a 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 d e
G del
109
L g ic a
y t e o r a d e c o n j u n t o s
Ia b l o A
m ster
C u a t r o . C u l
e s e l t t u l o d e est a s e c c i n ?
lio
I,A V ID A S I N l.A B O L S A : A U T O R R E F E R E N C I A Y T E O R E M A S D E G D E L
111
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m ster
C in c o . L o s
l e n g u a je s f o r m a l e s
112
I .A V ID A S I N I,A II O L S A : A U T O R R E I E K E N C I A Y T E O R E M A S D E G D E L
113
L g ic a
Pa b l o A
y t e o r a d e c o n j u n t o s
m stek
x_______ 1
1 2
1 2
1
2 1 5
4
S e is . U n
p a se m g ic o
114
I.A V I D A S I N L A B O L S A : A U T O R R E F E R E N C I A Y T E O R E M A S D E G D E L
115
L G IC A
y T E O R A
Pa b l o A
D E C O N JU N T O S
m ster
- i
- 2
> 3
- 4
> 5
--> 6
->7
(
)
-> 8
x
2
_
3
(
7
'
x
2
=
6
0
5
)
8
z - 27
La
v id a s in l a 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 d e
Gdel
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m ster
S ie t e . La
l ie b r e d e
M arzo
La
v id a s in l a 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 d e
G d el
11)
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m ster
La
v id a s in l a b o l s a :a u t o r r e f e r e n c ia
teorem as de
G d el
y
los locos efectan razonamientos invlidos.
Bajo estas condiciones, es claro que si el razonamiento del gato
fuera vlido, tendra que estar loco y no loco al mismo tiempo.
La inevitable conclusin es que el gato est loco, aunque no por
los motivos que aduce. Cabe destacar que, tal como ocurre en El
tiempo lgico de Lacan, la conclusin es fruto de una segunda
reaccin ms que de una primera. Algo similar propone el es
critor Macedonio Fernndez con su concepto del no-enseguidachiste, del que brinda algunos ejemplos:
Era tan feo que hasta los que eran ms feos que l no lo eran tanto.
Faltaron tantos, que si faltaba uno ms no caba.
L g ic a
Pa b l o A
y t e o r a d e c o n j u n t o s
m ster
cho.
Au to rretrato
d e m m is m o
122
I .A V I D A S I N L A B O L S A : A U T O R R E F E R E N C I A Y T E O R E M A S D E G D E L
El triste episodio nos permite idear una nueva regla mnemotcnica, esta vez en lengua inglesa y con un matiz sumamente lacaniano: Tw(A)inl8.
Ya que hablarnos de denuncias y delaciones, resulta oportuno
hacer alguna que otra confesin" respecto de este trabajo. No tan
to como para hacernos los h onestos (o caballeros), pues ya vimos
que eso a nadie convence; se trata, en cambio, de mostrar sobre
el texto los mltiples niveles de significacin del lenguaje. Esto
viene a cuento de la importante diferencia entre decir y mostrar
establecida por el filsofo austraco Wittgenstein, a quien no se
le escapan las limitaciones del lenguaje:
Lo que siquiera puede ser dicho, puede ser dicho claramente; y de
lo que no se puede hablar hay que callar9.
17. Podra pensarse que esta ancdota narrada por Macedonio en sus Papeles de Recienvenido 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:
No s cul de los dos escribe esta pgina.
Macedonio muri en 1952, segn consta en su libretita.
18. En realidad, twain (que actualmente significa un par) es la forma antigua de
twin (mellizo). El matiz lacaniano remite a ciertos conceptos planteados por
el psicoanalista francs tales como el del Otro barrado, etctera.
19. Wittgenstein, 1994. Sobre aquello que el lenguaje no puede decir, ver tambin
el captulo 7.
123
L g ic a
y t e o r a d e c o n j u n t o s
Pa u l o A
m sth h
til argumento se reproduce cualquiera sea el nmero de proIX>siciones; todo lo que hace falta es que en algn momento, una
de ellas vuelva hacia atrs,
p,: p2 es verdadera.
p2: p, es verdadera.
Pn-r Pn es verdadera.
pn : p, es falsa.
Observemos que cada una de las proposiciones por separado
es inocente, pues no se refiere a su propia veracidad; la parado
ja aparece en cuanto tomamos la conjuncin de todas ellas. Una
situacin distinta se presenta en Las ruinas circulares de Borges,
en donde un hombre crea a otro hombre y todo va ms o menos
bien hasta que descubre, hacia el final, que l tambin es crea
do. La diferencia es clara: en este cuento se sugiere una cadena
-acaso infinita- de creadores, pero no hay paradoja. Es fcil in
ventar una, volviendo la cadena hacia atrs:
x es creado por y, que es creado por z, que es creado por x.
En algn aspecto, esta delicada situacin se asemeja a la que
se plantea mediante el denominado nudo borromeo, compuesto
de tres redondeles de cuerda, que parece paradjico... y sin em
bargo, se sostiene:
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m ster
126
I.A V I D A S I N L A B O L S A : A U T O R R E F E R E N C I A Y T E O R E M A S D E G D E L
Pa b l o A
L G IC A y T E O R A D E CO NJU NTO S
m s t ih
E p l o
go
y n u ev a g d e l iz a c i n
128
La
v i d a s i n i ,a b o l s a : a u t o r r e f e r e n c i a y t e o r e m a s d e
Gdel
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A m s t i .h
La
v id a s in l a 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 d e
G del
<1
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A
m sth k
132
I,A V ID A S I N L A IIO I .S A : A U T O R R E 1 E R E N C I A Y T E O R E M A S D E G D E L
C a p t u l o
Breve
p r e s e n t a c i n d e c a so s
135
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A
m stuk
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:
Espero que nuestros descendientes me estn agradecidos no slo por
las cosas que expliqu, sino tambin por aquellas que voluntariamen
te omit para proporcionarles el placer de descubrirlas.
13 6
'
Br ev e
p r e s e n t a c i n d e c a s o s
3 x / <j)(x)
(Existe x tal que x cumple ()>)
Existe significa q ue existe al menos uno; nada se nos dice acer
ca de cuntos elementos o individuos hay que cumplan <(>. En esta
observacin elemental se basa ms de una demostracin: por ejem
plo, aquella que vimos en la pgina 17 de la unicidad de Dios.
'37
L g ic a
y t e o r a d e c o n ju n t o s
PAUI.O A m STI' K
l iU K V i; P R E S E N T A C I N D E C A S O S
13 9
L g ic a
Pa u i o A mntkk
y t e o r a d e c o n ju n t o s
El debate sobre tan intrincada cuestin se extiende hasta que en el captulo XLV
se hacen aconsejar porTribouillet. La inquietante sentencia de este ltimo,
Por Dios, loco rabioso, guarda monjes, cornamusa de Buzanzay.
140
Hu e v e
p r e s e n t a c i n d e c a s o s
T U R C E R C A SO . N C A S O D E M E T O N IM IA
Mira, por favor, h ada el cielo, y cuenta las
estrellas, si las puedes contar.
A s ser tu descendencia (Gnesis XV, 5).
141
L g ic a
Pa b l o A m s t u k
y t e o r a d e c o n ju n t o s
{i, 2,3, 4 , n}
En otras palabras: X e s finito cuando, al contar la cantidad de
elementos, la operacin termina en cierto n, lo que nos permite
soltar una aseveracin del tipo
X tiene n elementos,
o bien
el cardinal d e X e s n.
Dos conjuntos se dicen coordinables cuando pueden ponerse
en correspondencia biunvoca o uno a uno: por ejemplo, el con
junto {o, e, i, o, u} se coordina con {i, 2, 3, 4, 5} por medio de la
relacin
a > 1
e 2
i > 3
o 4
u 5
Br e v e
p r e s e n t a c i n d e c a s o s
O 2 > i 3 - J 4~>2
5 >-2...
M i
L g ic a
I' a i i i .o A m s t h r
y t e o r a d e c o n ju n t o s
-4 -3
0 1
144
H k liV I i P R E S E N T A C I N D E C A S O S
H4 M4
Pero podemos pedir al primer hombre que deje a su pareja y
se una a la segunda mujer, al segundo a la tercera, y as sucesi
vamente:
-
v2
-> M4
H4 - m 5
H3
14 5
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m s t i .u
c a so .
Un
c a so d e m et fo r a
14 7
L g ic a
y t e o r a d e c o n j u n t o s
Pa u l o A m s t k h
148
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A m s t h k
150
Esto nos vuelve a llevar a Macedonio Fernndez y sus no-enseguida-chistes (ver captulo previo):
Al ladrn, bajo de la cama: Pero hombre! Se ha puesto usted la
cama del revs!
ca so .
Un
c a so a l m a r g en
151
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A m s t e u
152
llKKVK PRESEN TA CI N DE CASOS
153
L g ic a
y t e o r a d e c o n j u n t o s
Pa b l o A
m sth k
L g ic a
Pa b l o A
y t e o r a d e c o n j u n t o s
m s t ik
Cuidado con la es
ca
le
ra
156
3
.100
14. Sera aqu de utilidad contar con la partcula hebrea et, segn veremos en el ca
ptulo 7.
157
L g ic a
. i<
y t e o r a d e c o n ju n t o s
al
revs:
1
+ 3
+ ... +
97
98
99
10(1
100
99
+ 98
97
+ ... +
+ 3
100
101
99
+ 98
101
101
+ ... +
97
+ ... +
101
+ ...
97
98
99
4
101
101
+ 101
100
101
----------= 5050
2
158
m
B kkvk
p r e s e n t a c i n d i; c a so s
193
193
199
195 +
200
195 +
5
197 +
3
199
Pero los pitagricos encontraron una representacin diferente: indicando a cada unidad con un punto (una piedrita), se tie
ne el primer impar,
1
luego viene el 3:
!
Ser siempre as? Ello sucede, en efecto, cada vez que agre
gamos un nuevo impar:
i
O i i O
L g ic a
Pa b l o A m s t u u
y t e o r a d e c o n ju n t o s
Sexto
c a so .
R a m a n u ja n ,
y o t r o s ca so s
V5 + 1
_V 5_
-2itV5
1+
1+
- 4 [ V5
\5 /2
1+1
V 5-1
1+
Breve
p r e s e n t a c i n d e c a s o s
l6l
L g ic a
y t e o r a d e c o n ju n t o s
Pa u l o A m s t i r
16 2
163
L g i c a
y t e o r a d e c o n ju n t o s
Ia u u ) A m s t h n
para escapar a una recursin interminable hay que salir del siste
ma mediante un salto; en este caso ocurre algo similar, pues cual
quier lector minucioso encontrar siempre algo ms para decir. Si
no logra dar ese salto, el texto se volver difcilmente soportable.
Todo escrito admite la posibilidad de nuevas lecturas. Quizs
sea exagerado pensar que ello ocurre con "textos" tales como la
gua telefnica o la lista del supermercado, aunqu e esa es la idea
que tienen los cabalistas sobre el texto bblico. La Biblia es un tex
to perfecto, y por consiguiente ninguna de sus lecturas es casual,
como seala Borges en una famosa conferencia de 1973 en que es
tablece la distincin entre texto sagrado y texto clsico:
Es conocida la veneracin supersticiosa que rodea al Quijote. Pues
bien, si a un cervantista se le ocurriera decir: el Quijote em pieza con
dos palabras m onosilbicas term inadas en N (En un) y luego tene
m os una palabra de cinco letras (lugar) y luego tenem os dos pala
bras de dos letras (de la), y pretendiera sacar conclusiones de sto,
se pensara inm ediatam ente que est loco. En cam bio, la Biblia ha
sido estudiada de este modo. Se dice por ejem plo que em pieza con
la letra B, inicial de Breshit. Y por qu em pieza con B? B, la letra
hebrea Bet, es tam bin la inicial de braj, que significa bendicin, y
los cabalistas dicen que la Biblia tena que em pezar con una bendi
cin, y no con una m aldicin.
164
Con esta licencia, que don Q uijote se tom ara, aunque no se la die
ran, se lleg a la cadena, y al prim ero le pregunt que por qu peca
dos iba de tan m ala guisa. l respondi que por enam orado iba de
aquella manera.
Por eso no m s? -replic don Q uijote-; pues si p or enam orados
echan a galeras, das ha en que pudiera yo estar bogando en ellas.
No son los am ores que vuesa merced piensa -djole el galeote-;
que los m os fueron que quise tanto a una canasta de colar, atesta
da de ropa blanca, que la abrac conm igo tan fuertem ente que a no
quitrm ela la justicia por fuerza, an hasta ahora no la hubiera d e
jado de mi voluntad.
165
L g ic a
y t e o r a d e c o n ju n t o s
Pa i i i .o A m s t i h
l6 6
Breve
p r e s e n t a c i n d e c a s o s
21. 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,
16 7
Ca p t u l o 7
La
r e l i g i n , o r d in e
MATHEMATICA DEMONSTRATA
L g ic a
Pa
y t e o r a d e c o n ju n t o s
i i i .o
m ster
La
c r e a c i n
acan
cf. Gnesis V, i.
170
171
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A
m stek
A hora bien, et significa tam bin con. Cabe entender, pues: Dios
cre con el cielo y con la tierra, todo lo que cre. Todo conjuntam en
te, de una sola vez3.
Esta interpretacin nos pone frente a la creacin como acto: de un solo golpe
Dios pone en marcha el espacio-tiempo. No hay un antes de la creacin pues
Dios crea tambin al principio; por eso no es tan sencillo entender que la Tora
pueda ser previa a la creacin. El concepto de eternidad, contrariamente a lo
que suele suponerse, no remite a algo que dura en el tiempo, sino ms bien a
algo que no transcurre; en otras palabras, la eternidad puede ser pensada como
la identificacin de pasado, presente y futuro. La preposicin et tambin re
presenta segn los sabios a la totalidad pues est compuesta de la primera letra
hebrea (alef), y la ltima (tav). Cabe destacar que el papel de las letras es fun
damental en todo el Gnesis; entre otras cosas, la creacin se lleva a cabo a tra
vs de las letras.
172
C ie n c ia , M a t e m t ic a , R e l ig i n
<7 i
L g ic a
y t e o r a d e c o n ju n t o s
Pa u l o A m k t h k
17 4
6.
17 5
L g i c a
y t e o r a
DE CONJUNTOS
Pa b l o A m s t k k
7.
176
U n D io s
t a u t o l g ic o
D ios es inconsciente.
Ja c q u e s L a c a n
177
L g ic a
y t e o r a d e c o n ju n t o s
Pa u l o A m s t ik
17 8
La r e l i g i n , o r d i n e m a t h e m a t ic a d e m o n s t r a t a
Im a g e n
S e m e ja n z a
Si los tringulos hablasen, diran que Dios
tiene forma de tringulo. (B. d e S p i n o z a )
179
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A m s t iu
180
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A m s t k k
183
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A
m stek
184
La
r e l ig i n , o r d in e m a t h e m a t ic a d e m o n s t r a t a
L g ic a
y t e o r a d e c o n ju n t o s
Pa b l o A m s t ik
C o n s i s t e n c i a , In c o n s i s t e n c i a
20. Sin necesidad de ir muy lejos, la paradoja se presenta en ese momento clave en
el que Dios le dice a Abraham: Lej 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 lej lej, pues proviene del griego (para s).
l8 6
que se suele sintetizar el pensamiento de un personaje de Dostoyevski, el ms calculador de los hermanos Karamazov:
Si Dios no existe, entonces todo est permitido.
Esta aseveracin pone a Dios en un lugar muy especial: no es
ya garanta de verdad, como en Descartes, sino de consistencia.
De los teoremas de Gdel se desprende que, en su afn de
preservar la consistencia, la Matemtica debe resignar parte de
su capacidad de demostrar enunciados; la Religin se encuen
tra protegida de esta incmoda situacin, puesto que Dios ocu
pa el lugar de lo innombrable, y en consecuencia se encuentra
fuera del sistema. En todo aquel lugar que nos es inaccesible,
all est Dios; tenemos, adems, la suerte de que se trate de un
Dios inmensamente bueno, como alguna vez dijo el matemti
co Georg Cantor.
Por otra parte, dado que ningn sistema puede completarse,
no es casual que ciertas figuras fundamentales hayan quedado
fuera". Por ejemplo, ello ocurri con Moiss, que no pudo entrar
a la tierra prometida. Freud lleg ms lejos, pues para sustentar
sus teoras se vio necesitado de probar a sus lectores que el gran
lder hebreo era egipcio. Aunque le cost bastante esfuerzo afron
tar el atrevimiento:
Privar a un pueblo del hom bre que considera el m s grande de sus
hijos no es em presa que se acom eter de buen grado o con ligereza de
corazn, tanto m s cuando uno m ism o form a parte de ese pueblo.
L g ic a
y t e o r a d e c o n ju n t o s
P a u l o A m sth m
Ca p t u l o 8
PASCAL, AHARON Y
LA POTENCIA DEL DOS
...si fue as poda ser, y si as fuera, sera; pero como
no es, no es. Eso es Lgica.
L.C a r r o l l , A travs del espejo
189
L g ic a
Pa b l o A m s t iii
y t e o r a d e c o n ju n t o s
190
1+ 5 = 6
2+4=6
5 + 6 + 7 = 18;
8 + 9 +10 = 27;
1+8 = 9
2+ 7 = 9
L g ic a
y t e o r a d e c o n ju n t o s
1A B i.o A m n t m i
Para Pascal, Dios era menos real que el Universo, y una sen
sacin de vrtigo, miedo y soledad lo llev a una frmula menos
comprometida:
La naturaleza es una esfera infinita cuyo centro est en todas partes
y su circunferencia en ninguna.
Sin embargo, Pascal est muy lejos de ser aquel Dios que no
vacila; nos cuenta Borges de una edicin que reproduce las la
chaduras y vacilaciones del manuscrito, revelando que Pase. I
haba empezado a escribir:
Una esfera espantosa, cuyo centro est en todas partes y la circun
ferencia en ninguna.1
192
I 2 } j2 /
19 3
L g ic a
Pa b l o A m st h h
y t e o r a d e c o n ju n t o s
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 191 proviene de Hildebrandt y
Tromba, 1990:
...la naturaleza parece gustar del orden y de la regularidad, incluso en sus es
tructuras ms diminutas.
19 4
195
L g ic a
t e o r a d e c o n ju n to s
l A IIM ) A M N TI'.K
*------------------------------
i /y
i/x +
11. Ver Carroll, 1968. El Gato tiene tambin la habilidad de descontraerse y as reapa
recer en el momento en que ms le plazca. Tales destrezas lo salvan ms tarde do
ser decapitado: en determinada ocasin en que la presencia felina se limita a la ca
beza, el verdugo se niega a cumplir las rdenes de la Reina argumentando que no
se puede cortar una cabeza a menos que exista un cuerpo del cual cortarla.
12. Ver por ejemplo Hawking, 1992. Para el lector interesado en ver cmo dicha ley
puede pervertirse, es recomendable el captulo Lana y agua, en Carroll, 1998.
196
333 3 3 3 3 3 3 3 3 3 3
Pero secuencias as, fruto de una repeticin tan metdica
mente inacabable, no pueden ser aceptadas en el diccionario de
palabras bien formadas. Toda palabra que se precie de tal debe
ser finita; como sea, las anteriores malas palabras resultan ti
les para describir la modalidad de lo necesario, pues la absoluta
simetra respecto de todo punto exige, ni bien determinado un
13. Sobre el infinito potencial y el infinito actual, ver captulo 4.
197
L g ic a
I a
y t e o r a d e c o n ju n t o s
i i i .o
A m stk ii
= es v e rd a d a h o ra y ser v e rd a d
siempre
que
Op
ta
t.
t2
t3
P = es
O p
t0
t,
t2
t3
...
tn
...
14. cf 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 1al que toda aparicin est vedada,
un 1 que no cesa de no escribirse.
198
p= - O - P
La necesidad de p equivale a la imposibilidad de no p; la ne
cesidad de un enunciado como
2=2
merece entenderse como la falsedad, ahora y en todo tiempo, de
que el 2 sea distinto de s mismo17, es decir:
2*2.
Lo necesario se define como la prohibicin del o, que desde
la ptica del 1 debe pensarse como una obligacin. Verdad ahora
y verdad siempre no es sino una manera de decir:
la espantosa realidad de 2 = 2
es mi diario descubrimiento.
Puestos a jugar el juego de arrojar la moneda a cara o ceca (es
decir, o o i), el azar nos proporciona la elegante esperanza (cf.
Borges, La Biblioteca de Babel) de lo posible, la aparicin mesinica de un 1 al cabo de tantos ceros:
o
o
o
...
o
Una rpida iniciativa tomada en el preciso instante de la apa
ricin tendra el carcter de un acto: un acto que nos autoriza a
16. Recordemos, en el cuento de Borges, la importancia del rombo, que aparece in
cluso en el traje del arlequn que anuncia una de las muertes.
17. Por supuesto que este enunciado no va a ser tan indudablemente falso despus
de Rimbaud (Je est un autre), y menos aun despus de Lacan (ver el Seminario
sobre 'La carta robada).
1QQ
L g ic a
Pa b l o A
y t e o r a d e c o n ju n t o s
m s t u ii
0 ...
o
o
i
i
i
En el fondo, toda la operacin parece una tontera, pues la su
cesin obtenida en el nuevo rengln, limpia ya de la tira inicial
de ceros, consiste en la escritura constante de unos, provenien
tes de un paso montono, recursivo:
0
+ 1 = 1 ahora, y siempre
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
El nmero que aparece en la columna n-sima (n = o, 1, 2, ...)
responde a una pregunta muy simple, de aquellas que pocos se
atreveran a calificar de detectivesca:
Cuntos elementos componen un conjunto de n elementos?'9
.18. F.s decir, como indica Lacan (Seminario XIX, clase del 19/1/72), que cada nme
ro est formado por
... la adicin de las dos cifras, la que est inmediatamente a su
izquierda y la que est a su izquierda y arriba.
19. Si se pretende que la mnada en realidad funda al nmero, la pregunta care
ce de sentido, puesto que si no contamos con los nmeros de antemano no se
remos siquiera capaces de conocer nuestra ubicacin, en la columna n-sima.
De todas maneras, la pretensin de la mnada como fundante seria un poco in
200
l
0
0
1
0
0
0
1
1
0
0
1
2
1
0
1
0
1
3
3
10
0
1
L g ic a
Pa b l o A m s t h h
y t e o r a d e c o n ju n t o s
{ a, c}
{a, d}
{b,c}
d}
{ b,
{ c,d}
{b,c}
{ a, e }
{ b, d}
{ c, d}
{b,e}
{c,e}
{ a, d}
{d,e}
202
4+3+2+i
Esto nos lleva a deducir una frmula general para los trminos
de la diada: la cantidad correspondiente para un conjunto de n
elementos es la suma de los nmeros naturales menores que n,
Para
Para
Para
Para
n = 3, se tiene
n = 4, se tiene
n = 5, se tiene
n = 6, se tiene
1+
1+
1+
1+
2=3
2+3=6
2 + 3 + 4 = 10
2 + 3 + 4 + 5 = 15
2
Por ejemplo, si queremos elegir 2 representantes de un con
junto de 30 personas, tenemos
30 ( 3 0 - 1)
------
435
LGICA
Pa b l o A m s i i k
TEORA DE CONJUNTOS
mnada
diada
triada
ttrada
n=0 n=1
0
0
1
1
0
1
0
0
0
0
0
0
204
i
1i
12 1
i
3 3
14 6 4 1
1 5 10 10 5 1
1 6 15 20 15 6 1
205
LGICA
TEORA DE CONJUNTOS
Pa b l o A m s t h k
(x pertenece a A)
(x no pertenece a A)
206
Trada
{ a, b, c }
{ a, h, d)
{ a, b,e }
{ a, c, d }
{ a, c, e }
{ a, d, e }
{ b, c, d }
{ b, c, e }
{ b,d,e)
{ c,d,e}
Complemento
{ d, e }
{ c, e }
{ c ,d }
{b,e}
{ b,d}
{ b, c}
{ a, e }
{ a, d }
{ a, c }
{ a, b }
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 abe no es lo mismo que bac o bea, y el hecho de
que se acepten palabras como axaxaxas implica que la combinatoria es infini
ta. Incluso el alfabeto ms zonzo, compuesto porua sola letra, genera una in
finidad de palabras, aunque cabe reconocer que no muy variadas:
a, aa, aaa, aaaa,...
207
L g ic a
y t e o r a
DE CONJUNTOS
Pa b l o A m n t u k
1
11
121
1331
14641
1 5 10 10 5 1
1 6 15 20 15 6 1
Summa
1
2
4
8
16
32
64
208
2"
En efecto,
2 = 2'
8 = 2*
De esta manera el 2, oculto en una primera lectura, termina
apareciendo en el tringulo con total insistencia, y se convier
te en elemento estructural del mismo. Cada rengln transcurre
bajo la direccin del 2; el tmido 2 que slo se limita a una apari
cin explcita reaparece a cada momento en forma implcita, sin
cesar de no escribirse. El 2 se revela en la potencia de cualqtiiei
conjunto, incluso en los conjuntos infinitos17.
Lnea a lnea, el 2 efecta una especie de "balance" del I r.Sn
guio, controlando cuidadosamente ol total de c.ul.i fila I -.t*mr.
hace pensar en el 2 como un cuidador, o m.\s bien un 1/minia
dor, no de rebaos pero s de samas. I 11 realidad, si se le supone
al tringulo cierta espiritualidad, bien podramos asignarle un
rol casi sacerdotal: el 2 como sacerdote de sumas, o mejor dicho,
Sumo Sacerdote. Esto nos permite trazar una analoga con aquel
que fuera ungido como primer kohen gadol una vez que la Ley
fue entregada en el desierto: se trata de Aharn, que cumple un
papel preponderante en el xodo por ser el encargado de la pa27. Segn mencionamos en el captulo 4, el cardinal de las partes de un conj unto que
tiene a elementos -siendo a finito o infinito- es 2. En la teora de conjuntos de
Zermelo-Fraenkel el universo es representado en general mediante un gran Vel,
lo que le da una apariencia semejante al tringulo pascaliano pero invertido:
El
Universo
lAIII.O AMSTKK
210
211
L G IC A Y T EO R A DE CO N JU NTO S
Pa u l o A m k t k k
E p l o g o
2 12
iO = I + 2 + 3 + 4
En este esquema, el 1 era la Unidad, lo Divino, el origen de to
das las cosas. El 2 representaba la Diada, el desdoblamiento, que
es el origen de lo masculino y lo femenino, y del dualismo inter
no de todos los seres. El 3 simbolizaba la Trada, los tres niveles
del mundo (celestial, terrenal e infernal). Finalmente, el 4 expre
saba el mundo material, resumido en los cuatro elementos: lie
rra, aire, fuego y agua.
Esto establece una relacin entre el 4 y esa cantidad que usa
m oscom o base de nuestro sistema de numeracin, sin duda por
ser aquella que tenemos ms a mano30. Diez son tambin los re
cipientes espirituales de la Luz Infinita denominados sefirot, lo
que sumado a las 22 letras da un total de 32 senderos: por eso el
nombre divino Elohim aparece 32 veces en el Gnesis durante la
creacin hasta que es pronunciado por vez primera el impronun
ciable nombre de cuatro letras o tetragrmaton.
De los diez mandamientos slo cuatro son positivos; los seis
restantes son negativos (la proporcin respectiva para los 613
preceptos es de 248/365; un precepto positivo por cada parte del
cuerpo, uno negativo por cada da del ao).
Lacan se refiere al cuatro en repetidas ocasiones, desde La
carta robada en sus comienzos hasta el cuarto nudo y el Synthome de los ltimos seminarios, pasando por los cuatro discursos y
los cuatro conceptos fundamentales. En el Seminario IX analiza
el cuadrante de Peirce, basado en las cuatro proposiciones aris
totlicas, mientras que en el XIX y el XX presenta las frm ulas
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.
Al menos, la totalidad de los nmeros que se pueden contar con las manos:
44 - 44 = o; 44/44 = 1;
4/4 + 4/4 = 2; (4+4+4)/4 = 3; 4. (4-4) + 4 = 4; etc.
213
L G IC A y T EO R A DE CO N JU NTO S
Pa b l o A m sth h
de la sexuacin,
convexo
no convexo
214
215
B IB L IO G R A F IA
L g ic a
y t e o r a
DE CONJUNTOS
lAMI.O AMNI'!':!