Re: Cantor Diagonal Proof

Liste des GroupesRevenir à c theory 
Sujet : Re: Cantor Diagonal Proof
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory
Date : 15. Apr 2025, 12:01:09
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <4e59e78d6e1b43e19015058f465de06e04ba135d@i2pn2.org>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 4/15/25 12:42 AM, Lawrence D'Oliveiro wrote:
Here’s my counterexample list: write out the whole numbers
(non-negative integers) from 0 in increasing order, and flip the
digits of each one so that the digit from the 10⁰ place goes to the
10¯¹ place, 10¹ to 10¯² etc:
      0.0000000000000...
     0.1000000000000...
     0.2000000000000...
     0.3000000000000...
     ...
     0.9000000000000...
     0.0100000000000...
     0.1100000000000...
     0.2100000000000...
     0.3100000000000...
     ...
     0.9100000000000...
     0.0200000000000...
     ...
 Notice an interesting property of the list:
* If you look at the first digit after the decimal point, then in
   every run of 10 consecutive list entries, you will find every
   possible value of that digit.
* If you look at the first two digits after the decimal point, then in
   every run of 100 consecutive list entries, you will find every
   possible combination of values of those two digits.
...
* If you look at the first N digits after the decimal point, then in
   every run of 10**N consecutive list entries, you will find every
   possible combination of values of those N digits.
 (Combinatorial explosion? Of course it’s a combinatorial explosion.
But there’s plenty of room for a combinatorial explosion or two, or
many, in an infinite list!)
 This is a priori not a *complete* list of all the reals (the original
point of the Cantor construction). You’d think it would make things
easier for the Cantor construction, but it doesn’t.
 Step 1 of the Cantor construction: choose a digit in the 10¯¹ place
different from that of the first item in the list. There are 9
possibilities we could pick. But all the 10 possibilities for that
first digit occur in the following 10 numbers, so our pick will
definitely match one of them.
 Step 2: choose the next digit, in the 10¯² place, different from that
of the second item in the list. There are, again, 9 possibilities we
could pick. But all the 100 combinations of possibilities for the
first two digits occur in the following 100 numbers, so our picks so
far will definitely match one of them.
 And so on: at step N, we pick a digit in the Nth decimal place, to be
different from that of the Nth number in the list. But all the 10**N
possibilities for the digits we have picked so far occur in the
following 10**N numbers, so the number we have constructed so far will
provably match one of them.
 Note this is a proof by induction: if our choices at step N match some
existing entry in the list, then so will the addition of our next
choice at step N + 1. Since our first choice already matches some
existing entry in the list, it follows that, however many digits we
choose, the result will always match some existing entry in the list.
 So even in a list which we already know does not contain every
possible real number, the Cantor construction fails to find one of the
missing ones.
 QED.
Your problem is induction doesn't prove what you want. Remember the results of an induction is a proof that the property holds for all Natural Numbers.
Your property that you are examining is that your diagonal, to its first N digits, is in the list, so your proof is that any finite initial string of your number is in the list, which it is,
Induction does NOT prove that "at infinity" the property holds, as "infinity" isn't a Natural Number.
Sometimes we can move from all finite to the full set, but that needs the prior proof that the set is just countably infinite. Since the ultimate proof of that is what you are trying to do, you can't use that, as that is the fallacy of assuming the conclusion.

