Curso de Doctorado Formalizaciones Matematizadas en Psicoanlisis 1

Prof. Dr. Alfredo Eidelsztein

Notas sobre la Clase N 16 Teorema de Goedel por Jimmy Kuffer - 17-11-06

Notas sobre la Clase N 16

Mariana Gomila

Teorema de Goedel (TG), por Jimmy Kuffer

Matemtica: disciplina deductiva, que implica que una propiedad puede ser
establecida como conclusin de una prueba lgica.
Uso del mtodo axiomtico en Geometra, implica aceptar sin pruebas
proposiciones como axiomas, y derivar segn reglas las dems proposiciones
del sistema, que deducidas del axioma- forman teoremas.
Un conjunto axiomtico tiene reglas que establecen las concatenaciones de
proposiciones que luego sern teoremas.
No es posible admitir que toda proposicin deriva del axioma: es lo que
demuestra el TG, o sea, que no es posible la axiomatizacin plena.
No se puede establecer la consistencia lgica interna de un sistema deductivo,
salvo que se utilice otro conjunto de axiomas ms complejo.
Implica la problemtica de la consistencia.
Quinto Postulado: por un punto exterior a una recta pasa slo una paralela.
No pareca evidente. En el Siglo XIX, 3 autores demostraron la imposibilidad
de deducir el Quinto Postulado de los otros axiomas. Por lo tanto, hay
proposiciones aritmticas imposibles de demostrar.
Problema de la abstraccin creciente de las matemticas: un sistema formal,
es consistente? S, si se demuestra que no hay teoremas contradictorios
deducidos a partir de los axiomas del sistema.
Cmo demostrar la consistencia del modelo? Transfiriendo de un modelo a
otro, se verifica si es consistente.
Ejemplo de transferencia:

1) 2 miembros de K estn contenidos en 1 solo miembro de L.

2) Ningn miembro de K se halla contenido en ms de 2 miembros de L.
3) No todos los miembros de K se hallan en 1 nico miembro de L.

L L

K K
L

Al verificarse en el sistema geomtrico, es prueba de la consistencia del

sistema. Es una prueba de consistencia en apariencia concluyente.

Los modelos y sistemas deben ser finitos para poder comparar los modelos
entre s.
Los sistemas no finitos presentan antinomias y paradojas.
Curso de Doctorado Formalizaciones Matematizadas en Psicoanlisis 2
Prof. Dr. Alfredo Eidelsztein
Notas sobre la Clase N 16 Teorema de Goedel por Jimmy Kuffer - 17-11-06

B. Russell plantea que hay contradicciones dentro de la lgica elemental. ( Ej.:

El catlogo de todos los catlogos que no se incluye a s mismo)
Ejemplo:

-Clases normales: no se contienen a s mismas como miembros de la clase

(Ej.: la clase de todos los psicoanalistas, no es un psicoanalista a su vez, no se
incluye como miembro de la clase)

-Clases no-normales: se contienen a s mismas como miembro de la clase. (Ej:

el conjunto de todas las cosas pensables, es una cosa pensable a su vez, por
lo tanto est incluido dentro de la clase).

Si N = la clase de todas las clases normales.

N, es una clase normal? Si lo es, entonces es miembro de s misma, porque

contiene a todas las clases normales; pero entonces, por eso mismo, debiera
ser no-normal, por definicin.
Por lo tanto, N es normal s y slo si no es normal: es una proposicin verdadera y
falsa a la vez. Lo que implica una antinomia, o sea, una afirmacin y su
negacin formal. Ambas son vlidas. Entonces, es consistente el sistema?

Volvamos al sistema formal:

Es necesaria la completa formalizacin de un sistema deductivo, para ver si les

trasladable a un sistema formal de otro orden. (Reduccin del lgebra de la
lgica). La completa formalizacin implica la extraccin de todo sentido de las
proposiciones y signos dentro del sistema, se trata de signos y/o lugares
vacos. Es necesario construir un conjunto de reglas enunciadas con precisin,
acerca de cmo deben manejarse los signos.
Los postulados, axiomas y teoremas de un sistema formalizado, segn ideas
de signos carentes de significado, combinados segn reglas, hasta formar
conjuntos ms amplios.
La formalizacin es la afirmacin sobre cualquier objeto y su validez, se asienta
en la estructura y no en contenidos, y tiene la finalidad de revelar la estructura y
funciones de las relaciones lgicas entre proposiciones matemticas.

