Supongamos que existiera una demostración de la Conjetura
de Goldbach (CG) en la aritmética de Peano ( K_IN), es decir:

A_1, ..., A_n

Según la teoría expuesta anteriormente, en una extensión ( K_IN)*
de K_IN existiría otra demostración, cuya validez dependería de los
estados temporales asociados a los números naturales por medio
de adecuados procesos dinámicos con aceleración bien definida y
continua del área.Esto sería un absurdo, ya que los axiomas de Peano
son convencionalmente estáticos.

Fernando Revilla.

P.D. Previos:

1.- Transportando la Aritmética.
2.- Codificando números naturales.
3.- Manteniendo la nomenclatura.
4.- El plano x^ y^.
5.- Hipérbolas en el plano x^ y^
6.- Eligiendo adecuadamente codificaciones de IR^+.
7.- Puntos de remolino.
8.- Puntos de semiremolino.
9.- Caracterizando números primos.
10.- Breve e intuitivo sumario.
11.- Codificación prima de IR^+.
12.- Regiones esenciales.
13.- Clasificando regiones esenciales cuadradas.
14.- Clasificando regiones esenciales triangulares.
15.- El conjunto Es ( k_0 ).
16.- Caracterizando primos vía regiones esenciales.
17.- Relacionando suma y producto: el área.
18.- Hallando ( (A_T)^ )''. Puntos esenciales.
19.- Una caracterización de la Conjetura de Goldbach
20.- Construyendo un adecuado proceso dinámico.
21.- Tiempo y Conjetura de Goldbach.
22.- Interpretaciones para la aritmética de primer orden.

http://groups.google.com/group/es.ci...2c925738984a52