From: ben.usenet@bsb.me.uk   
      
   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.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)