Re: Cantor Diagonal Proof

On 06/04/2025 18:33, Andy Walker wrote:

On 06/04/2025 07:41, Lawrence D'Oliveiro wrote:

On Sat, 5 Apr 2025 23:10:35 +0100, Andy Walker wrote:

You can slice and dice as much as you like, but the Cantor
process applied to any list of reals or to any computable list of
computable reals generates a real or computable real not in the list. So
any such list is incomplete.

Apply it to the list I posted elsewhere, then.

      What did your last servant die of?
      More specifically, if you are trolling then I strongly suggest
that you follow Julio's [rather intemperate] advice.  If on the other
hand you are a crank, then you have just joined Peter and Wij on the
Naughty Step.  If, on the third hand, you have confused yourself [and
perhaps Richard], then I have done my best to enlighten you, and you
need to learn more about the differences between maths and CS, and more
specifically about the historical context of Cantor's and Turing's work.
Whichever, I shall not be responding further in this thread unless you
show signs of learning and of being a student rather than a belligerent.

At this stage I give them two chances, then it's two eyes for an eye.
But I apologise for the ugliness: I wish my English was a bit better.
Anyway, a good thing of proper news readers is that now I do have a
kill-file: which does not solve the problem of the flooding of all
channels by essentially spammers and anti-spammers, but sure makes my
life waaay more tolerable, and these episodes hopefully not frequent.
Cheers,
Julio