Verified:

Rockman Game profile

Member
3388

Sep 14th 2011, 16:08:41

Prove that in Peano arithmetic, 0 is the only number with the property that it is not the successor of another number.

martian Game profile

Game Moderator
Mod Boss
7841

Sep 14th 2011, 16:33:47

trying to get your homework done?:P
you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

martian Game profile

Game Moderator
Mod Boss
7841

Sep 14th 2011, 16:35:33

or you could have just said natural numbers and quoted:
"1. Zero is a number.

2. If a is a number, the successor of a is a number.

3. zero is not the successor of a number.

4. Two numbers of which the successors are equal are themselves equal.

5. (induction axiom.) If a set S of numbers contains zero and also the successor of every number in S, then every number is in S. "
you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

martian Game profile

Game Moderator
Mod Boss
7841

Sep 14th 2011, 16:39:10

besides, if your read
http://www.encyclopedia69.com/...etic/peano-arithmetic.htm (see the proof of 1 + 1 ) = 2 and using axiom 3
you can prove your statement quite readily:P

I"m not doing any more.
you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

Detmer Game profile

Member
4280

Sep 14th 2011, 16:40:00

My fiancee and I are looking at getting married in a place in St Mary's county (amongst other places in Maryland and Washington (the real one))

Rockman Game profile

Member
3388

Sep 14th 2011, 16:42:02

martian - is the natural numbers the only set which satisfies the peano axioms?

I wasn't asking whether or not 0 has the property of not being the successor of any number, but if it necessarily had to be the only number with that property. Axiom 3 merely states that 0 has that property, but does not specify that no other number can have that property.

braden Game profile

Member
11,480

Sep 14th 2011, 16:46:08

i want to hear more about detmers wedding plans, personally..

Detmer Game profile

Member
4280

Sep 14th 2011, 16:47:35

Originally posted by braden:
i want to hear more about detmers wedding plans, personally..


I think that is about it so far. Instead of wedding cake I want to have a gigantic meatloaf, but otherwise nothing has really been worked out.

Rockman Game profile

Member
3388

Sep 14th 2011, 16:55:36

Originally posted by Detmer:
My fiancee and I are looking at getting married in a place in St Mary's county (amongst other places in Maryland and Washington (the real one))


Although I went to college there, I'm not too familiar with possible places to get married there. There's really like nothing at all down there except for a military base and a college.

braden Game profile

Member
11,480

Sep 14th 2011, 16:56:07

http://www.seentvcanada.com/perfect-meatloaf-p-682.html

it might be too small for a wedding meatloaf, but it would be PERFECT!

martian Game profile

Game Moderator
Mod Boss
7841

Sep 14th 2011, 16:56:15

Rockman, yeah I know. But if you use axiom 3 and something similar to the proof listed in my second link (bottom paragraph) you can show that this is the case.

And as for it being the only set: I would say almost any countable set with either a finite lower or a finite upper bound (ie a definition of "0") containing countably infinite unique elements would qualify. for example you could take the sequence {0,1/n) and define the order as 0, 1/1, 1/2,.. where (1/(n+1)) is the successor of ((1/n)). and 1/1 is the successor of 0... I think:p
you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

Rockman Game profile

Member
3388

Sep 14th 2011, 17:00:42

Since the natural numbers are not the only set, then specifying natural numbers and quoting those axioms would have been a different question. Because its fairly obvious that in the natural numbers, 0 is the only number which is not a successor. You can also find numerous sets other than the natural numbers which satisfy the peano axioms AND have 0 as the only number that is not a successor.

But its not as obvious (and possibly not even true), that in all systems which satisfy the peano axioms, that 0 is the only number which is not a successor.

Detmer Game profile

Member
4280

Sep 14th 2011, 17:03:53

Originally posted by Rockman:
Originally posted by Detmer:
My fiancee and I are looking at getting married in a place in St Mary's county (amongst other places in Maryland and Washington (the real one))


Although I went to college there, I'm not too familiar with possible places to get married there. There's really like nothing at all down there except for a military base and a college.


Oh, I thought you lived there.




braden... that does look PERFECT! Fortunately it is too small. I do wonder how I would even bake a meatloaf that big... would definitely have to cook for a long time... definitely have to cover that so the edges don't get too burnt... probably need to have a lot of water in there to help keep things moist...

Rockman Game profile

Member
3388

Sep 14th 2011, 17:05:43

Nope, I live in Montgomery county now. I did live in Charles County for a bit after college, but never in St. Mary's County.

martian Game profile

Game Moderator
Mod Boss
7841

Sep 14th 2011, 17:23:08

Rockman: I would think that by the induction principle every other element (other than 0) would have to be a successor.
other than the case where you have the set {0, 0, 0, 0, ...)

Intuitively I would think that it's something like defining a vector space in linear algebra where 0 has to be part of the vector space and 0 is unique.

Would need to think about this more
you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

martian Game profile

Game Moderator
Mod Boss
7841

Sep 14th 2011, 17:27:01

"Set theory is a disease from which mathematics
will one day recover" (Poincare)

you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

Rockman Game profile

Member
3388

Sep 14th 2011, 17:29:06

martian - every element other than 0 is a successor is true if 0 and its successors are the entire set. But what if 0 and its successors are not the entire set?

The way you phrased the induction axiom seems to imply that, but the way I've seen the induction axiom phrased does not seem to imply that. I guess there is variance in the way the induction axiom is phrased, but it seems odd for such a large variance to exist.

additionally, 0 cannot be the successor of itself, because 0 is not the successor of any number. So {0,0,0,0...} is not valid.

Edited By: Rockman on Sep 14th 2011, 17:31:31
See Original Post

martian Game profile

Game Moderator
Mod Boss
7841

Sep 14th 2011, 17:35:11

Rockman, I guess phrasing is important.A quick google search on Peano gives a bunch of different links with multiple phrasings of the axiom. Maybe if there was something shown mathematically for that axiom it might be clearer what was intended. The original source is probably the best bet:P
and you are correct about{0,0,0,...}.


you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

Rockman Game profile

Member
3388

Sep 14th 2011, 17:39:34

Yep, it seems important that the induction axiom implies that 0 is the only number that is not a successor, or for the 3rd axiom to explicitly state that. Otherwise, I think there are some odd systems that could be properly described as systems of peano arithmetic.

So the easiest way to resolve it is just to phrase the induction axiom properly :)

Oceana Game profile

Member
1111

Sep 14th 2011, 18:48:45

Peano started at 1

NOW3P Game profile

Member
6503

Sep 14th 2011, 19:24:15

the answer is eleventy one

DeDLySMuRF Game profile

Member
879

Sep 14th 2011, 19:51:32

I licked a Peano once...


*Runs Away*
FFA Server - Paragon of Duality
Alliance Server - Moral Decay

NOW3P Game profile

Member
6503

Sep 14th 2011, 20:49:17

once?

legion Game profile

Member
398

Sep 15th 2011, 2:22:46

I'm with braden on this one.

How big of a wedding are you trying to have Detmer?
Nobody puts baby in a corner

EVO|Rasp

Member
311

Sep 15th 2011, 12:59:56

There are 88 keys on a standard piano.

Detmer Game profile

Member
4280

Sep 15th 2011, 14:04:39

Originally posted by legion:
I'm with braden on this one.

How big of a wedding are you trying to have Detmer?


Right now we have our list and it has 80 people on it. (So pretty much family and wedding party with dates). We also plan to have parties in Maryland, Wisconsin and Washington which will be open to a broader base of friends, but the wedding itself it will be 80 tops.

sigma Game profile

Member
406

Sep 15th 2011, 14:14:40

Detmer: You wouldn't cook the meatloaf cake as one huge cake. You'd need to section it off and make it with smaller sections. For cooking, make sure the cake is a little drier so that it holds together better (more breadcrumbs). After its cooked and cooled some on a draining rack, you'd need to level off the tops. Use ketchup inbetween the loaves, but make sure to leave about 1 inch of clearance room so the ketchup doesn't get on the sides. After you have the cake stacked, you'll want to trim the outside to give it a good appearance. For the "frosting" buy some instant potatoes and put on a very small layer around the "cake". After that you can proceed to frost the whole cake with the potatoes. For decoration, you can pipe the potatoes just like frosting to give it a cake look. If you need to add any colors, food coloring can be added with the potatoes and it will be fine.

king7012 Game profile

