Teoremas de Completitud e Incompletitud de Gödel

1. Teoremas deCompletitud e Incompletitudde Gödel Roberto Moriyón

2. Teorema de completitud de Gödel • Todas las consecuencias de un conjunto de axiomas se deducen de él. • La afirmación inversa (todas las fórmulas que se deducen de un conjunto de axiomas son consecuencias de él) es el teorema de coherencia. • Ya los hemos demostrado en el caso más sencillo de la Lógica proposicional.

3. Teorema de Coherencia de la Lógica de Predicados • Al igual que en la Lógica Proposicional, es consecuencia de que en todas las reglas de deducción, de la forma AB, B es consecuencia de A.

4. Recordatorio: Demostración del Teorema de Completitud proposicional • Primer paso: Si un conjunto de axiomas es inconsistente, entonces todas sus consecuencias se deducen de él. • Segundo paso: Si un conjunto de axiomas es consistente maximal, entonces todas sus consecuencias se deducen de él. • La demostración del Teorema de Completitud de Gödel se basará en dos pasos análogos.

5. Recordatorio: Inconsistencia • A  G v ~G 

6. Recordatorio: Inconsistencia • A  G v ~G  F (F cualquiera) 

7. Teorema de completitud de Gödel para axiomas inconsistentes • Todas las fórmulas se deducen de los axiomas si éstos son inconsistentes • Se debe a que, como consecuencia de la regla de deducción de implicaciones, de una contradicción se deduce cualquier fórmula • Todas las fórmulas son consecuencia de los axiomas si éstos son inconsistentes • Se debe a que todas las fórmulas que se deducen a partir de A son consecuencia de A

8. Recordatorio: Conjuntos consistentes maximales • Un conjunto de fórmulas es consistente maximal si al añadirle cualquier otra fórmula deja de ser consistente. • Por ejemplo, las fórmulas ciertas en una interpretación cualquiera forman un conjunto consistente maximal.

9. Recordatorio: Conjuntos consistentes maximales, II • En la Lógica Proposicional: • Si A es consistente maximal, las fórmulas de A son las únicas que se deducen de A • Si A es consistente, entonces es maximal si y solamente si GA  ~GA • A es consistente maximal si y solamente si A corresponde a una interpretación • De lo anterior se deduce el Teorema de Completitud para conjuntos de axiomas consistentes maximales

10. Conjuntos consistentes maximales en la Lógica de Predicados • Los dos últimos puntos no se verifican en la Lógica de Predicados, pues un conjunto de fórmulas no determina una interpretación: hace falta un dominio y una interpretación en el dominio de cada símbolo de constante, función y predicado • Los puntos anteriores son válidos, y se demuestran como en la Lógica Proposicional

11. Dominio sintáctico asociado a un lenguaje lógico • El dominio sintáctico asociado a un lenguaje de la Lógica de Predicados es el conjunto formado por los términos sin variables del lenguaje. • Ejemplo: El modelo sintáctico de un lenguaje con un símbolo constante, 0, y otro de función, f (unaria) es D={0,f0,ff0,…}.

12. Interpretación natural simple de una teoría lógica • La interpretación natural simple asociada a una teoría lógica tiene como dominio a su dominio sintáctico. La interpretación de los símbolos de constante y función es puramente sintáctica (no depende de cuáles sean los axiomas de la teoría): las constantes se interpretan como ellas mismas (cI=c) y las funciones actúan simbólicamente sobre n-plas de términos: fI(T1, …, Tn) = fT1…Tn.

13. Interpretación sintáctica de una teoría lógica, II En el ejemplo de un lenguaje con un símbolo constante, 0, y otro de función, f (unaria) la interpretación natural simple de estos símbolos es la siguiente: • 0I =0, • fI:DD es la función definida por fI(fk)0)=fk+1)0 Por ejemplo, fI(fff0)=ffff0.

14. Interpretación natural simple de una teoría lógica, III • La interpretación natural simple de los símbolos de predicado de una teoría lógica es la que corresponde a la validez de cada término dependiendo de los axiomas: si P es un símbolo de predicado n-ario y T1, …, Tnson términos cualesquiera, PI(T1, …, Tn) es cierto si PT1…Tnes un teorema de la teoría.

