Re: Cantor Diagonal Proof

Liste des GroupesRevenir à theory 
Sujet : Re: Cantor Diagonal Proof
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 07. Apr 2025, 09:40:58
Autres entêtes
Organisation : -
Message-ID : <vt032q$3b5dv$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Unison/2.2
On 2025-04-07 07:36:52 +0000, Lawrence D'Oliveiro said:

On Sun, 6 Apr 2025 13:42:44 +0300, Mikko wrote:
 
On 2025-04-05 07:26:38 +0000, Lawrence D'Oliveiro said:
 
On Sat, 5 Apr 2025 10:10:44 +0300, Mikko wrote:
 
The proof is finite and complete.
 It requires showing that there is no complete match among an infinity
of digits.
 Cantor's proof and every proof with Cantor's diagonal method shows that.
 Except for that example list I gave where I proved by induction that it
does not.
Even there, proving that a computable list of all computable numbers does
not exist.
--
Mikko

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 Apr22:23 ii i           i i    i    i      `* Re: Cantor Diagonal Proof12Lawrence D'Oliveiro
13 Apr23:00 ii i           i i    i    i       +* Re: Cantor Diagonal Proof10Keith Thompson
13 Apr23:52 ii i           i i    i    i       i+- Re: Cantor Diagonal Proof1Jeff Barnett
14 Apr00:39 ii i           i i    i    i       i+- Re: Cantor Diagonal Proof1Richard Damon
14 Apr01:03 ii i           i i    i    i       i`* Re: Cantor Diagonal Proof7Lawrence D'Oliveiro
14 Apr01:11 ii i           i i    i    i       i +- Re: Cantor Diagonal Proof1Richard Damon
14 Apr01:15 ii i           i i    i    i       i +* Re: Cantor Diagonal Proof4Keith Thompson
14 Apr23:42 ii i           i i    i    i       i i`* Re: Cantor Diagonal Proof3Lawrence D'Oliveiro
15 Apr01:49 ii i           i i    i    i       i i +- Re: Cantor Diagonal Proof1Keith Thompson
15 Apr09:34 ii i           i i    i    i       i i `- Re: Cantor Diagonal Proof1Mikko
14 Apr07:29 ii i           i i    i    i       i `- Re: Cantor Diagonal Proof1Richard Heathfield
14 Apr00:34 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 Apr09:53 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 Apr22:30 +* Re: Cantor Diagonal Proof14Lawrence D'Oliveiro
15 Apr00:35 `- Re: Cantor Diagonal Proof1Lawrence D'Oliveiro

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal