# Is "1" an odd number?  Is "2" even?

**URL:** <https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023>\
**Category:** Factual Questions\
**Created:** [October 9, 2007, 2:16am UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023 "2007-10-09T02:16:24Z")\
**Posts on this page:** 20\
**Page:** 2

<div class="post-metadata">

**Author:** ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)\
**Post date:** [October 9, 2007, 4:56pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/21 "2007-10-09T16:56:59Z")

</div>

It might help **maggenpye** if every time you saw the word “infinity” you replaced it by what it really means, “without end.”

1 divided by “without end.” That’s obviously meaningless. So is 2 divided by “without end.” Or 2 multiplied by “without end.”

The only way to use the concept of infinity is to devise a special math with special rules. It has to be kept out of everyday arithmetic.

---

<div class="post-metadata">

**Author:** ![Scuba\_Ben](https://avatars.discourse-cdn.com/v4/letter/s/278dde/32.png) [@Scuba\_Ben](https://boards.straightdope.com/u/Scuba_Ben)\
**Post date:** [October 9, 2007, 5:01pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/22 "2007-10-09T17:01:40Z")

</div>

This works when infinity = aleph-null, but goes to pot when infinity = aleph-one.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [October 9, 2007, 5:14pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/23 "2007-10-09T17:14:12Z")

</div>

[QUOTE=Scuba\_Ben]  
This works when infinity = aleph-null, but goes to pot when infinity = aleph-one.  
[/QUOTE]

I would never describe any aleph as infinity, and I don’t think I’ve seen any mathematicians do so. Probably safest to keep those two ideas separate.

---

<div class="post-metadata">

**Author:** ![Jamaika\_a\_jamaikaiake](https://avatars.discourse-cdn.com/v4/letter/j/7993a0/32.png) [@Jamaika\_a\_jamaikaiake](https://boards.straightdope.com/u/Jamaika_a_jamaikaiake)\
**Post date:** [October 9, 2007, 6:21pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/24 "2007-10-09T18:21:21Z")

</div>

ETA: wasn’t helpful

---

<div class="post-metadata">

**Author:** ![scotandrsn](https://avatars.discourse-cdn.com/v4/letter/s/a4c791/32.png) [@scotandrsn](https://boards.straightdope.com/u/scotandrsn)\
**Post date:** [October 9, 2007, 6:28pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/25 "2007-10-09T18:28:27Z")

</div>

In my mathematical proofs course, the formal definition of an even number was that an integer n is even if n = 2m for some integer m, and n was odd if n = 2m+1 for some integer m.

if n = 2 and m = 1, n = 2m, so 2 is even.  
if n = 0 and m = 0, n = 2m, so 0 is even  
if n = 1 and m = 0, n = 2m+1, so 1 is odd.

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [October 9, 2007, 7:36pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/26 "2007-10-09T19:36:24Z")

</div>

And if nobody’s beaten me to it by the time I post, I’ll point out that the only context in which 0 is not considered even is on the roulette wheel. If you bet on evens and the ball lands on 0 (or 00, on American wheels), you lose.

---

<div class="post-metadata">

**Author:** ![missbunny](https://avatars.discourse-cdn.com/v4/letter/m/76d3ee/32.png) [@missbunny](https://boards.straightdope.com/u/missbunny)\
**Post date:** [October 9, 2007, 7:47pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/27 "2007-10-09T19:47:54Z")

</div>

[QUOTE=Rick]  
😕  
1 divided by 2 = 0 with a remainder of 1  
[/QUOTE]

I have a feeling I am going to feel very stupid asking this, because there must be some math concept I am not getting and nobody else has questioned it yet:

Isn’t 1 divided by 2 “0.5”?

---

<div class="post-metadata">

**Author:** ![Skammer](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/skammer/32/143_2.png) [@Skammer](https://boards.straightdope.com/u/Skammer)\
**Post date:** [October 9, 2007, 8:10pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/28 "2007-10-09T20:10:55Z")

</div>

[QUOTE=missbunny]  
I have a feeling I am going to feel very stupid asking this, because there must be some math concept I am not getting and nobody else has questioned it yet:

Isn’t 1 divided by 2 “0.5”?  
[/QUOTE]  
Not if you are only dealing with integers, which we are. In which case, 2 can go into 1 zero times, leaving you a remainder of 1.

---

<div class="post-metadata">

**Author:** ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)\
**Post date:** [October 9, 2007, 8:18pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/29 "2007-10-09T20:18:15Z")

</div>

[QUOTE=missbunny]  
I have a feeling I am going to feel very stupid asking this, because there must be some math concept I am not getting and nobody else has questioned it yet:

Isn’t 1 divided by 2 “0.5”?  
[/QUOTE]

Yes, but you can also think of 3 divded by 2 as either 1.5 or 1 with a remainder of one. They are equivalent: just expressed differently to stress different aspects of their relationship.

---

<div class="post-metadata">

**Author:** ![Hari\_Seldon](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/hari_seldon/32/5173_2.png) [@Hari\_Seldon](https://boards.straightdope.com/u/Hari_Seldon)\
**Post date:** [October 9, 2007, 8:20pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/30 "2007-10-09T20:20:05Z")

</div>

I remember reading recently someone saying that if 1 is odd, then 1+1 ought to be even odder. However, ask any number theorist (which I am not) and he will tell you that all primes are odd, 2 is the oddest of all. No question that 2 has many properties unique among primes. But of course, it is even, as is 0, and 1,-1,3,-3, etc. are odd. And it would appear that 2 is likely to be the only even number not the sum of 2 positive primes (Goldbach conjecture).

---

<div class="post-metadata">

**Author:** ![Pleonast](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/pleonast/32/1183_2.png) [@Pleonast](https://boards.straightdope.com/u/Pleonast)\
**Post date:** [October 9, 2007, 8:45pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/31 "2007-10-09T20:45:53Z")

</div>

[QUOTE=Lemur866]  
Well think of it this way. 6/2=3, that means the inverse of that is 3\*2=6.

**So if 1/infinity=0, then 0\*infinity=1.** But if 2/infinity=0, then 0\*infinity=2. Therefore, 1=2.  
[/QUOTE]  
The statement I bolded is correct only if infinity acts like a regular number.

But one _can_ define self-consistent multiplication and division rules for infinity. [(I actually wrote this out earlier this year.)](http://boards.straightdope.com/sdmb/showpost.php?p=8163005&postcount=31)

a \* 0 = 0  
a \* inf = inf  
0 \* inf = undefined  
0 \* 0 = 0  
inf \* inf = inf  
a / 0 = inf  
a / inf = 0  
0 / a = 0  
inf / a = inf  
0 / inf = 0  
inf / 0 = inf  
0 / 0 = undefined  
inf / inf = undefined

where a is a finite number (not 0 or infinity). You’ll see that zero and infinity have very similar behaviors. Using these rules will produce the common-sense results you’d expect.

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [October 9, 2007, 10:07pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/32 "2007-10-09T22:07:40Z")

</div>

> [@](#):
>
> And it would appear that 2 is likely to be the only even number not the sum of 2 positive primes (Goldbach conjecture).

Correction: the only positive even number not the sum of 2 primes. You put the “positive” in the wrong place.

And it is possible to define prime negative numbers, or even prime complex numbers, but you need a more sophisticated definition of “prime” than the one you learned in elementary school.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [October 9, 2007, 10:15pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/33 "2007-10-09T22:15:20Z")

</div>

[QUOTE=Chronos]  
And it is possible to define prime negative numbers, or even prime complex numbers, but you need a more sophisticated definition of “prime” than the one you learned in elementary school.  
[/QUOTE]

Primes have to be non-units. If you restrict yourself to the Gaussian integers (complex numbers where both the real and imaginary parts are integers), then you can define complex primes, but the minute you allow Gaussian rationals, you don’t have any primes because every non-zero element is a unit.

---

<div class="post-metadata">

**Author:** ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)\
**Post date:** [October 9, 2007, 10:22pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/34 "2007-10-09T22:22:52Z")

</div>

[QUOTE=Pleonast]  
The statement I bolded is correct only if infinity acts like a regular number.

But one _can_ define self-consistent multiplication and division rules for infinity. [(I actually wrote this out earlier this year.)](http://boards.straightdope.com/sdmb/showpost.php?p=8163005&postcount=31)

a \* 0 = 0  
a \* inf = inf  
0 \* inf = undefined  
0 \* 0 = 0  
inf \* inf = inf  
a / 0 = inf  
a / inf = 0  
0 / a = 0  
inf / a = inf  
0 / inf = 0  
inf / 0 = inf  
0 / 0 = undefined  
inf / inf = undefined

where a is a finite number (not 0 or infinity). You’ll see that zero and infinity have very similar behaviors. Using these rules will produce the common-sense results you’d expect.  
[/QUOTE]

What happens when you multiply a / inf by inf / a?

---

<div class="post-metadata">

**Author:** ![Baffle](https://avatars.discourse-cdn.com/v4/letter/b/dec6dc/32.png) [@Baffle](https://boards.straightdope.com/u/Baffle)\
**Post date:** [October 9, 2007, 11:58pm UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/35 "2007-10-09T23:58:13Z")

</div>

It becomes 0 \* inf and is undefined, according to the table.

---

<div class="post-metadata">

**Author:** ![AWB](https://avatars.discourse-cdn.com/v4/letter/a/bb73d2/32.png) [@AWB](https://boards.straightdope.com/u/AWB)\
**Post date:** [October 10, 2007, 12:06am UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/36 "2007-10-10T00:06:08Z")

</div>

[QUOTE=Exapno Mapcase]  
I don’t remember ever being taught that. 1 was odd; 2 was even. 0 is more problematical, as it has many unique properties, but not having it be even would create problems of its own.

The one exception I can think of is the elementary definition of an odd number - a number that leaves a remainder of 1 when divided by 2 - which obviously would leave 1 out.  
[/QUOTE]

I **A** AM:

How so? 1 ÷ 2 = 0 Remainder 1.

---

<div class="post-metadata">

**Author:** ![Hari\_Seldon](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/hari_seldon/32/5173_2.png) [@Hari\_Seldon](https://boards.straightdope.com/u/Hari_Seldon)\
**Post date:** [October 10, 2007, 1:06am UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/37 "2007-10-10T01:06:51Z")

</div>

[QUOTE=Chronos]  
Correction: the only positive even number not the sum of 2 primes. You put the “positive” in the wrong place.

And it is possible to define prime negative numbers, or even prime complex numbers, but you need a more sophisticated definition of “prime” than the one you learned in elementary school.  
[/QUOTE]

I put it where I meant it. Ok, the same is probably true of -2. But what I meant is that 2 = 7 + (-5) is not a counterexample to my statement. And yes, -5 is a prime. The usual definition of prime is "A number p is prime if all its divisors are units and associates. A unit is a number with a multiplicative inverse. An associate of a number is that number times an associate. so -5, like 5, is divisible only by 1, -1, 5, and -5 and the first two are units and the second two associates. When you are among Gaussian integers, all numbers of the form a + bi, with a and b ordinary integers, then many ordinary primes (in fact 2 and all primes that leave a remainder of 1 when divided by 4) factor and the rest don’t. So 2 divisible by 1 + i and its associates. The units are 1, -1, i, and -i. 3 does not factor but 5 = (2+i)(2-i) and so on.

---

<div class="post-metadata">

**Author:** ![flex727](https://avatars.discourse-cdn.com/v4/letter/f/258eb7/32.png) [@flex727](https://boards.straightdope.com/u/flex727)\
**Post date:** [October 10, 2007, 1:32am UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/38 "2007-10-10T01:32:05Z")

</div>

So, have we firmly established that 1 divided by 2 equals 0 with a remainder of 1? 😛

---

<div class="post-metadata">

**Author:** ![Exapno\_Mapcase](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/exapno_mapcase/32/1051_2.png) [@Exapno\_Mapcase](https://boards.straightdope.com/u/Exapno_Mapcase)\
**Post date:** [October 10, 2007, 1:37am UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/39 "2007-10-10T01:37:29Z")

</div>

[QUOTE=flex727]  
So, have we firmly established that 1 divided by 2 equals 0 with a remainder of 1? 😛  
[/QUOTE]

I think we need at least two or three more people jumping in to nail it firmly to the floor.

---

<div class="post-metadata">

**Author:** ![Indistinguishable](https://avatars.discourse-cdn.com/v4/letter/i/90ced4/32.png) [@Indistinguishable](https://boards.straightdope.com/u/Indistinguishable)\
**Post date:** [October 10, 2007, 1:45am UTC](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023/40 "2007-10-10T01:45:36Z")

</div>

[QUOTE=Hari Seldon]  
I put it where I meant it. Ok, the same is probably true of -2. But what I meant is that 2 = 7 + (-5) is not a counterexample to my statement. And yes, -5 is a prime. The usual definition of prime is "A number p is prime if all its divisors are units and associates. A unit is a number with a multiplicative inverse. An associate of a number is that number times an associate. so -5, like 5, is divisible only by 1, -1, 5, and -5 and the first two are units and the second two associates. When you are among Gaussian integers, all numbers of the form a + bi, with a and b ordinary integers, then many ordinary primes (in fact 2 and all primes that leave a remainder of 1 when divided by 4) factor and the rest don’t. So 2 divisible by 1 + i and its associates. The units are 1, -1, i, and -i. 3 does not factor but 5 = (2+i)(2-i) and so on.  
[/QUOTE]

Sure, but I think you could’ve rested content with the fact that the usual definition of the primes is restricted to the positive integers, absent a specific change of context, such as to discussing prime elements of rings more generally.

That is, in most contexts, to say “Negative five” in response to “Pick a prime number” would elicit the response “No, that’s not a prime number”.

[Previous page](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023.md?page=1)

[Next page](https://boards.straightdope.com/t/is-1-an-odd-number-is-2-even/422023.md?page=3)