15. Interpretación natural simple de una teoría lógica, IV • Ejemplo: En la interpretación natural simple de la teoría lógica con símbolos 0 (constante), f (función unaria) y P y axiomas • x,Pxx • x,y,(PxyPyx) • x,y,z,(Pxy^PyzPxz) • x,Pxffx, PI (fk)0, fh)0) es cierto si y sólo si k-h es par

16. Interpretación natural simple de una teoría lógica, IV • Si los axiomas incluyen igualdades, la interpretación natural simple de una teoría puede no ser un modelo. • Por ejemplo, en la interpretación natural simple de la teoría lógica con símbolos 0 y f y axioma x,x=ffx, el dominio sintáctico es D0={0,f0,ff0,…} y la interpretación de la fórmula 0=ff0 es falsa a pesar de que la fórmula es un teorema.

17. Dominio natural asociadoa una teoría lógica • El problema anterior se evita mediante el cociente del dominio sintáctico por una relación de equivalencia. • El dominio natural asociado a una teoría es el cociente del dominio sintáctico por la relación de equivalencia T S si y sólo si AT=S

18. Dominio natural asociado a una teoría lógica, II • Ejemplo: El dominio natural de la teoría lógica con símbolos 0 y f y axioma x,x=ffx es el cociente del dominio sintáctico D0={0,f0,ff0,…} por la relación de equivalencia fj)0 fk)0  k-j es un número par. El conjunto cociente D=D0/={[0],[f0]} es un modelo de la teoría con la interpretación 0I=[0],fI([fk)0])=[fk+1)0].

19. Interpretación natural asociada a una teoría lógica • La interpretación natural simple de una teoría lógica da lugar a otra interpretación sobre el dominio natural, que llamamos interpretación natural. Por cada símbolo de constante c, de función f y de predicado P, • cI = [cI]. - fI([T1], …, [Tn]) = [fT1…Tn]. • PI([T1], …, [Tn]) es cierto si PT1…Tnes un teorema de la teoría.

20. Interpretación natural asociadaa una teoría lógica, II • La interpretación natural de la Aritmética es la siguiente: • Los elementos del dominio sintáctico son expresiones numéricas construidas a partir del 0 y las operaciones S, + y ., como S0+(S0.0). • En la relación de equivalencia inducida por los axiomas de la Aritmética todas las expresiones numéricas son equivalentes a otra de la forma Sn0. Por ejemplo, S0+(S0.0)  S0.

21. Interpretación natural asociadaa una teoría lógica, III • Como consecuencia de lo anterior, el dominio natural es D={[Sn0] | n0} y la interpretación natural es • 0I = [0] • SI[Sn0]  [Sn+10] • [Sn0]+I[Sm0]  [Sn+m0] • [Sn0].I[Sm0]  [Sn.m0] • La interpretación anterior da lugar al modelo estándar de la Aritmética. La interpretación natural de la semiótica también es la estándar.

22. Interpretación natural asociadaa una teoría lógica, IV • La construcción anterior no nos proporciona un modelo de una teoría si ésta contiene axiomas existenciales. Por ejemplo, la teoría que tiene como único axioma x,x=x, que admite como modelo a cualquier conjunto no vacío, tiene como dominio natural al conjunto vacío, que no es un modelo de la teoría.

23. Eskolemización • El problema anterior se puede solucionar considerando un símbolo adicional c que se interpreta como el elemento del dominio final a construir D que existe según el axioma y que verifica que c=c. • Para integrar esta idea con la construcción anterior del dominio mínimo, el símbolo c se puede introducir como constante de una lógica extendida, y junto al axioma x,x=xse puede considerar el nuevo axioma c=c. • La idea anterior permite construir un modelo mínimo, D={c}.

24. Eskolemización, II • Análogamente, para poder interpretar un axioma como y,x,~y=x, se puede extender la lógica introduciendo un símbolo de función H y añadiendo el axioma y,~y=Hy. • Esta construcción se puede hacer con fórmulas arbitrarias del tipo y1,y2,…yN,x,F. En este caso se añade un símbolo de función N-aria J y el axioma y1, y2,…yN,FJy1…yN/x. • Los términos introducidos en los ejemplos (c, Hy, Jy1,…,yN) se denominan testigos.

25. Normalización de cuantificadores • A partir de cualquier fórmula lógica se deduce otra equivalente a ella (normalizada) sin implicaciones y que tiene todos los cuantificadores en su parte exterior. • Ejemplos (suponemos que las fórmulas son simples): • ~x,x+x=xequivale a x,~x+x=x. • x,y,~((z,F)G) equivale a x,y,z,(F^~G).

