Page 66 - 18 Godel
P. 66

LAS  DOCE REGLAS LÓGICAS
                En  su  tesis doctoral, presentada en 1930, Gódel demostró que todo razona-
                miento que sea  verificable algorítmicamente puede fundamentarse usando
                solo doce reglas lógicas, que listamos a continuación. En lo que sigue, «P=> Q»
                es  una abreviatura de «Si  P  entonces Q»  y  « lfxP(x)» es  una abreviatura de
                «Todo x  cumple la propiedad P>,.
                  l.  Si  vale el enunciado Q, entonces, cualquiera que sea P,  vale el enunciado
                   «P =>Q».
                  2.  Si  vale «P=>(O=>R)» y  también vale «P=>Q» entonces vale «P=>R».
                  3.  Si  vale «no-Q=no-P» entonces también vale «P=>Q».
                  4. Si vale« lfxP(x)» entonces vale «P(n) », donde n es un número cualquiera.
                  5. Si vale« lfx[(P=Q(x)]» entonces vale «P=>[ lfxQ(x)]», siempre que la letra
                   x no aparezca en P.
                  6.  Cualquiera que sea  el  número x, vale que x=x.  -
                  7. Cualesquiera que sean los números x  e y, vale que si x = y  entonces y =x.
                  8.  Cualesquiera que sean los números x, y, z vale que si x = y  e y=z entonces
                   x =z.
                  9. Si x = y  entonces puede reemplazarse x  por y  en cualquier expresión nu-
                   mérica.
                 10. Si x= y  entonces puede reemplazarse x  por y  en cualquier enunciado.
                 11. Si  vale P y  vale «P=> Q» entonces vale Q.
                 12. Si  vale P(x) para un x  genérico entonces vale « lfxP(x)».
                En general, las diez primeras reglas se presentan como enunciados universal-
                mente válidos, mientras que a las dos últimas se les da una presentación di-
                ferenciada como «reglas de inferencia». Esta distinción es puramente técnica
                y no tiene relevancia para nuestros fines.





                      de la demostración fue enviado a la revista Monatshefte für Ma-
                      thematik und Physik en noviembre y apareció en el volwnen 38
                      (1931),  una publicación cuya relevancia para la lógica es solo
                     comparable con la Metafísica de Aristóteles. La exposición de la
                     demostración fue tan clara y transparente que no generó ni la más
                     mínima controversia.
                         Pero, ¿cómo es posible demostrar un hecho de esa enverga-
                     dura? ¿Cómo puede probarse que cualquiera que sea el conjunto
                     de axiomas que se elija (si los razonamientos son verificables al-






          66         EL PRIMER TEOREMA DE GÓDEL
   61   62   63   64   65   66   67   68   69   70   71