Un sistema formal tiene que tener:

a) variables: P, Q, R
b) enlaces sentenciales: cmo se conjugan las variables entre s: ~
c) reglas de formacin: permiten construir sentencias aplicables a todo
razonamiento. (modus ponens, modus tollens)
d) signos de puntuacin (,.;)
e) axiomas: articulaciones de enlaces de variables segn reglas, dados por
vlidos segn demostracin. Deben cumplir el requisito formal.

Validez no implica deduccin.

Curso de Doctorado Formalizaciones Matematizadas en Psicoanlisis 3
Prof. Dr. Alfredo Eidelsztein
Notas sobre la Clase N 16 Teorema de Goedel por Jimmy Kuffer - 17-11-06

Se utiliza otro sistema formal para dar cuenta de la consistencia de un sistema

formal.
Se pueden describir las configuraciones de un sistema formal y cules son sus
relaciones. Ej.: puedo decir que tal signo se repite, que tales hileras son ms
largas que las otras, que se repite tal concordancia, etc. Se pueden decir, pero
no pertenecen al sistema formalizado. Se habla sobre el sistema formalizado
pero no son proposiciones propias al sistema formalizado. Se trata de
proposiciones metamatemticas. Es un lenguaje que se formula acerca de las
matemticas. Se trata de declaraciones sobre los signos y sus relaciones, y de
las consecuencias de dichas relaciones dentro del clculo.

X=X expresin matemtica

X es una variable expresin metamatemtica

Cada lenguaje que hable a su vez sobre el lenguaje sera un meta-

metalenguaje, lo que implicara una reduccin al infinito, impracticable.

El TG es una proposicin metamatemtica.

Las proposiciones metamatemticas no contienen signos y frmulas de la
expresin matemtica contenida en los sistemas. (El signo ya no es el mismo,
porque aqu es el nombre de las expresiones y no tienen alcance operatorio).
Eso es debido a una exigencia gramatical, y es que ninguna expresin tiene
que contener literalmente el objeto al cual se refiere: el clculo no es lo mismo
que la descripcin del clculo.

Estructura formal del sistema formal:

Su descripcin metamatematizada sera anotar sus signos, reglas, cmo se

derivan, etc. Todo sistema tiene reglas que permiten formar oraciones, que son
las oraciones bien formadas. En La Carta Robada: las oraciones + y son
oraciones bien formadas.

Juego de los Caballeros y Bribones:

En una isla hay caballeros y hay bribones. Los caballeros dicen la verdad y los
bribones mienten. La nica manera de diferenciarlos es por lo que cada uno
predica de s mismo.
Si un bribn dijera Yo soy un bribn, esa proposicin (yo soy un bribn), si
es verdadera, entonces el bribn no miente, y si no miente, no sera bribn
por definicin. Se trata por lo tanto de un enunciado formalmente indecidible,
es decir, no derivable de los axiomas.
Los enunciados formalmente indecidibles implican consistencia del sistema. La
consistencia se da cuando un axioma no permite que toda proposicin se
deduzca de l.
Por ejemplo, la proposicin Soy un bribn no es derivable del axioma, pero
es sin embargo acorde a las reglas del sistema.
El axioma no permite que una proposicin y su contraria sean demostrables. O
sea, un bribn no puede decir la verdad y mentir a la vez.
Por lo tanto, el sistema es consistente e incompleto.
Curso de Doctorado Formalizaciones Matematizadas en Psicoanlisis 4
Prof. Dr. Alfredo Eidelsztein
Notas sobre la Clase N 16 Teorema de Goedel por Jimmy Kuffer - 17-11-06

Todo N par (distinto de 2) es la suma de 2 primos, no puede deducirse de los

axiomas por qu es as. Se trata entonces de una conjetura.
Por lo tanto, no todo teorema es tautolgico. No todo teorema es siempre
vlido. Por eso el sistema es consistente e incompleto.

El TG dice que es importante presentar una prueba metamatemtica de la