26. Normalización de cuantificadores, II • En general, las implicaciones de la forma FG equivalen a ~FvG, y las negaciones (~) se pueden pasar al interior de los cuantificadores y operaciones lógicas proposicionales mediante las reglas de intercambio y De Morgan. Tras esto, las reglas de ámbito permiten pasar los cuantificadores restantes al exterior.

27. Fórmulas atestiguadoras • Una fórmula FT es atestiguadora de otra F que estáen forma normal si se obtiene eliminando todos los cuantificadores existenciales de F y sustituyendo las correspondientes variables por términos de la forma Jy1,…,yN, donde y1,…,yN son las variables que afectan al cuantificador existencial correspondiente mediante cuantificadores universales. • Los símbolos de funciones y constantes que se introducen han de ser nuevos.

28. Fórmulas atestiguadoras, II • Por ejemplo, una fórmula atestiguadora de la fórmula lógica F  x,y,z,u,(~x=y^~x=u^~y=u^~z=u) es FT x,z,(~x=Hx^~x=Jxz^~Hx=Jxz^~z=Jxz). En esta fórmula, Hxy Jxzson testigos de los cuantificadores existenciales de y y u.

29. Fórmulas Atestiguadoras, III • FTF, pero no al revés • Ejemplo: F  x, y,~x=y, FT  ~c=d. • Si A es consistente y FA, entonces A{FT} también es consistente.

30. Fórmulas Atestiguadoras, IV • Ejemplo: Si Fx,y,~x=y, entonces FTx,~x=Jx. Si A fuera consistente y A{FT} no lo fuera, de A se deduciría ~FTx,x=Jx. Como las fórmulas de A no contienen el símbolo J, la deducción de ~FT introduciría Jx en algún paso. …

31. Fórmulas Atestiguadoras, V … Los únicos pasos en los que se pueden introducir términos nuevos en una deducción son al aplicar la regla de especificación o en el primer paso de una “deducción al margen” para su utilización en la regla de deducción de implicaciones. …

32. Fórmulas Atestiguadoras, VI • En el primer caso, si la deducción de ~FT introdujera Jx al utilizar la regla de especificación, se podría hacer otra deducción quitando esa regla y siguiendo los mismos pasos de la deducción inicial, deduciéndose ~F x,y,x=y. Esto es imposible, pues entonces A sería inconsistente.

33. Fórmulas Atestiguadoras, VII • En el segundo caso, si la deducción de ~FT introdujera Jx en el primer paso de una “de-ducción al margen” para su utilización en la regla de deducción de implicaciones, se po-dría sustituir esta fórmula por otra con un cuantificador existencia que la tuviera como atestiguadora. Continuando como en el caso anterior también se deduciría ~F x,y,x=y, loque de nuevo es imposible, pues A sería inconsistente.

34. Fórmulas Atestiguadoras, VIII • La demostración anterior se extiende al caso de cualquier otra fórmula F.

35. Teorema de Satisfactibilidad simplificado • Si un conjunto de axiomas M es consis-tente maximal y con testigos, entonces en la interpretación natural de la teoría asociada a M las fórmulas ciertas son precisamente las de M.

36. Teorema de Satisfactibilidad simplificado: Demostración • Por su definición, las fórmulas atómicas (igualdades y predicados) pertenecen a M si y sólo si son ciertas en la interpretación. • ~FM si y sólo si FM, pues: • Si ~FM y FM, M no sería consistente. • Si FM, entonces MF (si no, M no sería maximal), luego M{~F} es consistente, por lo que ~FM.

37. Teorema de Satisfactibilidad simplificado: Demostración, II • Suponemos que FM si y sólo si FIes cier-toy que lo mismo ocurre con G. Entonces: • F ^ G  M si y sólo si FM y GM, pues en caso contrario M no sería consistente maximal. • F v G  M si y sólo si FM o GM, pues si FM o GM y FvGM, M no sería consistente maximal, e inversamente, si FvGM, FM y GM, entonces ~F,~GM, por lo que ~(FvG)M y M no sería consistente. Luego F^G yFvG tienen la misma propiedad.

