Re: Cantor Diagonal Proof

On 08/04/2025 16:17, Richard Heathfield wrote:

It will, however, take me some extraordinarily convincing
mathematics before I'll be ready to accept that 1/3 is irrational.

I don't think that's quite what Wij is claiming.  He thinks,
rather, that 0.333... is different from 1/3.  No matter how far you
pursue that sequence, you have a number that is slightly less than
1/3.  In real analysis, the limit is 1/3 exactly.  In Wij-analysis,
limits don't exist [as I understand it], because he doesn't accept
that there are no infinitesimals.  It's like those who dispute that
0.999... == 1 [exactly], and when challenged to produce a number
between 0.999... and 1, produce 0.999...5.  They have a point, as
the Archimedean axiom is not one of the things that gets mentioned
much at school or in many undergrad courses, and it seems like an
arbitrary and unnecessary addition to the rules.  But we have no good
and widely-known notation for what can follow a "...", so the Wijs of
this world get mocked.  He doesn't help himself by refusing to learn
about the existing non-standard systems.
--
Andy Walker, Nottingham.
    Andy's music pages: www.cuboid.me.uk/andy/Music
    Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Chwatal