consistencia de un sistema lo bastante comprensible para contener toda la
aritmtica. Tambin dice que cualquier sistema aritmtico es esencialmente
incompleto. Dado cualquier conjunto consistente de axiomas, existen
proposiciones formulables, no derivadas de dicho conjunto.
Goedel produce un sistema de escritura y notacin peculiar.

Paradoja richardiana (1905):

De distintos nmeros, podemos definir distintas proposiciones definidas en

espaol. A cada definicin le corresponder un nmero que las ordenar
segn la cantidad de letras que cada definicin contenga, si hay dos que
coincidan en esa cantidad, se ordenarn por orden alfabtico.
Por ejemplo, en la definicin N 15), 15 designa el lugar de la definicin de un
cuadrado perfecto. 15 tiene la propiedad de ser richardiano, porque 15 no es
un cuadrado perfecto (no coincide con lo que se est definiendo).
En cambio 17, no tiene la propiedad richardiana, porque 17 designa el lugar
de la definicin de nmeros primos, y 17 es un nmero primo, es decir, designa
el lugar de la definicin que lo comprende a s mismo.
La propiedad misma de ser richardiano, es una propiedad de los nmeros
enteros... y cul es el lugar que dicha propiedad tiene en la serie? Con qu
nmero la designamos? Con el nmero N:

N) Es richardiano.

Entonces, N, es richardiano? Lo es por definicin- si carece de la propiedad

definidora cuyo lugar designa. N es richardiano es verdadera y falsa a la vez.
A esto se suma la dificultad de estar mezclando propiedades aritmticas
cardinales con ordinales (ser richardiano es una propiedad que corresponde a
lo ordinal). O sea, hay mezcla de dos clases de proposiciones en el mismo
sistema formal. Es una declaracin metamatemtica dentro del mismo sistema
formal.

El TG es una proposicin metamatemtica sobre un clculo formalizado, que

puede ser representado por notacin del mismo sistema formal, con la misma
estructura del sistema que pretende criticar o demostrar.
O sea, el sistema que vuelve sobre s mismo y utiliza el mismo lenguaje.

Con qu elementos vamos a producir el anlisis de la transferencia en

psicoanlisis? Freud no pudo producir el anlisis de la transferencia.

Goedel ide un mtodo de representacin...(...)

Curso de Doctorado Formalizaciones Matematizadas en Psicoanlisis 5
Prof. Dr. Alfredo Eidelsztein
Notas sobre la Clase N 16 Teorema de Goedel por Jimmy Kuffer - 17-11-06

N de Goedel.
El TG demuestra que los axiomas son incompletos. Tambin que se puede
construir una frmula aritmtica correspondiente a una declaracin
metamatemtica. La frmula G, no es demostrable.

N G = la frmula G no es demostrable

G es demostrable si y slo si es demostrable tambin su negacin formal.

Si ambas fueran derivables del clculo, sera inconsistente.
G es indemostrable, pero verdadera y bien formada, porque corresponde con
una proposicin aritmtica que sigue las reglas del sistema. Es formalmente
indecidible.
Por lo tanto, el sistema aritmtico es incompleto, no todas sus verdades se
deducen del sistema, por lo cual, es consistente.
Cmo construir una frmula A que represente la proposicin
metamatemtica La aritmtica es consistente?
Demostr que AG es demostrable y derivable de los axiomas del mismo
sistema. A sola, no es demostrable, por lo tanto, todo sistema formal es
incompleto por tener enunciados formalmente indecidibles.

El acto, para Lacan, no es un comportamiento. Implica una manipulacin de la

trasferencia pero es absolutamente significante. (un significante que tiene que
estar muy cerca de significarse a s mismo...)
No se trata de un enunciado sobre la transferencia (Ud. repite conmigo
porque...), dado que eso sera sentido y de los peores.
Ref.: El saber del psicoanalista, frmulas de la sexuacin como indecidibles.
Clase 23 del Seminario 11, referencia al Menn.
Funcin del nmero como estructura del saber.

Con la misma estructura del inconsciente se vuelve analizable la transferencia.

La funcin del nmero es aquello del lenguaje que nos permite designar lo real
(Seminario 20).-

Bibliografa:

Teorema de Gdel de Nagel y Newman

Juegos por siempre misteriosos, La dama y el tigre y Como se llama este
libro?, de Raymond Smullyan
Las matemticas como una de las bellas artes, de Pablo Amster