38. Teorema de Satisfactibilidad simplificado: Demostración, III • De lo anterior, se deduce que las fórmulas sin cuantificadores que pertenecen a M son las que son ciertas en la interpretación natural. • Como consecuencia de las reglas de generalización y de especificación, lo mismo ocurre con todas las fórmulas que en forma normal no tienen cuantificadores existenciales.

39. Teorema de Satisfactibilidad simplificado: Demostración, IV • Por otra parte, como consecuencia de la última observación sobre fórmulas atestiguadoras, las fórmulas con cuantificadores existenciales pertenecen a M si y solamente si pertenece a M alguna fórmula atestiguadora suya. • El teorema simplificado de satisfactibilidad es consecuencia de lo anterior.

40. Teorema de Completitud de Gödel: Demostración • Si A es un conjunto de axiomas y F es una consecuencia de A, entonces F se puede deducir a partir de A. • Demostración: • Ya hemos demostrado el caso particular en que A es inconsistente. • El caso en que A es consistente maximal y con testigos es consecuencia del Teorema de Satisfactibilidad simplificado. • …

41. Teorema de Completitud de Gödel: Demostración, II • En general, si A es un conjunto consistente de axiomas y F no se deduce de A, entonces A{~F} es consistente. Veremos más ade-lante que entonces hay un conjunto de fór-mulas M maximal consistente y con testigos que contiene a A{~F}. Por lo tanto, hay una interpretación de M en la cual ~F es cierta. Restringiendo la interpretación a los símbo-los de la Lógica inicial, se ve que F no es consecuencia de A.

42. Teorema de Completitud de Gödel: Demostración, III • Si B es un conjunto consistente de axiomas, entonces se puede ampliar su conjunto de constantes y funciones, definiendo una nueva teoría lógica en la que hay un conjunto de fórmulas M maximal consistente y con testigos que contiene a B.

43. Teorema de Completitud de Gödel: Demostración, IV • La demostración de la afirmación anterior es análoga al caso proposicional, excepto por la incorporación de fórmulas atestiguadoras adicionales. • Se incorporan símbolos nuevos de funciones de todos los órdenes Hn,kcon n0 y k0. • Si {Fj | j0} es una numeración de todas las fórmulas de la nueva teoría, se va añadiendo a B consecutivamente Fj si con ello el conjunto ampliado de axiomas sigue siendo consistente.

44. Teorema de Completitud de Gödel: Demostración, V • Además, en cada paso se añade una fórmula atestiguadora correspondiente a la fórmula Fj si finalmente Fj pertenece al conjunto ampliado. Como consecuencia de la última observación sobre fórmulas atestiguadoras, cada conjunto Aj así obtenido es consistente. • Por construcción, el conjunto obtenido de fórmulas es consistente maximal y con testigos.

45. Teorema de satisfactibilidad de la Lógica de Predicados • Como consecuencia de la demostración del Teorema de Completitud de Gödel hemos demostrado lo siguiente: Todo conjunto consistente de axiomas es satisfactible.

46. Teorema de Incompletitud de Gödel • En cualquier teoría que incluya los axiomas de la Semiótica y que sea compatible con su modelo natural hay fórmulas que son válidas en el mismo que no se pueden demostrar y su negación tampoco.

47. Teorema deIncompletitud de Gödel, II • Las fórmulas anteriores son ciertas en el sentido de que su interpretación natural sobre cadenas de caracteres es cierta. Sin embargo, ni ellas ni sus negaciones se pueden demostrar. Esto no contradice el Teorema de Completitud.

48. Teorema de Incompletitud de Gödel, III • Idea de la demostración: Hallar una fórmula cerrada F cuyo significado en la interpretación natural sea “F no tiene demostración”.

49. Teorema de Incompletitud de Gödel, IV • Si la interpretación natural de F fuera falsa, F tendría demostración, luego su interpretación natural sería cierta. • Por lo anterior, F no tiene demostración y su interpretación natural es cierta. • Si ~F tuviera demostración, sería cierta en cualquier modelo de la Semiótica, luego F sería falsa en la interpretación natural.

50. Preparativos para la demostración del teorema • El predicado D demuestra Ees computable. (D y E son variables). • Como consecuencia del teorema de representación, hay una fórmula , con dos variables libres, d y e, cuya inter-pretación natural es “la demostración d demuestra la fórmula representada por e”. • La interpretación natural de la fórmula d,~ es “e no tiene demostración.