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