Member
175

Sep 15th 2011, 14:29:10

I love how this started as a math question and ended in meatloaf cake decoration lol. Way to steal the thread detmer lol

Detmer Game profile

Member
4280

Sep 15th 2011, 14:58:15

I am well aware the best way to do this is with layers. That is a good tip on the amount of clearance to leave for the ketchup (barbecue sauce in my case, since I hate ketchup (yes, I am aware that barbecue sauce is mostly ketchup... this is purely empirical hatred)). The mashed potato frosting is absolutely ingenious. Do you have any thoughts on reheating, since clearly meatloaf is best served warm? Baked mashed potatoes are fine, but there might be issues keeping with the time necessary to reheat the whole cake? Or do you think this has to be something done like during the ceremony? I suppose that even the cake could be made first then reheated shortly before hand and frosted last.

sigma Game profile

Member
406

Sep 15th 2011, 16:16:07

After you frost it, you can chill it overnight. Once chilled, you should be able to cut it much easier. After its cut, then it could be microwaved and served. I'm not sure where about you are having your reception, but if there is a kitchen at the facility then perhaps this is doable. If not, then as you stated: Perhaps cook it, chill it, slice it, heat it frost it.

Good luck and take pictures!

martian Game profile

Game Moderator
Mod Boss
7841

Sep 26th 2011, 16:09:34

Rockman: "Prove that in Peano arithmetic, 0 is the only number with the property that it is not the successor of another number."
Assume the opposite and assume that there are two sequences. What happens in the end is that the only way this follows the axioms is that if both sequences are equal.

However if I stretch your definitions a bit to assume elements in a set then I can do the following:
lets take a set in R2 like (0,1),(0,2),(0,3)....
where (0,1) acts like "0"

Then I can take another set. (1,0),(2,0),...
where (1,0) = acts like "0"
If I take the union of both sets then I have disproved the above. However I suspect that this is not a Peano set.

you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

Rockman Game profile

Member
3388

Sep 26th 2011, 16:19:17

Martian - that depends on the wording of the induction axiom.

If you take the union of those two sets, you must actually identify a specific element as "0". You can't say that two elements 'act like 0', you have to designate a specific element as 0 to satisfy the axiom that 0 is a number.

Once that is the case, then according to the wording of the induction axiom that you first posted, then 0, and the set of all its successors must be the entirety of all numbers. Therefore, if you choose just (0,1) as representing 0, then the set of (0,1),(0,2),(0,3).... would be the entirety of all numbers, and (1,0) would not be a number because it is not in that set.

If the axiom of induction is worded in a way that implies that every number must have 0 as its ancestor if you go back far enough, then it directly implies that 0 has to be the only number that is not a successor of another number.

martian Game profile

Game Moderator
Mod Boss
7841

Sep 26th 2011, 16:25:23

Rockman: that's very true. AFAIK most algebras and set theory require zero to be unique.
What one needs is a more mathematically precise and consistent definition of what a peano set actually is, which we appear to lack.
you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!

Rockman Game profile

Member
3388

Sep 26th 2011, 16:33:41

If the axiom of induction is not worded in a way to prohibit
(0,0), (0,1), (0,2) ... U (1,0), (1,1), (1,2) .... being a peano set, then it actually wouldn't prohibit the union of all sets of the form (x,0), (x,1), (x,2) ... where x is a real number from being a peano set, which would result in a peano set with a cardinality not equal to aleph null.

That would be an interesting implication, which I think makes it clear that 0 has to be unique, therefore the wording of the axiom of induction MUST force 0 to be unique (because the other 4 axioms do not force 0 to be unique).

martian Game profile

Game Moderator
Mod Boss
7841

Sep 26th 2011, 19:20:35

well
even if we back up one step
consider
0,1,2,3,4....
and 0,0.5,1.5,2.5,3.5...
each of those is a peano set and the union between the two is a peano set.
In fact I could conceivably union a countably infinite number of peano sets together and still have a peano set.
I think the difference is that things change when you aren't doing a union on a finite number of sets.. then you need to be careful. The mathematical theory on that kind of thing gets rather messy.
you are all special in the eyes of fluff
(|(|
( ._.) -----)-->
(_(' )(' )

RUN IT IS A KILLER BUNNY!!!