Por qué son necesarias las hipótesis de los teoremas de incompletitud
de Gödel (a partir de la aritmética verdadera), cómo se construye la
sentencia indemostrable y qué es Prov(x). Termina con un desvío a las
ecuaciones de campo de Einstein.
Hilo de la conversación
Oriol cita la entrada de Wikipedia sobre «true arithmetic»: es
consistente y completa y contiene suficiente aritmética, pero no tiene
axiomas recursivamente enumerables. Pregunta por qué se necesita esa
hipótesis.
Claude: la enumerabilidad recursiva expresa que el sistema es
mecánicamente verificable; la aritmética verdadera «hace trampa» al
codificar la verdad. Las otras hipótesis (consistencia, suficiente
aritmética, lenguaje formal) evitan resultados triviales o mal
definidos.
Oriol pregunta por la sentencia G de Gödel. Claude la presenta como
«esta sentencia no es demostrable en PA», con numeración de Gödel,
fórmula Prov(x) y diagonalización, y un análisis por casos.
Detalle de Prov(x): ∃y ProofSeq(y, x), con pruebas codificadas como
números (factorización en primos); ProofSeq expresable en el lenguaje de
PA.
Cambio de tema: Oriol pide las ecuaciones de Einstein expandidas.
Claude da la forma compacta, tensor de Einstein, símbolos de
Christoffel, tabla de 10 ecuaciones independientes y la métrica de
Schwarzschild.
Tesis y
conclusiones (incluidas las de Oriol)
Claude: «procedimiento efectivo más consistencia implica
incompletitud»; el mínimo formal es autodestructivo.
G es verdadera pero indemostrable en PA, comprobable desde fuera del
sistema.
Oriol no formula tesis propia; plantea preguntas técnicas.
Autores y referencias
citados
Gödel, Peano (PA), Einstein, Schwarzschild; Wikipedia («True
arithmetic») como única fuente explícita. No hay referencias
bibliográficas.
Puntos a verificar
El análisis por casos de G es incorrecto: «si G es demostrable, G es
verdadera» exige corrección (soundness), y la «contradicción» descrita
es imprecisa. El argumento correcto usa consistencia (Gödel) u
omega-consistencia, o Rosser sin ella.
Se presenta como si la hipótesis sirviera para «incompletitud» en
general; el segundo teorema (consistencia no demostrable) no se
menciona.
«Schwarzschild es la única solución exacta en vacío con simetría
esférica» se contradice con la mención posterior de Kerr, FLRW (esta
última no es de vacío); Birkhoff es el resultado pertinente.
Se afirma que ProofSeq usa solo suma y producto «y exponenciación»;
en PA la exponenciación se define vía función beta de Gödel, no es
primitiva.
Ecuaciones: la tabla de «10 independientes» es correcta pero la
lista omite la simetría y no demuestra independencia; revisar
convenciones de signo.