Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.math > #640403

Re: Cantor Diagonal Proof

Show all headers | View raw

On 10/22/2025 5:40 AM, Tristan Wibberley wrote:
> The message body is Copyright (C) 2025 Tristan Wibberley except
> citations and quotations noted. All Rights Reserved except as noted in
> the sig.
> 
> 
> On 03/04/2025 23:18, Lawrence D'Oliveiro wrote:
>> The Cantor diagonal construction is an algorithm for computing an
>> incomputable number.
> 
> Doesn't it merely /define/ the number?
> 
> 
> I'm still unconvinced that he successfully did even that anyway.
> 
> take these descriptions:
> 
>    f_0 is the defining sequence of numbers
> 
>    g is the sequence of generated "new" numbers, generated as they
>    say cantor described (I haven't read his work directly)
> 
>    f_1 is some choice of numbers
> 
>    even(n) and odd(n) are as you'd normally expect
> 
> 
> then I can provide an f_0:
>    where f_0(n) = case n of
>              even(n) -> f_1(n/2)
>              odd(n) -> g((n-1)/2)
> 
> here, every generated "new" number is eventually included in the list.

[...]

Fwiw, Cantor Pairing is fun to play around with. A natural number can 
have a bijection with a unique pair. We can go from natural to pair and 
from pair back to its natural number. If we plot it, well it sure looks 
diagonal... :^)

Actually, I had some fun with the bijection and made music. An example:

Cantor pairing as a bass guitar to create two notes out of a 
monotonically increasing index starting at zero:

https://youtu.be/XkwgJt5bxKI

Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 13:40 +0100
  Re: Cantor Diagonal Proof Richard Heathfield <rjh@cpax.org.uk> - 2025-10-22 14:29 +0100
    Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 16:02 +0100
      Re: Cantor Diagonal Proof Julio Di Egidio <julio@diegidio.name> - 2025-10-22 17:17 +0200
      Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 17:26 +0100
    Re: Cantor Diagonal Proof WM <wolfgang.mueckenheim@tha.de> - 2025-10-23 16:51 +0200
  Re: Cantor Diagonal Proof Julio Di Egidio <julio@diegidio.name> - 2025-10-22 16:19 +0200
    Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 17:32 +0100
    Re: Cantor Diagonal Proof WM <wolfgang.mueckenheim@tha.de> - 2025-10-23 16:56 +0200
      Re: Cantor Diagonal Proof: un-_Countable_ or un-_Cartesian_? Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-10-23 12:27 -0700
  Re: Cantor Diagonal Proof "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-22 12:15 -0700
  Re: Cantor Diagonal Proof wm <wolfgang.mueckenheim@tha.de> - 2025-10-23 16:34 +0200
    Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-23 20:43 +0100
      Re: Cantor Diagonal Proof WM <wolfgang.mueckenheim@tha.de> - 2025-10-24 22:35 +0200

csiph-web