From: Archimedes Plutonium on

Up until the last several posts, I thought the Successor Axiom was
going to survive the
changes, but it looks as though it needs refurbishing also. It looks
as though Peano presumed the Natural Numbers as Counting Numbers
within the Successor function, whereas the Series
was the better means of defining succession. It is the Series that
makes no distinction as to
finite and infinite numbers and a Successor Function prejudices or
biases what the number
is. Hensel shows us that with the p-adic axiomatics using a Series
that the numbers are both
finite numbers and infinite numbers and that is how the Natural
Numbers should be also.

So here is a quick summary of the changes needed to make the Peano
Axioms a consistent
set.

(1) The creation of two numbers of both 0 and 1 and not just a solo 0.
This is needed since we
need a metric distance of 1 for the Series (successor axiom).

(2) Since the p-adics shows us that going to infinity is like that of
circling around a globe. Another way to think of this is that in
Physics, the Atom Totality does not go to infinity but
is in a elliptic geometry shape and that means if we go far enough we
end up coming to the
starting point. So that axiom of Peano that says 0 has no predecessor
is wrong. For that
the largest possible Natural Number of 9999....9999 when adding 1
becomes 0 again.
So that the successor of 9999....9999 is 0.

(3) Again, the Successor function needs to be replaced with Series so
that
1 + 1 + . . . . + 1 represents all the Natural Numbers beyond 0 of
finite stopping and that
this Series also included infinite-numbers.

(4) Define Finite-number as equal to or less than 10^500, anything
beyond is an infinite-number. Caveat: we can include a Incognitum as a
region between finite and infinite and
we can well-define the Incognitum as a territory in which Algebra is
still obeyed of its
operations but beyond the Incognitum, algebra is untrustworthy. We use
a 100-Model
where multiplication ceases at 11x9 since 12x9 is larger than the
largest number of 99.
So the Incognitum is about 10% of all the numbers of all-possible-
digit-arrangements
where 9999.....99999 is the last and largest Natural Number.

(5) Mathematical Induction is superfluous and can be derived as a
theorem from the
other axioms.

Now I need to talk about what the above does to my earlier book of AP-
adics where
I was trying to synthesis this geometry theory:

Eucl geom. = Elliptic geom unioned to Hyperbolic geom.

and where I said that was equivalent to the Number systems
of Reals, AP-adics, and Doubly Infinites.

However, I can see alot of changes to that theory, not the geometry
aspect
but to the Number Systems aspect. Because I have turned into a
*finitist*
and the Doubly Infinites or Reals or AP-adics no longer have much
meaning
since mathematics is confined to only 10^500 for meaning.

Now this helps that other book of mine because there is no longer any
need
for me to wrestle with Algebra because Algebra decays after it
reaches
10^500. It is meaningless to consider what is 5000....0000 x
6666....6666.

So Algebra is no longer a problem. But there is a further help in the
fact that
geometry is also confined to the finite region.

So in the equation above of Eucl = Ellipt unioned Hyperbolic we draw
a
small triangle on a sphere surface (which is elliptic triangle since
the sides
are concave outward) and on the underside of the sphere we draw the
corresponding hyperbolic triangle whose sides are concave inward and
so if we were to place
these two triangles together (unioned) they cancel their concavity and
yield a
Euclidean triangle. So this facet is made easier with the finite
restriction.

Archimedes Plutonium
www.iw.net/~a_plutonium
whole entire Universe is just one big atom
where dots of the electron-dot-cloud are galaxies