x^ *' y^ = k^
Dada la simetría respecto de la bisectriz del primer
cuadrante solo trabajamos en la zona de este plano,
y^ >= x^ , y adicionalmente para x^ >= 1^.
Decimos que (u, v) e [0, M)^2 es un punto de semi
remolino sii es un punto de remolino y además u = 1^.
Ahora, tenemos las condiciones para distinguir números
naturales en el plano x^ y^, así como números primos.
Fernando Revilla.
P.S. 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.