Deutsch   English   Français   Italiano  
<v8kbsl$38qsg$1@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Jeff Barnett <jbb@notatt.com>
Newsgroups: comp.theory
Subject: Re: Hypothetical possibilities --- Complete Proof
Date: Fri, 2 Aug 2024 22:32:12 -0600
Organization: A noiseless patient Spider
Lines: 80
Message-ID: <v8kbsl$38qsg$1@dont-email.me>
References: <v7gl30$3j9fi$1@dont-email.me> <v8306v$3c7$1@news.muc.de>
 <v83161$3dftr$11@dont-email.me> <v84udt$3rp4t$1@dont-email.me>
 <v8bc6j$159av$1@dont-email.me>
 <ea673a5b4ed43fbddf938c69bd013b0cf2ca325d@i2pn2.org>
 <v8c6kb$1de3l$1@dont-email.me>
 <9f3112e056ad6eebf35f940c34b802b46addcad4@i2pn2.org>
 <v8cde0$1ecgo$1@dont-email.me> <v8ctgt$1gbu7$4@dont-email.me>
 <v8dkc3$1kii7$3@dont-email.me> <v8e55v$1nrnh$1@dont-email.me>
 <v8e9vu$1oqd7$1@dont-email.me> <v8fftq$22ege$3@dont-email.me>
 <v8fuj5$24rl1$10@dont-email.me> <v8g1j7$24u77$6@dont-email.me>
 <v8g2jl$26d7d$1@dont-email.me> <v8ibf5$2p7ho$1@dont-email.me>
 <s3CdnbweXt8ohDD7nZ2dnZfqn_ednZ2d@brightview.co.uk>
 <a287d1fc2c1fc90d4381e46eae05287b96e801b9@i2pn2.org>
 <-Vednah5VvbtwTD7nZ2dnZfqnPSdnZ2d@brightview.co.uk>
 <87frrmczso.fsf@bsb.me.uk>
 <AZSdncJX-q4WGDD7nZ2dnZfqn_ednZ2d@brightview.co.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: base64
Injection-Date: Sat, 03 Aug 2024 06:32:21 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="41b191ae36d1d12b271b788b13805e68";
	logging-data="3435408"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19jb94u2bM7OOxTv9E8bzA2nMTF7ymLr/4="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:TvVUtR+LxFqXK0qivMZUC2ZRbb8=
In-Reply-To: <AZSdncJX-q4WGDD7nZ2dnZfqn_ednZ2d@brightview.co.uk>
Content-Language: en-US
X-Antivirus-Status: Clean
X-Antivirus: AVG (VPS 240802-4, 8/2/2024), Outbound message
Bytes: 7790

