From: rjh@cpax.org.uk   
      
   On 09/02/2023 8:42 am, David Brown wrote:   
   > On 09/02/2023 08:18, Richard Heathfield wrote:   
   >> On 09/02/2023 1:09 am, Ben Bacarisse wrote:   
   >>> Richard Heathfield  writes:   
   >>>   
   >   
   >>>> If executed, the specified program will halt.   
   >>>>   
   >>>> Which it will. ALL programs halt.   
   >>>   
   >>> Come on!  You know I know what that C program does.   
   >>   
   >> Yes, of course.   
   >>   
   >>> 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.   
   >>   
   >>> the other makes statements are Turing   
   >>> machines.  Presumably you don't think Turing machines all halt   
   >>> in the   
   >>> same sense that you think all programs halt?   
   >>   
   >> Of course all Turing machines halt. You don't seriously think   
   >> it is possible for a Turing machine *not* to halt, do you?   
   >>   
   >   
   > You are making up new definitions here for pretty much all of the   
   > terms.   
      
   A very straight bat, very well played.   
      
   --   
   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)