( IN^ )_f := { n^ = f ( n ): n e IN }
Añadimos a esta interpretación otra obtenida haciendo f = I
( función identidad ), función que no es codificación prima de
IR^+, obteniendo:
( IN^ )_I := IN
Esto creará las condiciones para concluir la naturaleza no
demostrable de la Conjetura de Goldbach en la aritmética
de Peano usando la caracterización de la misma en ciertos
procesos dinámicos asociados a los números naturales.
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.