Path: csiph.com!weretis.net!feeder9.news.weretis.net!panix!.POSTED.spitfire.i.gajendra.net!not-for-mail From: cross@spitfire.i.gajendra.net (Dan Cross) Newsgroups: comp.programming Subject: Re: Informal discussion: comp.lang.rust? Date: Mon, 4 Aug 2025 22:34:27 -0000 (UTC) Organization: PANIX Public Access Internet and UNIX, NYC Message-ID: <106rchj$etv$2@reader1.panix.com> References: <106cf06$32d5u$1@dont-email.me> <106cvpj$gac$1@reader1.panix.com> <106lf4d$15pv5$1@dont-email.me> Injection-Date: Mon, 4 Aug 2025 22:34:27 -0000 (UTC) Injection-Info: reader1.panix.com; posting-host="spitfire.i.gajendra.net:166.84.136.80"; logging-data="15295"; mail-complaints-to="abuse@panix.com" X-Newsreader: trn 4.0-test77 (Sep 1, 2010) Originator: cross@spitfire.i.gajendra.net (Dan Cross) Xref: csiph.com comp.programming:16841 In article <106lf4d$15pv5$1@dont-email.me>, David Brown wrote: >On 30/07/2025 13:30, Dan Cross wrote: >> In article <106cf06$32d5u$1@dont-email.me>, >> Richard Heathfield wrote: >> [snip] >Without taking any sides here, it is easy to make the mistake of >thinking that logical rules can apply to sets of propositions in the >same way as they apply to propositions. This leads to the famous Cheese >Sandwich Theorem: > >1. Nothing is better than complete happiness. >2. A cheese sandwich is better than nothing. >3. Therefore, a cheese sandwich is better than complete happiness. > >Time for lunch :-) Make it pastrami on rye and you may be onto something there. :-D - Dan C.