Autor Tema: Verdaderos pero no demostrables

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

24 Febrero, 2011, 11:30 pm
Leído 733 veces

Raúl Aparicio Bustillo

  • Matemático
  • Mensajes: 3,105
  • Karma: +0/-3
  • Sexo: Masculino
¿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?

24 Febrero, 2011, 11:41 pm
Respuesta #1

argentinator

  • Consultar la FIRMAPEDIA
  • Administrador
  • Mensajes: 7,272
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
  • Vean mis posts activos en mi página personal
    • Mis posts activos (click aquí)
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


25 Febrero, 2011, 12:47 pm
Respuesta #2

Raúl Aparicio Bustillo

  • Matemático
  • Mensajes: 3,105
  • Karma: +0/-3
  • Sexo: Masculino
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

25 Febrero, 2011, 02:47 pm
Respuesta #3

argentinator

  • Consultar la FIRMAPEDIA
  • Administrador
  • Mensajes: 7,272
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
  • Vean mis posts activos en mi página personal
    • Mis posts activos (click aquí)
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.