Re: What I like about programming . . .

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.programming
Subject	Re: What I like about programming . . .
Date	2023-02-09 14:05 +0000
Organization	A noiseless patient Spider
Message-ID	<87r0uzhr2h.fsf@bsb.me.uk> (permalink)
References	(3 earlier) <ts0gci$4dtt$1@dont-email.me> <87cz6jlvd6.fsf@bsb.me.uk> <ts15r2$bfus$1@dont-email.me> <87lel7k5k9.fsf@bsb.me.uk> <ts26o6$jn1b$1@dont-email.me>

Show all headers | View raw

Richard Heathfield <rjh@cpax.org.uk> 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"?

>>> <snip>
>> 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.

<cut>
>>  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.

Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: What I like about programming  . . . JJ <jj4public@outlook.com> - 2023-02-08 04:58 +0700
  Re: What I like about programming . . . David Brown <david.brown@hesbynett.no> - 2023-02-08 08:59 +0100
  Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-08 09:34 +0000
  Re: What I like about programming . . . Paul N <gw7rib@aol.com> - 2023-02-08 07:03 -0800
    Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-08 15:50 +0000
      Re: What I like about programming . . . Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-08 21:07 +0000
        Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-08 21:56 +0000
          Re: What I like about programming . . . Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-09 01:09 +0000
            Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-09 07:18 +0000
              Re: What I like about programming . . . David Brown <david.brown@hesbynett.no> - 2023-02-09 09:42 +0100
                Re: What I like about programming . . . "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> - 2023-02-09 11:17 +0100
                Re: What I like about programming . . . David Brown <david.brown@hesbynett.no> - 2023-02-09 14:15 +0100
                Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-09 11:41 +0000
                Re: What I like about programming . . . David Brown <david.brown@hesbynett.no> - 2023-02-09 14:20 +0100
                Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-09 13:38 +0000
              Re: What I like about programming . . . Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-09 14:05 +0000
                Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-10 07:04 +0000
                Re: What I like about programming . . . Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-10 11:46 +0000
                Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-10 12:49 +0000
                Re: What I like about programming . . . Y A <air000000000000@ya.ee> - 2023-02-10 06:37 -0800
                Re: What I like about programming . . . Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-10 23:16 +0000
                Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-11 07:20 +0000
                Re: What I like about programming . . . Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-02-11 21:12 +0000
                Re: What I like about programming . . . Richard Heathfield <rjh@cpax.org.uk> - 2023-02-11 23:05 +0000

csiph-web