T24gOC8yLzIwMjQgNzoxOSBQTSwgTWlrZSBUZXJyeSB3cm90ZToNCj4gT24gMDIvMDgvMjAy
NCAyMzo0MiwgQmVuIEJhY2FyaXNzZSB3cm90ZToNCj4+IE1pa2UgVGVycnkgPG5ld3MuZGVh
ZC5wZXJzb24uc3RvbmVzQGRhcmplZWxpbmcucGx1cy5jb20+IHdyaXRlczoNCj4+DQo+Pj4g
T2YgY291cnNlIHRoZXNlIHRyYWNlcyBkb24ndCBzdXBwb3J0IFBPJ3Mgb3ZlcmFsbCBjYXNl
IGhlIGlzIGNsYWltaW5nLA0KPj4+IGJlY2F1c2UgdGhlICh2YXJpb3VzKSBsb2dzIHNob3cg
dGhhdCBEREQgaGFsdHMsIGFuZCB0aGF0IEhISChEREQpIA0KPj4+IHJlcG9ydHMNCj4+PiBE
REQgYXMgbm9uLWhhbHRpbmcsIGV4YWN0bHkgYXMgTGluei9TaXBzZXIgYXJndWUuIEVyLCB0
aGF0J3MgYWJvdXQgaXQhDQo+Pg0KPj4gUE8gY2VydGFpbmx5IHVzZWQgdG8gY2xhaW0gdGhh
dCBmYWxzZSAobm9uLWhhbHRpbmcpIGlzIHRoZSBjb3JyZWN0DQo+PiByZXN1bHQgImV2ZW4g
dGhvdWdoIERERCBoYWx0cyIgKEkndmUgZWRpdGVkIHRoZSBxdW90ZSB0byByZWZsZWN0IGEg
bmFtZQ0KPj4gY2hhbmdlKS7CoCBVbmxlc3MgaGUncyBjaGFuZ2VkIHRoaXMgcG9zaXRpb24s
IHRoZSB0cmFjZXMgZG8gc3VwcG9ydCBoaXMNCj4+IGNsYWltIHRoYXQgd2hhdCBldmVyeW9u
ZSBlbHNlIGNhbGxzIHRoZSB3cm9uZyBhbnN3ZXIgaXMgYWN0dWFsbHkgdGhlDQo+PiByaWdo
dCBvbmUuDQo+Pg0KPiANCj4gU28sIGluIHlvdXIgb3Bpbmlvbiwgd2hhdCBkbyB5b3UgYmVs
aWV2ZSBpcyBQTydzIGNyaXRlcmlvbiBmb3IgImNvcnJlY3QgDQo+IHJlc3VsdCIsIGV4YWN0
bHk/wqAgSXQgd291bGQgYmUgaGFuZHkgaWYgeW91IGNhbiBnaXZlIGEgcHJvcGVyIA0KPiBt
YXRoZW1hdGljYWwgZGVmaW5pdGlvbiBzbyBub2JvZHkgd2lsbCBoYXZlIGFueSBkb3VidCB3
aGF0IGl0IGlzLiBIZXksIEkgDQo+IGtub3cgeW91J3JlIG1vcmUgdGhhbiBjYXBhYmxlIG9m
IGdldHRpbmcgYSBkZWZpbml0aW9uIHJpZ2h0LCBzbyBsZXQncyANCj4gaGF2ZSB0aGF0IGRl
ZmluaXRpb24hDQo+IA0KPiBEZWZpbml0aW9uOsKgIEEgVE0gUCBnaXZlbiBpbnB1dCBJIGlz
IHNhaWQgdG8gImhhbHQiIGlmZiA/Pz8/Pw0KPiAgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
IG9yIHdoYXRldmVyLi4uDQoNCkkgdGhpbmsgdGhpcyBpcyBhIHJhdGhlciBob3BlbGVzcyB2
ZW50dXJlIHdpdGhvdXQgZm9ybWFsbHkgZGVmaW5pbmcgdGhlIA0KcmVwcmVzZW50YXRpb24g
b2YgYSBUTS4gRm9yIGV4YW1wbGU6IEluIHNvbWUgZm9ybXVsYXRpb25zLCB0aGVyZSBhcmUg
DQpzcGVjaWZpYyBzdGF0ZXMgZGVmaW5lZCBhcyAiaGFsdGluZyBzdGF0ZXMiIGFuZCB0aGUg
bWFjaGluZSBvbmx5IGhhbHRzIA0KaWYgZWl0aGVyIHRoZSBzdGFydCBzdGF0ZSBpcyBhIGhh
bHQgc3RhdGUgb3IgdGhlcmUgaXMgYSB0cmFuc2l0aW9uIHRvIGEgDQpoYWx0IHN0YXRlIHdp
dGhpbiB0aGUgZXhlY3V0aW9uIHRyYWNlOyBJbiBhbm90aGVyIGZvcm11bGF0aW9uLCBtYWNo
aW5lcyANCmhhbHQgaWYgdGhlcmUgaXMgYSB0cmFuc2l0aW9uIHRvIGFuIHVuZGVmaW5lZCBz
dGF0ZS4gTm90ZSBhIGZldyB0aGluZ3M6IA0KMSkgdGhlIGlmJ3MgYWJvdmUgYXJlIHJlYWxs
eSBpZmYncywgMikgdGhlc2UgYW5kIG1hbnkgb3RoZXIgZGVmaW5pdGlvbnMgDQphbGwgaGF2
ZSBlcXVpdmFsZW50IGNvbXB1dGluZyBwcm93ZXNzLCAzKSBTb21lIGZvcm11bGF0aW9ucyBk
ZWZpbmUgDQpyZXN1bHRzIGJ5IHdoYXQgaXMgbGVmdCBvbiB0aGUgdGFwZSAob3Igb3RoZXIg
c3RvcmFnZSBkZXZpY2UpIHdoaWxlIA0Kb3RoZXJzIGFkZCB0aGUgYWN0dWFsIGhhbHRpbmcg
c3RhdGUgdG8gZGV0ZXJtaW5lIHRoZSByZXN1bHRzLg0KDQpJbiBhIGNvbnZlcnNhdGlvbiBh
Ym91dCBzdWNoIHRvcGljcywgZ2VudGxlbWVuIG9mIGdvb2QgZmFpdGggYW5kIA0KcmVhc29u
YWJsZSBrbm93bGVkZ2UgY2FuIHNpbXBsZSBpZ25vcmUgdGhlc2UgZGlmZmVyZW5jZXMgYW5k
IG5vdCBnbyBvZmYgDQp0aGUgcmFpbHMuIFRoaXMgaXMgbm90IHRydWUgd2hlbiB0aGUgcGll
ZCBwaXBlciBpcyBpZ25vcmFudCwgDQpkaXNpbGx1c2lvbmFsLCBhbmQgbWFzdHVyYmF0aW5n
IHdoaWxlIHNpbXVsdGFuZW91c2x5IHNwaW5uaW5nIGEgaHVsYSANCmhvb3AgYXJvdW5kIGhp
cyBuZWNrLg0KDQo+IEl0J3MgZWFzeSBlbm91Z2ggdG8gc2F5ICJQTyBoYXMgaGlzIG93biBj
cml0ZXJpb24gZm9yIGhhbHRpbmcsIHdoaWNoIGlzIA0KPiBtYXRlcmlhbGx5IGRpZmZlcmVu
dCBmcm9tIHRoZSBIUCBjb25kaXRpb24sIGFuZCBzbyB3ZSBhbGwgYWdyZWUgUE8gaXMgDQo+
IGNvcnJlY3QgYnkgaGlzIG93biBjcml0ZXJpb24sIGJ1dCB0aGF0IGRvZXMgbm90IHNheSBh
bnl0aGluZyBhYm91dCB0aGUgDQo+IEhQIHRoZW9yZW0gYmVjYXVzZSBpdCBpcyBkaWZmZXJl
bnQgZnJvbSB0aGUgSFAgZGVmaW5pdGlvbiIuDQo+IA0KPiBCdXQgaXMgdGhhdCAvcmVhbGx5
LyBzb21ldGhpbmcgUE8gYWdyZWVzIHdpdGg/wqAgSSBkb24ndCB0aGluayBzbyANCj4gc29t
ZWhvdywgYmVjYXVzZSBJJ20gcHJldHR5IHN1cmUgUE8gYmVsaWV2ZXMgaGlzIGNsYWltICJy
ZWZ1dGVzIiB0aGUgSFAgDQo+IHJlc3VsdC7CoCBIZSB3b3VsZG4ndCBzYXkgdGhhdCBpZiBo
ZSBmcmVlbHkgYWNrbm93bGVkZWQgdGhhdCBoZSBoYWQgDQo+IGludmVudGVkIGEgY29tcGxl
dGVseSBkaWZmZXJlbnQgZGVmaW5pdGlvbiBmb3IgaGFsdGluZy7CoCBBbHNvLCBmb3Igd2hh
dCANCj4geW91J3JlIHNheWluZyB0byBiZSB0aGUgcmlnaHQgd2F5IG9mIGxvb2tpbmcgYXQg
dGhpbmdzLCBQTyB3b3VsZCBoYXZlIHRvIA0KPiBhZG1pdCB0aGF0IHRoZSBIUCBwcm9vZiB3
aXRoIGl0cyBzdGFuZGFyZCBkZWZpbml0aW9uIG9mIGhhbHRpbmcgaXMgDQo+IHZhbGlkLCBh
bmQgdGhhdCB0aGVyZSBpcyBub3RoaW5nIHdyb25nIHdpdGggdGhlIExpbnogcHJvb2YsIG90
aGVyIHRoYW4gDQo+IGl0IG5vdCBhcHBseWluZyB0byBoaXMgb3duIGZhdm91cml0ZSBQTy1o
YWx0aW5nIGRlZmluaXRpb24uDQo+IA0KPiBJLmUuIEkgdGhpbmsgeW91ciB3YXkgb2YgbG9v
a2luZyBhdCBpdCBpcyBhIGJpdCAidG9vIGVhc3kiIC0gYnV0IEknZCBiZSANCj4gaGFwcHkg
dG8gYmUgY29udmluY2VkISBQZXJzb25hbGx5IEkgc3VzcGVjdCBQTyBoYXMgbm8gc3VjaCAi
bmV3IGFuZCANCj4gZGlmZmVyZW50IGRlZmluaXRpb24iIGFuZCB0aGF0IGFueXRoaW5nIGFs
b25nIHRob3NlIGxpbmVzIFBPIGlzIHRoaW5raW5nIA0KPiBvZiB3aWxsIGJlIHF1aXRlIGlu
Y29oZXJlbnQuwqAgTm8gZG91YnQgeW91IGNvdWxkIG1ha2Ugc29tZSBkZWZpbml0aW9uIA0K
PiB0aGF0IGlzIGF0IGxlYXN0IGNvaGVyZW50IGJ1dCB3ZSBoYXZlIHRvIGFzayBvdXJzZWx2
ZXMgLSBpcyB0aGF0IA0KPiBkZWZpbml0aW9uIC9yZWFsbHkvIHdoYXQgUE8gaXMgdGhpbmtp
bmc/Pz8NCj4gDQo+IE5vd2FkYXlzLCBJIHRoaW5rIFBPJ3MgcG9zaXRpb24gaXMgbW9yZSB0
aGF0Og0KPiAtwqAgeWVzLCBEREQoKSBoYWx0cyB3aGVuIHJ1biBkaXJlY3RseQ0KPiAtwqAg
YnV0IERERCgpIHdoZW4gaXQgcnVucyBpbnNpZGUgSEhIIHNpbXVsYXRvciAvcmVhbGx5LyBk
b2VzIG5vdCBoYWx0LCANCj4gaW4gc29tZSBraW5kIG9mDQo+ICDCoMKgIHNlbnNlIHRoYXQg
aXQgL3JlYWxseS8gaGFzIGluZmluaXRlIHJlY3Vyc2lvbiB3aGljaCB3b3VsZCBuZXZlciBl
bmQNCj4gIMKgwqAgaG93ZXZlciBmYXIgaXQgd2FzIHNpbXVsYXRlZCAoYmVjYXVzZSBpdCAi
ZXhoaWJpdHMiIGluZmluaXRlIA0KPiByZWN1cnNpb24gaW4gc29tZSB3YXkpDQo+IC3CoCBh
bmQgeWVzLCBEREQoKSAvZG9lcy8gaGFsdCB3aGVuIHNpbXVsYXRlZCB3aXRoaW4gVVRNKERE
RCksDQo+IC3CoCBidXQgdGhlIGJlaGF2aW91ciBvZiBEREQgZGVwZW5kcyBvbiB3aG8gaXMg
c2ltdWxhdGluZyBpdC7CoCBJdCANCj4gdGVybWluYXRlcyB3aGVuDQo+ICDCoMKgIFVUTSBz
aW11bGF0ZXMgaXQsIGJ1dCBkb2Vzbid0IHRlcm1pbmF0ZSB3aGVuIEhISCBzaW11bGF0ZXMg
aXQsIGR1ZSANCj4gdG8gc29tZQ0KPiAgwqDCoCBraW5kIG9mIHBhdGhlbG9naWNhbCByZWxh
dGlvbnNoaXAgc3BlY2lmaWNhbGx5IHdpdGggSEhILsKgIFRoaXMgDQo+IGRpZmZlcmVuY2Ug
aW4NCj4gIMKgwqAgc2ltdWxhdGlvbiBpcyAvbW9yZS8gdGhhbiBvbmUgc2ltdWxhdG9yIGFi
b3J0aW5nIGVhcmxpZXIgdGhhbiB0aGUgDQo+IG90aGVyLi4uLS0gDQpKZWZmIEJhcm5ldHQN
Cg0K