17/02/2020, 13:12:11 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

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: Verdaderos pero no demostrables  (Leído 695 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.068


Ver Perfil
« : 24/02/2011, 19:30:01 »

¿Cómo puede ser la sentencia de Gödel verdadera pero no demostrable?

¿Cómo se puede saber si algo es verdadero si no es demostrable?
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.286

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #1 : 24/02/2011, 19:41:52 »

Se definen por separado las nociones de "enunciado demostrable" y "enunciado verdadero".

Las definiciones pertinentes suelen darse de modo recursivo.

Aquí se debatió este tema:

http://rinconmatematico.com/foros/index.php/topic,22263.260.html

En línea

Raúl Aparicio Bustillo
Pleno*
*****

Karma: +0/-3
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.068


Ver Perfil
« Respuesta #2 : 25/02/2011, 08:47:18 »

La sentencia de Gödel no sabemos si es verdadera, lo unico que nos dice el teorema de Gödel, es que, si es verdadera, no es demostrable,pero nunca podemos llegar a demostrar su veracidad

Argentinator, al pinchar el link me sale un tema diferente, y no sobre este. Mi "autorrespuesta" viene de ese tema tal como lo trata Ivorra en Lógica y Teoría de Conjuntos
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.286

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #3 : 25/02/2011, 10:47:35 »

El enlace que te puse es sobre el Teorema de Godel.
Ahí están definidos los conceptos de "demostrable" y "verdadero".
Gustavo definió todo muy claramente, tendrías que buscar los mensajes que él fue poniendo en ese hilo, y ver cómo construyó todo.



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!