Date Sujet#  Auteur
3 Apr 25 * Cantor Diagonal Proof219Lawrence D'Oliveiro
3 Apr 25 +* Re: Cantor Diagonal Proof2Richard Damon
4 Apr 25 i`- Re: Cantor Diagonal Proof1Lawrence D'Oliveiro
4 Apr 25 +* Re: Cantor Diagonal Proof6Richard Heathfield
4 Apr 25 i`* Re: Cantor Diagonal Proof5Lawrence D'Oliveiro
4 Apr 25 i `* Re: Cantor Diagonal Proof4Richard Heathfield
4 Apr 25 i  `* Re: Cantor Diagonal Proof3Lawrence D'Oliveiro
4 Apr 25 i   `* Re: Cantor Diagonal Proof2Richard Heathfield
4 Apr 25 i    `- Re: Cantor Diagonal Proof1Lawrence D'Oliveiro
4 Apr 25 +* Re: Cantor Diagonal Proof144Mike Terry
4 Apr 25 i+* Re: Cantor Diagonal Proof141Lawrence D'Oliveiro
4 Apr 25 ii`* Re: Cantor Diagonal Proof140Mike Terry
4 Apr 25 ii +* Re: Cantor Diagonal Proof131Richard Heathfield
4 Apr 25 ii i`* Re: Cantor Diagonal Proof130Lawrence D'Oliveiro
4 Apr 25 ii i `* Re: Cantor Diagonal Proof129Richard Heathfield
4 Apr 25 ii i  `* Re: Cantor Diagonal Proof128Lawrence D'Oliveiro
4 Apr 25 ii i   `* Re: Cantor Diagonal Proof127Richard Heathfield
4 Apr 25 ii i    `* Re: Cantor Diagonal Proof126Lawrence D'Oliveiro
4 Apr 25 ii i     `* Re: Cantor Diagonal Proof125Richard Heathfield
4 Apr 25 ii i      `* Re: Cantor Diagonal Proof124Lawrence D'Oliveiro
4 Apr 25 ii i       `* Re: Cantor Diagonal Proof123Richard Heathfield
4 Apr 25 ii i        `* Re: Cantor Diagonal Proof122Lawrence D'Oliveiro
4 Apr 25 ii i         `* Re: Cantor Diagonal Proof121Richard Heathfield
5 Apr 25 ii i          `* Re: Cantor Diagonal Proof120Lawrence D'Oliveiro
5 Apr 25 ii i           +* Re: Cantor Diagonal Proof25Richard Heathfield
6 Apr 25 ii i           i`* Re: Cantor Diagonal Proof24Lawrence D'Oliveiro
6 Apr 25 ii i           i `* Re: Cantor Diagonal Proof23Richard Heathfield
6 Apr 25 ii i           i  `* Re: Cantor Diagonal Proof22Lawrence D'Oliveiro
6 Apr 25 ii i           i   +* Re: Cantor Diagonal Proof3Richard Heathfield
6 Apr 25 ii i           i   i`* Re: Cantor Diagonal Proof2Lawrence D'Oliveiro
6 Apr 25 ii i           i   i `- Re: Cantor Diagonal Proof1Richard Heathfield
6 Apr 25 ii i           i   `* Re: Cantor Diagonal Proof18wij
6 Apr 25 ii i           i    +* Re: Cantor Diagonal Proof5Richard Heathfield
6 Apr 25 ii i           i    i`* Re: Cantor Diagonal Proof4wij
6 Apr 25 ii i           i    i `* Re: Cantor Diagonal Proof3Richard Heathfield
6 Apr 25 ii i           i    i  `* Re: Cantor Diagonal Proof2wij
6 Apr 25 ii i           i    i   `- Re: Cantor Diagonal Proof1Richard Heathfield
6 Apr 25 ii i           i    `* Re: Cantor Diagonal Proof12Mikko
6 Apr 25 ii i           i     `* Re: Cantor Diagonal Proof11wij
7 Apr 25 ii i           i      `* Re: Cantor Diagonal Proof10Mikko
7 Apr 25 ii i           i       `* Re: Cantor Diagonal Proof9wij
7 Apr 25 ii i           i        +* Re: Cantor Diagonal Proof3Richard Heathfield
7 Apr 25 ii i           i        i`* Re: Cantor Diagonal Proof2wij
7 Apr 25 ii i           i        i `- Re: Cantor Diagonal Proof1Richard Heathfield
8 Apr 25 ii i           i        `* Re: Cantor Diagonal Proof5Mikko
8 Apr 25 ii i           i         +* Re: Cantor Diagonal Proof3Richard Heathfield
8 Apr 25 ii i           i         i`* Re: Cantor Diagonal Proof2wij
8 Apr 25 ii i           i         i `- Re: Cantor Diagonal Proof1Richard Heathfield
8 Apr 25 ii i           i         `- Re: Cantor Diagonal Proof1wij
5 Apr 25 ii i           +* Re: Cantor Diagonal Proof61Andy Walker
6 Apr 25 ii i           i`* Re: Cantor Diagonal Proof60Lawrence D'Oliveiro
6 Apr 25 ii i           i +* Re: Cantor Diagonal Proof39Richard Heathfield
6 Apr 25 ii i           i i`* Re: Cantor Diagonal Proof38Lawrence D'Oliveiro
6 Apr 25 ii i           i i `* Re: Cantor Diagonal Proof37Richard Heathfield
7 Apr 25 ii i           i i  `* Re: Cantor Diagonal Proof36Lawrence D'Oliveiro
7 Apr 25 ii i           i i   `* Re: Cantor Diagonal Proof35Richard Heathfield
7 Apr 25 ii i           i i    +* Re: Cantor Diagonal Proof32Keith Thompson
7 Apr 25 ii i           i i    i`* Re: Cantor Diagonal Proof31Richard Heathfield
8 Apr 25 ii i           i i    i `* Re: Cantor Diagonal Proof30Keith Thompson
8 Apr 25 ii i           i i    i  +- Re: Cantor Diagonal Proof1Richard Heathfield
8 Apr 25 ii i           i i    i  `* Re: Cantor Diagonal Proof28Richard Damon
10 Apr 25 ii i           i i    i   `* Re: Cantor Diagonal Proof27Lawrence D'Oliveiro
10 Apr 25 ii i           i i    i    +- Re: Cantor Diagonal Proof1Richard Heathfield
10 Apr 25 ii i           i i    i    +* Re: Cantor Diagonal Proof19Richard Damon
11 Apr 25 ii i           i i    i    i`* Re: Cantor Diagonal Proof18Lawrence D'Oliveiro
11 Apr 25 ii i           i i    i    i `* Re: Cantor Diagonal Proof17Richard Damon
11 Apr 25 ii i           i i    i    i  `* Re: Cantor Diagonal Proof16Lawrence D'Oliveiro
11 Apr 25 ii i           i i    i    i   `* Re: Cantor Diagonal Proof15Richard Damon
11 Apr 25 ii i           i i    i    i    `* Re: Cantor Diagonal Proof14Lawrence D'Oliveiro
12 Apr 25 ii i           i i    i    i     `* Re: Cantor Diagonal Proof13Richard Damon
13 Apr 25 ii i           i i    i    i      `* Re: Cantor Diagonal Proof12Lawrence D'Oliveiro
13 Apr 25 ii i           i i    i    i       +* Re: Cantor Diagonal Proof10Keith Thompson
13 Apr 25 ii i           i i    i    i       i+- Re: Cantor Diagonal Proof1Jeff Barnett
14 Apr 25 ii i           i i    i    i       i+- Re: Cantor Diagonal Proof1Richard Damon
14 Apr 25 ii i           i i    i    i       i`* Re: Cantor Diagonal Proof7Lawrence D'Oliveiro
14 Apr 25 ii i           i i    i    i       i +- Re: Cantor Diagonal Proof1Richard Damon
14 Apr 25 ii i           i i    i    i       i +* Re: Cantor Diagonal Proof4Keith Thompson
14 Apr 25 ii i           i i    i    i       i i`* Re: Cantor Diagonal Proof3Lawrence D'Oliveiro
15 Apr 25 ii i           i i    i    i       i i +- Re: Cantor Diagonal Proof1Keith Thompson
15 Apr 25 ii i           i i    i    i       i i `- Re: Cantor Diagonal Proof1Mikko
14 Apr 25 ii i           i i    i    i       i `- Re: Cantor Diagonal Proof1Richard Heathfield
14 Apr 25 ii i           i i    i    i       `- Re: Cantor Diagonal Proof1Richard Damon
10 Apr 25 ii i           i i    i    `* Re: Cantor Diagonal Proof6Mikko
11 Apr 25 ii i           i i    i     `* Re: Cantor Diagonal Proof5Lawrence D'Oliveiro
11 Apr 25 ii i           i i    i      +- Re: Cantor Diagonal Proof1Richard Damon
11 Apr 25 ii i           i i    i      +- Re: Cantor Diagonal Proof1Richard Heathfield
11 Apr 25 ii i           i i    i      +- Re: Cantor Diagonal Proof1Mikko
14 Apr 25 ii i           i i    i      `- Re: Cantor Diagonal Proof1Mikko
10 Apr 25 ii i           i i    `* Re: Cantor Diagonal Proof2Lawrence D'Oliveiro
10 Apr 25 ii i           i i     `- Re: Cantor Diagonal Proof1Richard Heathfield
6 Apr 25 ii i           i `* Re: Cantor Diagonal Proof20Andy Walker
6 Apr 25 ii i           i  `* Re: Cantor Diagonal Proof19Lawrence D'Oliveiro
6 Apr 25 ii i           i   +- Re: Cantor Diagonal Proof1Richard Heathfield
6 Apr 25 ii i           i   `* Re: Cantor Diagonal Proof17Jeff Barnett
7 Apr 25 ii i           i    `* Re: Cantor Diagonal Proof16Lawrence D'Oliveiro
7 Apr 25 ii i           i     `* Re: Cantor Diagonal Proof15Jeff Barnett
7 Apr 25 ii i           i      `* Re: Cantor Diagonal Proof14Lawrence D'Oliveiro
7 Apr 25 ii i           i       +* Re: Cantor Diagonal Proof12Richard Damon
8 Apr 25 ii i           i       i`* Re: Cantor Diagonal Proof11Lawrence D'Oliveiro
8 Apr 25 ii i           i       i `* Re: Cantor Diagonal Proof10Richard Damon
10 Apr 25 ii i           i       i  `* Re: Cantor Diagonal Proof9Lawrence D'Oliveiro
7 Apr 25 ii i           i       `- Re: Cantor Diagonal Proof1Richard Heathfield
6 Apr 25 ii i           `* Re: Cantor Diagonal Proof33Mikko
4 Apr 25 ii `* Re: Cantor Diagonal Proof8Lawrence D'Oliveiro
4 Apr 25 i`* Re: Cantor Diagonal Proof2wij
4 Apr 25 +* Re: Cantor Diagonal Proof25Mikko
4 Apr 25 +* Re: Cantor Diagonal Proof20Julio Di Egidio
5 Apr 25 +* Re: Cantor Diagonal Proof --- PLO6olcott
13 Apr 25 +* Re: Cantor Diagonal Proof14Lawrence D'Oliveiro
15 Apr 25 `- Re: Cantor Diagonal Proof1Lawrence D'Oliveiro

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal