Path: csiph.com!weretis.net!feeder8.news.weretis.net!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Ben Bacarisse Newsgroups: comp.programming Subject: Re: What I like about programming . . . Date: Fri, 10 Feb 2023 11:46:44 +0000 Organization: A noiseless patient Spider Lines: 24 Message-ID: <871qmxivyz.fsf@bsb.me.uk> References: <5m86fnftwotm.osdsbmw7kyzs.dlg@40tude.net> <4e8eb7d5-f3b4-46af-bd39-29f048714f7bn@googlegroups.com> <87cz6jlvd6.fsf@bsb.me.uk> <87lel7k5k9.fsf@bsb.me.uk> <87r0uzhr2h.fsf@bsb.me.uk> MIME-Version: 1.0 Content-Type: text/plain Injection-Info: reader01.eternal-september.org; posting-host="09a75f20c9033b4ee1876f9c3bc296aa"; logging-data="1097419"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/jJbCH3VyH6SQM3/2ZWKDA2M6gX0cpr1g=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) Cancel-Lock: sha1:XhmY2iwW8gsQf0JJ2BTMRPbLZuA= sha1:5TbFlEjY5+8N9k45UjZ4Ab4+/RE= X-BSB-Auth: 1.3a284fe771dc032d77a1.20230210114644GMT.871qmxivyz.fsf@bsb.me.uk Xref: csiph.com comp.programming:16397 Richard Heathfield writes: > On 09/02/2023 2:05 pm, Ben Bacarisse wrote: >> Richard Heathfield writes: >> >>> On 09/02/2023 1:09 am, Ben Bacarisse wrote: >> >>>> What I don't know >>>> is in what way that C program refutes a mathematical theorem. One makes >>>> statement about programs, >>> >>> Yes. That statement refutes the mathematical theorem by pointing out an >>> obvious fact about all programs. >> I'm now not sure if you are still joking. > > "You make too much of a trifle", as Watson said to Holmes. Might I urge you to follow the excellent device of Flora Poste and to mark with one or more asterisks those passages which you consider not to be mere trifles and about which you consider it appropriate that something might be made? -- Ben.