Thursday, August 9, 2007

in Peano's direction

Fact: The Successor function can only move away from the reference point.
Question: Does any aspect of the Peano system utilize the direction toward the reference point?

Now, if the successor function is not used for "going toward the reference point", then what is the mechanism that allows this directional procession? What allows you to go back like that? There is no other function defined and it does not appear to be coming from some feature "underneath" the formal framework of axiomatic systems. So, my guess is that the expressive capabilities of the axioms is what is being used to move backwards in such a case???

(If "moving backward" is not a notion you want to entertain, then perhaps an alternate view is that moving from "2" to S(1) is a symbol decoding function- something that decodes a symbol into it's appropriate parameterized successor-function "call". If so, then are the axioms creating this decoding function?)

Wednesday, August 1, 2007

Peano recursion

Given that the Peano axiom set is stripped of the axiom that says "0 is a natural number," I still believe the underlying "form" of what was once called a "number line" would still remain completely the same despite loosing the ability to define what a number is. Peano, by stating that "1 is a natural number" has basically "encoded" a reference point into the system. However, without the axiom, a user could just define their own reference point outside of the system and just use what is left in the Peano axiom set as a "metronome." The combination of "reference" point and "metronome system" is basically enough to completely build all the numbers. In other words, from an algorithmic perspective if you have memory (for the reference point) and metronome, you can get all the numbers, addition, multiplication, "prime", etc. all in one complete magical "poof!". Honestly, I am not totally comfortable with the idea that numbers and the operations are not completely separable; however, I can intuitively understand the phenomenon.

Peano's axioms just give the user a way to input things into a recursive blackbox which then turns around and spits out a number. It is essentially an interface to recursion. It is a system which, once the recursion is kicked into gear, there is nothing you can do except wait until the "answer" comes back. You can't peer into the recursive "machinery" to glean or use "internal" information. If you take the "0 is a natural number" axiom out then the black box remains but is basically "disoriented".

I am very curious about the Peano axiomatic system minus the said axiom. How would one find practical application for this in a mathematical sense? It is a valid axiomatic system and deserves a share of study.

Furthermore, it is now my understanding that the following statements hold (more or less):

*Recursion without a reference point is basically a metronome.
*Recursion without a reference point is just unary "counting/ticking."
*Recursion can only be used to define numbers when given a seed.
*Recursion is a powerful thing (mystery) which requires an interface to be used; hence, Peano defined his axioms.
*Pure recursion does not have a reference point.
*Every time you do anything via the Peano axioms, essentially what happens is that the system starts from "0"! This is amazing!