## Starting fresh with a peace offering

**Moderators:** mvs_staff, forum_admin, Marilyn

5 posts
• Page

**1**of**1**### Starting fresh with a peace offering

What a great idea. Start fresh. I will, if you will.

Definition: An infinite set X is said to be countable, or countably-infinite, if there is a function x(n) that defines a 1:1 correspondence between the infinite set of natural counting numbers N and the members of X.

Assertion: There is at least one infinite set which is not countable.

Proof (note that one minor typo, using d(n,n) where I meant d(n), has been corrected since I first published this. I'm a horrible typist, so I reserve the right to do it again):

QED.

+++++

Now, there and be three ways to discount such a claimed proof.

But note that method 1 only proves there is a flaw in one of the proofs. In particular, a proof that deals with only finite strings is irrelevant.

And method 2 needs to be meticulous in showing that the method is the same. There are no lists, no real numbers, and no fractional numbers in this proof. If you use them, your proof is different. The function b(*,*) works on an infinite domain, so it is not an "array," finite portions are irrelevant, and it and cannot be considered to have an aspect ratio.

If you think a point has been misunderstood in the past, try to make it clearer. Just don't add twelve other tangential points that circle around the main point. In fact, number your points, and I will tell you what I think of each. Just be advised that it may be"irrelevant"because of another point I made.

Definition: An infinite set X is said to be countable, or countably-infinite, if there is a function x(n) that defines a 1:1 correspondence between the infinite set of natural counting numbers N and the members of X.

Assertion: There is at least one infinite set which is not countable.

Proof (note that one minor typo, using d(n,n) where I meant d(n), has been corrected since I first published this. I'm a horrible typist, so I reserve the right to do it again):

- Let T be the set of all infinite binary strings. (Note that an infinite string can be considered to be an infinite set of characters, with duplicates allowed.)
- If there is a string t in T that does not have countably-infinite bits, the assertion is already demonstrated to be true. So we only need to prove the assertion under the assumption that every string t in T has countably-infinite bits.
- For any infinite subset S of T that is countable:
- By the definition of countability, there is a function s(n1) that defines a 1:1 correspondence between the set of natural counting numbers N and the members of S.
- Also by the definition of countability, for any string s(n1) there is a function f_n1(n2) that defines a 1:1 correspondence between the set of natural counting numbers N and the bits of s(n1).
- So there is a function b(n1,n2) where b(n1,n2)=f_n1(n2).
- There is an infinite string d whose nth bit is d(n)=~b(n,n).
- The function d(n) defines a 1:1 correspondence between the set of natural counting numbers N and the bits of d, so d is countably infinite and must be in T.
- For every n in N, d(n) is different than b(n,n), so s(n) is different than d.
- d is not in S.

- Since there a string missing from any countably-infinite subset S, and that string is in T, T is not countable.

QED.

+++++

Now, there and be three ways to discount such a claimed proof.

- You can try to prove a contradictory assertion by a different method.
- You can try to prove a different assertion, known to be incorrect, by the same method.
- You can find a logical flaw in the proof.

But note that method 1 only proves there is a flaw in one of the proofs. In particular, a proof that deals with only finite strings is irrelevant.

And method 2 needs to be meticulous in showing that the method is the same. There are no lists, no real numbers, and no fractional numbers in this proof. If you use them, your proof is different. The function b(*,*) works on an infinite domain, so it is not an "array," finite portions are irrelevant, and it and cannot be considered to have an aspect ratio.

If you think a point has been misunderstood in the past, try to make it clearer. Just don't add twelve other tangential points that circle around the main point. In fact, number your points, and I will tell you what I think of each. Just be advised that it may be"irrelevant"because of another point I made.

- JeffJo
- Intellectual
**Posts:**2607**Joined:**Tue Mar 10, 2009 11:01 am

### Re: Starting fresh with a peace offering

I agree with this proof, it's really just Cantor's with

a different veneer. I'm still trying to see the crux

of his objection to that or this. I should note that

Cantor uses digits (decimal or binary) to the right

of a "decimal" point so as to bring in the reals; an

"infinite string of characters from a finite alphabet"

is a more modern formulation. The fact that digits

are small numbers lets it lead to more interesting

math than just the bare fact of different infinite

cardinalities.

a different veneer. I'm still trying to see the crux

of his objection to that or this. I should note that

Cantor uses digits (decimal or binary) to the right

of a "decimal" point so as to bring in the reals; an

"infinite string of characters from a finite alphabet"

is a more modern formulation. The fact that digits

are small numbers lets it lead to more interesting

math than just the bare fact of different infinite

cardinalities.

- davar55
- Intellectual
**Posts:**728**Joined:**Tue Jun 13, 2006 4:24 pm**Location:**New York City

### Re: Starting fresh with a peace offering

davar55 wrote:I agree with this proof, it's really just Cantor's with a different veneer.

Ssshhh! Robert isn't supposed to notice that it quite literally is Cantor's proof. It was not about real numbers at all, it was about "a set M of elements of the form E=(x1,x2,...,xn,...), where each xn is either m or w." The theorem itself is "If E1,E2,..., En,... is any simply infinite sequence of elements of the set M, then there is always an element E0 of M that corresponds to no En." With a simple change in terminology, this is exactly the assertion I made, and the proof must be similar (although I created mine, and haven't read Cantor's which is in German; it has to be similar).

He doesn't want to believe you can work with the concept of "infinity," so he must find a flaw in the reasoning that created the basis for infinite arithmetic.I'm still trying to see the crux of his objection to that or this.

But he thinks that the way teachers explain what diagonalization accomplishes to adolescents is the definition of the algorithm itself. Those are the lists he keeps talking about.

I've pointed it out many times - he refuses to notice.I should note that Cantor uses digits (decimal or binary) to the right of a "decimal" point so as to bring in the reals

- JeffJo
- Intellectual
**Posts:**2607**Joined:**Tue Mar 10, 2009 11:01 am

### Re: Starting fresh with a peace offering

The real numbers R have other properties beyond those

of the rationals Q other than just higher cardinality.

A sequence of rationals might approach a limit not in Q;

a sequence of reals approaching a limit has that limit in R.

The reals are continuous; the rationals leave gaps.

Q is a subset of R, and the closure of Q is R.

The set of subsets of Q has the same cardinality as R.

The set of subsets of R has a greater cardinality than that of R (or of Q).

IS that a peace offering or what?

of the rationals Q other than just higher cardinality.

A sequence of rationals might approach a limit not in Q;

a sequence of reals approaching a limit has that limit in R.

The reals are continuous; the rationals leave gaps.

Q is a subset of R, and the closure of Q is R.

The set of subsets of Q has the same cardinality as R.

The set of subsets of R has a greater cardinality than that of R (or of Q).

IS that a peace offering or what?

- davar55
- Intellectual
**Posts:**728**Joined:**Tue Jun 13, 2006 4:24 pm**Location:**New York City

### Re: Starting fresh with a peace offering

Love the idea of offering peace.

- davar55
- Intellectual
**Posts:**728**Joined:**Tue Jun 13, 2006 4:24 pm**Location:**New York City

5 posts
• Page

**1**of**1**### Who is online

Users browsing this forum: No registered users and 2 guests