Re: Cantor Diagonal Proof

Liste des GroupesRevenir à c theory 
Sujet : Re: Cantor Diagonal Proof
De : anw (at) *nospam* cuboid.co.uk (Andy Walker)
Groupes : comp.theory
Date : 08. Apr 2025, 20:10:58
Autres entêtes
Organisation : Not very much
Message-ID : <vt3sc2$1qj4p$2@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 08/04/2025 18:00, Mr Flibble wrote:
It is correct to say that infinitesimals don't exist:
It's correct in standard analysis, because it's an axiom.  It's
not correct in number systems that have infinitesimals [and therefore
do not have the Archimedean axiom].

there is always a
positive real number smaller than any candidate positive infinitesimal --
this is basic logic.
Google for "non-standard analysis" and for "surreal" [other
search engines are available].  Be warned that, at least the last time
I looked, Wiki is, as so often with maths topics, remarkably opaque for
non-mathematicians seeking enlightenment;  there are more user-friendly
introductions out there.  No, I'm not going to recommend one, it's a
matter of personal taste.
--
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

Date Sujet#  Auteur
8 Apr 25 * Re: Cantor Diagonal Proof45Andy Walker
8 Apr 25 +* Re: Cantor Diagonal Proof33Richard Heathfield
8 Apr 25 i`* Re: Cantor Diagonal Proof32Andy Walker
8 Apr 25 i +* Re: Cantor Diagonal Proof2Richard Heathfield
8 Apr 25 i i`- Re: Cantor Diagonal Proof1Andy Walker
8 Apr 25 i +* Re: Cantor Diagonal Proof2Fred. Zwarts
9 Apr 25 i i`- Re: Cantor Diagonal Proof1Richard Damon
9 Apr 25 i `* Re: Cantor Diagonal Proof27wij
9 Apr 25 i  `* Re: Cantor Diagonal Proof26Richard Heathfield
9 Apr 25 i   `* Re: Cantor Diagonal Proof25wij
9 Apr 25 i    `* Re: Cantor Diagonal Proof24Richard Heathfield
9 Apr 25 i     `* Re: Cantor Diagonal Proof23wij
9 Apr 25 i      `* Re: Cantor Diagonal Proof22Richard Heathfield
9 Apr 25 i       `* Re: Cantor Diagonal Proof21wij
9 Apr 25 i        `* Re: Cantor Diagonal Proof20Richard Heathfield
9 Apr 25 i         `* Re: Cantor Diagonal Proof19wij
9 Apr 25 i          `* Re: Cantor Diagonal Proof18Richard Heathfield
10 Apr 25 i           `* Re: Cantor Diagonal Proof17wij
11 Apr 25 i            `* Re: Cantor Diagonal Proof16Keith Thompson
11 Apr 25 i             `* Re: Cantor Diagonal Proof15wij
11 Apr 25 i              +* Re: Cantor Diagonal Proof8Alan Mackenzie
11 Apr 25 i              i`* Re: Cantor Diagonal Proof7wij
11 Apr 25 i              i `* Re: Cantor Diagonal Proof6Richard Damon
11 Apr 25 i              i  `* Re: Cantor Diagonal Proof5wij
11 Apr 25 i              i   +- Re: Cantor Diagonal Proof1Richard Heathfield
11 Apr 25 i              i   `* Re: Cantor Diagonal Proof3Richard Damon
11 Apr 25 i              i    `* Re: Cantor Diagonal Proof2wij
11 Apr 25 i              i     `- Re: Cantor Diagonal Proof1Richard Damon
11 Apr 25 i              `* Re: Cantor Diagonal Proof6Keith Thompson
11 Apr 25 i               `* Re: Cantor Diagonal Proof5wij
11 Apr 25 i                +* Re: Cantor Diagonal Proof2wij
11 Apr 25 i                i`- Re: Cantor Diagonal Proof1Richard Heathfield
11 Apr 25 i                +- Re: Cantor Diagonal Proof1Keith Thompson
12 Apr 25 i                `- Re: Cantor Diagonal Proof1Richard Heathfield
8 Apr 25 +* Re: Cantor Diagonal Proof10Andy Walker
8 Apr 25 i+* Re: Cantor Diagonal Proof6Keith Thompson
9 Apr 25 ii+* Re: Cantor Diagonal Proof4Alan Mackenzie
9 Apr 25 iii`* Re: Cantor Diagonal Proof3Alan Mackenzie
9 Apr 25 iii `* Re: Cantor Diagonal Proof2Alan Mackenzie
9 Apr 25 iii  `- Re: Cantor Diagonal Proof1Alan Mackenzie
11 Apr 25 ii`- Re: Does Mathematics Exist? (was Re: Cantor Diagonal Proof)1Lawrence D'Oliveiro
8 Apr 25 i`* Re: Cantor Diagonal Proof3Andy Walker
9 Apr 25 i `* Re: Cantor Diagonal Proof2Richard Damon
14 Apr 25 i  `- Re: Cantor Diagonal Proof1Lawrence D'Oliveiro
11 Apr 25 `- Re: Does Mathematics Exist? (was Re: Cantor Diagonal Proof)1Lawrence D'Oliveiro

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal