From: ben.usenet@bsb.me.uk   
      
   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.  The theorem is about a   
   particular property not shared by all Turing machines   
      
   >> 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?   
      
   Of course.  It seems hard to believe you are joking now, so maybe you   
   have some unconventional view on infinite and finite mathematical   
   sequences.  Maybe you have your own definition of a Turing machine...   
      
   Can I ask what you mean when you say "a Turing machine"?   
      
   >>>    
   >> Oh, OK.   
   >   
   > You sound disappointed. I don't remember what I snipped and I'm not going to   
   > check, but my intent was not to disappoint but to be briefer.   
      
   I thought that part captured the key point.  But it seems the   
   disagreement is about something else altogether -- maybe what an   
   infinite sequence is, or even what a TM is.  I don't think what you cut   
   is significant any more.   
      
      
   >>  I prefer to learn what people know and think and believe   
   >> about things.  I'll try to reply in a more entertaining way in future!   
   >   
   > That's your decision, not mine. (But I don't think it's written down   
   > anywhere that information has to be dull.)   
      
   Right, both is good, but you appeared to be /only/ joking -- making a   
   point you knew was not technically relevant but was amusing (nothing   
   wrong with that though it can be hard to tell the difference in some   
   corners of Usenet).  I had no idea you were also conveying some   
   information.  To be honest, I'm still not 100% sure if you are serious,   
   half-serious, conveying some genuinely held position or just having fun.   
      
   --   
   Ben.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)