Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Jeff Barnett <jbb@notatt.com>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Sun, 13 Apr 2025 16:52:35 -0600
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <vthf7i$3sd31$1@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <vsr1ae$1pr17$2@dont-email.me>
 <vst4nm$8daf$2@dont-email.me> <vst8ci$aeqh$3@dont-email.me>
 <vsutjt$21mp2$2@dont-email.me> <vsuvp1$227l5$1@dont-email.me>
 <vsvv3h$36pju$2@dont-email.me> <vt01u5$38f07$1@dont-email.me>
 <875xjfd5rs.fsf@nosuchdomain.example.com> <vt1jpa$n43m$4@dont-email.me>
 <87tt6zblzl.fsf@nosuchdomain.example.com>
 <0920ac6e196c1cebeff36d8b9431ee12a7b3d527@i2pn2.org>
 <vt74k1$1pl6i$5@dont-email.me>
 <74db303c1d07ba0fdf70f1b20f5f7d6e04667665@i2pn2.org>
 <vt9nr3$5t7s$5@dont-email.me>
 <4f2f706fdbd8bb237b4bfbc750f65482db6e96c7@i2pn2.org>
 <vtag8u$vqm0$3@dont-email.me>
 <c7320364d5ad63cd30018fa0082e8dcc60ad2534@i2pn2.org>
 <vtc4ao$2mlfb$4@dont-email.me>
 <84c84545ad9509384f5378553217346b12512a97@i2pn2.org>
 <vtha1c$3oh15$2@dont-email.me> <87h62rg1rx.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64
Injection-Date: Mon, 14 Apr 2025 00:52:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8f6c69d776caf36f39e3c6cd47689001";
	logging-data="4076641"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18BkRlGW79YySfMSwYKeGmckeSrG2CFmo4="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:JNGmWKM0+iQah7p0+nHQRYJM0Uo=
Content-Language: en-US
In-Reply-To: <87h62rg1rx.fsf@nosuchdomain.example.com>
Bytes: 3461

T24gNC8xMy8yMDI1IDQ6MDAgUE0sIEtlaXRoIFRob21wc29uIHdyb3RlOg0KPiBMYXdyZW5j
ZSBEJ09saXZlaXJvIDxsZG9AbnouaW52YWxpZD4gd3JpdGVzOg0KPj4gT24gRnJpLCAxMSBB
cHIgMjAyNSAyMTo0MTo0OCAtMDQwMCwgUmljaGFyZCBEYW1vbiB3cm90ZToNCj4+PiBZZXMs
IGJ1dCBzaW5jZSB5b3UgbmVlZCB0aGUgYWxnb3JpdGhtcyB0byBjb21wdXRlIEFMTCB0aGUg
bnVtYmVycyBpbg0KPj4+IHlvdXIgY29kZSwgeW91IGNhbid0IHB1dCB0aGVtIGFsbCBpbi4N
Cj4+DQo+PiBCdXQgdGhlIENhbnRvciBjb25zdHJ1Y3Rpb24gcmVsaWVzIG9uIGNvbnN0cnVj
dGluZyBwcmVjaXNlbHkgc3VjaCBhIGxpc3QuDQo+PiBJZiB5b3UgY2Fu4oCZdCBwdXQgdG9n
ZXRoZXIgc3VjaCBhIGxpc3QsIHRoZW4geW91IGNhbuKAmXQgcGVyZm9ybSB0aGUgQ2FudG9y
DQo+PiBjb25zdHJ1Y3Rpb24uDQo+IA0KPiBUaGUgQ2FudG9yIGNvbnN0cnVjdGlvbiAqYXNz
dW1lcyogdGhlIGV4aXN0ZW5jZSBvZiBzdWNoIGEgbGlzdCwNCj4gZGVtb25zdHJhdGVzIHRo
YXQgdGhhdCBhc3N1bXB0aW9uIGxlYWRzIHRvIGEgY29udHJhZGljdGlvbiwgYW5kDQo+IGNv
bmNsdWRlcyB0aGF0IG5vIHN1Y2ggbGlzdCBjYW4gZXhpc3QuDQoNCkxlYXZlIExEJ08gd2Vy
ZSBoZSdzIGF0LiBJZiBoZSBuZWVkcyBhIGxpc3QgdG8gYmUgIm1hZGUiLCB0aGVuIGhlIGlz
IA0KaW5jYXBhYmxlIG9mIG1hdGhlbWF0aWNhbCByZWFzb25pbmcgYWJvdXQgaW5maW5pdHku
IEl0J3MgYW4gDQppbnRlbGxlY3R1YWwsIG5vdCBhIGNoYXJhY3RlciBkZWZlY3QuIEhlIGlz
IGFuZCBkb2Vzbid0IHdhbnQgdG8gZW5qb3kgDQp0aGUgbWF0aGVtYXRpY2FsIGZhbnRhc3kg
bGFuZCBhbmQgdGhhdCBpcyBoaXMgcmlnaHQgYW5kLCBhcyB3ZSBoYXZlIHNlZW4gDQp3aXRo
IG90aGVycywgdGhhdCBsYWNrIGlzIGluY3VyYWJsZS4NCg0KVGhlIGFsdGVybmF0aXZlIGlz
IHRoYXQgaGUgaXMgYSB0cm9sbDsgYW5kIHR1cm5pbmcgaW50byBxdWl0ZSBhIGdvb2QgDQpv
bmUuIEluIGVpdGhlciBldmVudCwgYXMgZG96ZW5zIG9mIG90aGVycyBoYXZlIGRlbW9uc3Ry
YXRlZCwgaXRzIHVzZWxlc3MgDQp0byB0cnkgdG8gY3VyZSBiYWQgYmVoYXZpb3Igb3IgaWdu
b3JhbmNlIHVubGVzcyB0aGUgcGF0aWVudCBpcyBlYWdlci4NCi0tIA0KSmVmZiBCYXJuZXR0
DQoNCg==