From: rjh@cpax.org.uk   
      
   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.   
      
   --   
   Richard Heathfield   
   Email: rjh at cpax dot org dot uk   
   "Usenet is a strange place" - dmr 29 July 1999   
   Sig line 4 vacant - apply within   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)