Autor Tema: Negaciones

0 Usuarios y 1 Visitante están viendo este tema.

17 Febrero, 2011, 07:46 pm
Leído 529 veces

Raúl Aparicio Bustillo

  • Matemático
  • Mensajes: 3,105
  • Karma: +0/-3
  • Sexo: Masculino
¿ Por qué la formula no CONS (T) en T+no CONS(T) no significa exactamente lo contrario de CONS(T), a pesar de ser el resultado de convertir la sentencia "no existe numero de Godel   x tal que 0=1" en su negación "existe numero de Godel x tal que 0=1?
En el fondo sigue significando "no existe numero de Godel x tal que 0=1", dado que el numero que "verifica" la demostración es no estandar. Es como si lo contrario de CONS (T) fuese tambien CONS (T). ¿Cómo se explica eso?