Re: Replacement of Cardinality

Liste des GroupesRevenir à s math 
Sujet : Re: Replacement of Cardinality
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logic sci.math
Date : 07. Aug 2024, 18:47:14
Autres entêtes
Organisation : Nemoweb
Message-ID : <iqelfxYKWhBbwcm10DcO5hr3scI@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
Le 07/08/2024 à 19:07, Jim Burns a écrit :
On 8/7/2024 8:38 AM, WM wrote:

We agree that
saying "INVNUF(3.5)" doesn't prove
INVNUF(3.5) exists
 It is equally true that
saying "INVNUF(3)" doesn't prove
INVNUF(3) exists
Correct.
 But we have
proof INVNUF(3) does not exist.
We have proof that INVNUF(3) exists.
∀n ∈ ℕ: 1/n - 1/(n+1) > 0 .
Why do you not consider this argument?
Regards, WM

Date Sujet#  Auteur
27 Jul 24 * Re: Replacement of Cardinality876Jim Burns
28 Jul 24 +* Re: Replacement of Cardinality866WM
28 Jul 24 i`* Re: Replacement of Cardinality865Jim Burns
29 Jul 24 i +* Re: Replacement of Cardinality33Ross Finlayson
29 Jul 24 i i`* Re: Replacement of Cardinality32Ross Finlayson
29 Jul 24 i i `* Re: Replacement of Cardinality31Ross Finlayson
29 Jul 24 i i  `* Re: Replacement of Cardinality30Jim Burns
29 Jul 24 i i   `* Re: Replacement of Cardinality29Ross Finlayson
29 Jul 24 i i    +- Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)1Ross Finlayson
29 Jul 24 i i    `* Re: Replacement of Cardinality27Jim Burns
30 Jul 24 i i     `* Re: Replacement of Cardinality (ubiquitous ordinals)26Ross Finlayson
30 Jul 24 i i      +- Re: Replacement of Cardinality (ubiquitous ordinals)1Ross Finlayson
30 Jul 24 i i      `* Re: Replacement of Cardinality (ubiquitous ordinals)24Jim Burns
30 Jul 24 i i       `* Re: Replacement of Cardinality (ubiquitous ordinals)23Ross Finlayson
30 Jul 24 i i        +- Re: Replacement of Cardinality (ubiquitous ordinals)1Ross Finlayson
31 Jul 24 i i        `* Re: Replacement of Cardinality (ubiquitous ordinals)21Jim Burns
1 Aug 24 i i         `* Re: Replacement of Cardinality (ubiquitous ordinals)20Ross Finlayson
1 Aug 24 i i          `* Re: Replacement of Cardinality (ubiquitous ordinals)19Jim Burns
1 Aug 24 i i           `* Re: Replacement of Cardinality (ubiquitous ordinals)18Ross Finlayson
2 Aug 24 i i            `* Re: Replacement of Cardinality (ubiquitous ordinals)17Jim Burns
2 Aug 24 i i             `* Re: Replacement of Cardinality (ubiquitous ordinals)16Ross Finlayson
2 Aug 24 i i              +- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
2 Aug 24 i i              +* Re: Replacement of Cardinality (ubiquitous ordinals)13FromTheRafters
2 Aug 24 i i              i`* Re: Replacement of Cardinality (ubiquitous ordinals)12Ross Finlayson
3 Aug 24 i i              i `* Re: Replacement of Cardinality (ubiquitous ordinals)11Jim Burns
4 Aug 24 i i              i  `* Re: Replacement of Cardinality (ubiquitous ordinals)10Ross Finlayson
4 Aug 24 i i              i   `* Re: Replacement of Cardinality (ubiquitous ordinals)9Jim Burns
4 Aug 24 i i              i    `* Re: Replacement of Cardinality (ubiquitous ordinals)8Ross Finlayson
4 Aug 24 i i              i     `* Re: Replacement of Cardinality (ubiquitous ordinals)7Jim Burns
4 Aug 24 i i              i      `* Re: Replacement of Cardinality (ubiquitous ordinals)6Ross Finlayson
4 Aug 24 i i              i       `* Re: Replacement of Cardinality (ubiquitous ordinals)5Jim Burns
4 Aug 24 i i              i        `* Re: Replacement of Cardinality (ubiquitous ordinals)4Ross Finlayson
4 Aug 24 i i              i         `* Re: Replacement of Cardinality (ubiquitous ordinals)3Jim Burns
4 Aug 24 i i              i          `* Re: Replacement of Cardinality (ubiquitous ordinals)2Ross Finlayson
4 Aug 24 i i              i           `- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
2 Aug 24 i i              `- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
29 Jul 24 i +* Re: Replacement of Cardinality830WM
29 Jul 24 i i`* Re: Replacement of Cardinality829Jim Burns
30 Jul 24 i i `* Re: Replacement of Cardinality828WM
30 Jul 24 i i  `* Re: Replacement of Cardinality827Jim Burns
31 Jul 24 i i   +* Re: Replacement of Cardinality13Moebius
31 Jul 24 i i   i+* Re: Replacement of Cardinality --- infinitesimal number system11olcott
31 Jul 24 i i   ii+* Re: Replacement of Cardinality --- infinitesimal number system6Moebius
31 Jul 24 i i   iii`* Re: Replacement of Cardinality --- infinitesimal number system5olcott
31 Jul 24 i i   iii +- Re: Replacement of Cardinality --- infinitesimal number system1Chris M. Thomasson
31 Jul 24 i i   iii `* Re: Replacement of Cardinality --- infinitesimal number system3Moebius
31 Jul 24 i i   iii  `* Re: Replacement of Cardinality --- infinitesimal number system2olcott
31 Jul 24 i i   iii   `- Re: Replacement of Cardinality --- infinitesimal number system1Moebius
31 Jul 24 i i   ii+* Re: Replacement of Cardinality --- infinitesimal number system3FromTheRafters
31 Jul 24 i i   iii+- Re: Replacement of Cardinality --- infinitesimal number system1olcott
31 Jul 24 i i   iii`- Re: Replacement of Cardinality --- infinitesimal number system1Ross Finlayson
31 Jul 24 i i   ii`- Re: Replacement of Cardinality --- infinitesimal number system1Jim Burns
31 Jul 24 i i   i`- Re: Replacement of Cardinality1WM
31 Jul 24 i i   `* Re: Replacement of Cardinality813WM
31 Jul 24 i i    `* Re: Replacement of Cardinality812Jim Burns
1 Aug 24 i i     `* Re: Replacement of Cardinality811WM
1 Aug 24 i i      `* Re: Replacement of Cardinality810Jim Burns
1 Aug 24 i i       +- Re: Replacement of Cardinality1Moebius
2 Aug 24 i i       `* Re: Replacement of Cardinality808WM
2 Aug 24 i i        `* Re: Replacement of Cardinality807Jim Burns
2 Aug 24 i i         +* Re: Replacement of Cardinality23Moebius
3 Aug 24 i i         i`* Re: Replacement of Cardinality22WM
3 Aug 24 i i         i +* Re: Replacement of Cardinality4joes
4 Aug 24 i i         i i`* Re: Replacement of Cardinality3WM
4 Aug 24 i i         i i `* Re: Replacement of Cardinality2Jim Burns
4 Aug 24 i i         i i  `- Re: Replacement of Cardinality1Moebius
3 Aug 24 i i         i `* Re: Replacement of Cardinality17Chris M. Thomasson
3 Aug 24 i i         i  +* Re: Replacement of Cardinality14FromTheRafters
4 Aug 24 i i         i  i`* Re: Replacement of Cardinality (real-valued)13Ross Finlayson
4 Aug 24 i i         i  i `* Re: Replacement of Cardinality (real-valued)12FromTheRafters
4 Aug 24 i i         i  i  `* Re: Replacement of Cardinality (real-valued)11Ross Finlayson
4 Aug 24 i i         i  i   `* Re: Replacement of Cardinality (real-valued)10Ross Finlayson
4 Aug 24 i i         i  i    `* Re: Replacement of Cardinality (real-valued)9Ross Finlayson
4 Aug 24 i i         i  i     +* Re: Replacement of Cardinality (real-valued)3Ross Finlayson
4 Aug 24 i i         i  i     i+- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
4 Aug 24 i i         i  i     i`- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
7 Aug 24 i i         i  i     `* Re: Replacement of Cardinality (real-valued)5Jim Burns
8 Aug 24 i i         i  i      `* Re: Replacement of Cardinality (real-valued)4Ross Finlayson
8 Aug 24 i i         i  i       `* Re: Replacement of Cardinality (real-valued)3Jim Burns
8 Aug 24 i i         i  i        `* Re: Replacement of Cardinality (real-valued)2Ross Finlayson
13 Aug 24 i i         i  i         `- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
4 Aug 24 i i         i  `* Re: Replacement of Cardinality2Moebius
4 Aug 24 i i         i   `- Re: Replacement of Cardinality1WM
3 Aug 24 i i         `* Re: Replacement of Cardinality783WM
3 Aug 24 i i          `* Re: Replacement of Cardinality782Jim Burns
4 Aug 24 i i           +* Re: Replacement of Cardinality43Moebius
4 Aug 24 i i           i`* Re: Replacement of Cardinality42WM
4 Aug 24 i i           i +* Re: Replacement of Cardinality4Jim Burns
4 Aug 24 i i           i i+* Re: Replacement of Cardinality2Moebius
4 Aug 24 i i           i ii`- Re: Replacement of Cardinality1Jim Burns
4 Aug 24 i i           i i`- Re: Replacement of Cardinality1WM
5 Aug 24 i i           i `* Re: Replacement of Cardinality37Chris M. Thomasson
5 Aug 24 i i           i  `* Re: Replacement of Cardinality36Moebius
5 Aug 24 i i           i   +* Re: Replacement of Cardinality (quantifier disambiguation)5Ross Finlayson
5 Aug 24 i i           i   i`* Re: Replacement of Cardinality (quantifier disambiguation)4Ross Finlayson
5 Aug 24 i i           i   i `* Re: Replacement of Cardinality (quantifier disambiguation)3Jim Burns
5 Aug 24 i i           i   i  `* Re: Replacement of Cardinality (quantifier disambiguation)2Ross Finlayson
13 Aug 24 i i           i   i   `- Re: Replacement of Cardinality (quantifier disambiguation)1Ross Finlayson
5 Aug 24 i i           i   +* Re: Replacement of Cardinality4Chris M. Thomasson
5 Aug 24 i i           i   i`* Re: Replacement of Cardinality3Moebius
5 Aug 24 i i           i   i `* Re: Replacement of Cardinality2Moebius
5 Aug 24 i i           i   `* Re: Replacement of Cardinality26WM
4 Aug 24 i i           `* Re: Replacement of Cardinality738WM
29 Jul 24 i `- Re: Replacement of Cardinality1Moebius
29 Jul 24 `* Re: Replacement of Cardinality9Moebius

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal