18/01/2020, 16:33:18 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Negaciones  (Leído 478 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Raúl Aparicio Bustillo
Pleno*
*****

Karma: +0/-3
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.067


Ver Perfil
« : 17/02/2011, 15:46:51 pm »

¿ 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?
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!