Sujet : Re: Replacement of Cardinality
De : james.g.burns (at) *nospam* att.net (Jim Burns)
Groupes : sci.logic sci.mathDate : 07. Aug 2024, 19:29:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <f920592b-897c-48b9-a9af-80f25bc60e4b@att.net>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 8/7/2024 1:47 PM, WM wrote:
Le 07/08/2024 à 19:07, Jim Burns a écrit :
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?
∀n ∈ ℕ: ⅟n - ⅟(n+1) >
⅟(n+1) - ⅟(n+2) >
⅟(n+2) - ⅟(n+3) >
⅟(n+3) - ⅟(n+4) > 0
⅟n ≠ INVNUF(3)
The only part of your argument which you've shared is
∀n ∈ ℕ: 1/n - 1/(n+1) > 0
It seems likely that you're using
an unreliable quantifier shift
(which doesn't become reliable by staying implicit),
but
you (WM) find silence with regard to
the rest of your argument
more advantageous, apparently.
Your silence suggest that
you also find your argument unpersuasive.
Perhaps there is hope for you.
Date | Sujet | # | | Auteur |
26 Jul 24 | Replacement of Cardinality | 709 | | WM |
26 Jul 24 |  Re: Replacement of Cardinality | 2 | | joes |
27 Jul 24 |   Re: Replacement of Cardinality | 1 | | WM |
27 Jul 24 |  Re: Replacement of Cardinality | 66 | | Richard Damon |
27 Jul 24 |   Re: Replacement of Cardinality | 65 | | WM |
27 Jul 24 |    Re: Replacement of Cardinality | 64 | | Richard Damon |
27 Jul 24 |     Re: Replacement of Cardinality | 1 | | WM |
27 Jul 24 |     Re: Replacement of Cardinality | 2 | | joes |
28 Jul 24 |      Re: Replacement of Cardinality | 1 | | WM |
27 Jul 24 |     Re: Replacement of Cardinality | 60 | | Richard Damon |
28 Jul 24 |      Re: Replacement of Cardinality | 59 | | WM |
28 Jul 24 |       Re: Replacement of Cardinality | 58 | | Richard Damon |
29 Jul 24 |        Re: Replacement of Cardinality | 57 | | WM |
29 Jul 24 |         Re: Replacement of Cardinality | 1 | | Python |
30 Jul 24 |         Re: Replacement of Cardinality | 55 | | Richard Damon |
30 Jul 24 |          Re: Replacement of Cardinality | 54 | | WM |
31 Jul 24 |           Re: Replacement of Cardinality | 53 | | Richard Damon |
31 Jul 24 |            Re: Replacement of Cardinality | 52 | | WM |
31 Jul 24 |             Re: Replacement of Cardinality | 11 | | joes |
1 Aug 24 |              Re: Replacement of Cardinality | 10 | | WM |
1 Aug 24 |               Re: Replacement of Cardinality | 5 | | Jim Burns |
1 Aug 24 |                Re: Replacement of Cardinality | 1 | | Moebius |
2 Aug 24 |                Re: Replacement of Cardinality | 3 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 2 | | Jim Burns |
2 Aug 24 |                  Re: Replacement of Cardinality | 1 | | Moebius |
2 Aug 24 |               Re: Replacement of Cardinality | 4 | | Richard Damon |
2 Aug 24 |                Re: Replacement of Cardinality | 3 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 2 | | Richard Damon |
2 Aug 24 |                  Re: Replacement of Cardinality | 1 | | WM |
1 Aug 24 |             Re: Replacement of Cardinality | 40 | | Richard Damon |
1 Aug 24 |              Re: Replacement of Cardinality | 39 | | WM |
1 Aug 24 |               Re: Replacement of Cardinality | 29 | | joes |
2 Aug 24 |                Re: Replacement of Cardinality | 27 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 26 | | Richard Damon |
2 Aug 24 |                  Re: Replacement of Cardinality | 25 | | WM |
2 Aug 24 |                   Re: Replacement of Cardinality | 24 | | Richard Damon |
2 Aug 24 |                    Re: Replacement of Cardinality | 23 | | WM |
2 Aug 24 |                     Re: Replacement of Cardinality | 22 | | Richard Damon |
3 Aug 24 |                      Re: Replacement of Cardinality | 21 | | WM |
3 Aug 24 |                       Re: Replacement of Cardinality | 20 | | Richard Damon |
4 Aug 24 |                        Re: Replacement of Cardinality | 19 | | WM |
4 Aug 24 |                         Re: Replacement of Cardinality | 5 | | Richard Damon |
5 Aug 24 |                          Re: Replacement of Cardinality | 4 | | WM |
6 Aug 24 |                           Re: Replacement of Cardinality | 3 | | Richard Damon |
6 Aug 24 |                            Re: Replacement of Cardinality | 2 | | WM |
7 Aug 24 |                             Re: Replacement of Cardinality | 1 | | Richard Damon |
4 Aug 24 |                         Re: Replacement of Cardinality | 13 | | Richard Damon |
6 Aug 24 |                          Re: Replacement of Cardinality | 12 | | Chris M. Thomasson |
6 Aug 24 |                           Re: Replacement of Cardinality | 11 | | Moebius |
6 Aug 24 |                            Re: Replacement of Cardinality | 2 | | Jim Burns |
6 Aug 24 |                             Re: Replacement of Cardinality | 1 | | Moebius |
6 Aug 24 |                            Re: Replacement of Cardinality | 8 | | Chris M. Thomasson |
6 Aug 24 |                             Re: Replacement of Cardinality | 1 | | FromTheRafters |
6 Aug 24 |                             Re: Replacement of Cardinality | 6 | | Moebius |
6 Aug 24 |                              Re: Replacement of Cardinality | 1 | | Moebius |
7 Aug 24 |                              Re: Replacement of Cardinality | 4 | | Chris M. Thomasson |
7 Aug 24 |                               Re: Replacement of Cardinality | 3 | | Moebius |
7 Aug 24 |                                Re: Replacement of Cardinality | 1 | | Moebius |
16 Aug 24 |                                Re: Replacement of Cardinality | 1 | | Chris M. Thomasson |
2 Aug 24 |                Re: Replacement of Cardinality | 1 | | WM |
2 Aug 24 |               Re: Replacement of Cardinality | 9 | | Richard Damon |
2 Aug 24 |                Re: Replacement of Cardinality | 8 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 2 | | joes |
2 Aug 24 |                  Re: Replacement of Cardinality | 1 | | WM |
2 Aug 24 |                 Re: Replacement of Cardinality | 5 | | Richard Damon |
2 Aug 24 |                  Re: Replacement of Cardinality | 4 | | WM |
2 Aug 24 |                   Re: Replacement of Cardinality | 3 | | Richard Damon |
3 Aug 24 |                    Re: Replacement of Cardinality | 2 | | WM |
3 Aug 24 |                     Re: Replacement of Cardinality | 1 | | Richard Damon |
27 Jul 24 |  Re: Replacement of Cardinality | 20 | | Mikko |
27 Jul 24 |   Re: Replacement of Cardinality | 19 | | WM |
29 Jul 24 |    Re: Replacement of Cardinality | 18 | | Mikko |
29 Jul 24 |     Re: Replacement of Cardinality | 17 | | WM |
30 Jul 24 |      Re: Replacement of Cardinality | 3 | | Richard Damon |
30 Jul 24 |       Re: Replacement of Cardinality | 2 | | WM |
31 Jul 24 |        Re: Replacement of Cardinality | 1 | | Richard Damon |
30 Jul 24 |      Re: Replacement of Cardinality | 13 | | Mikko |
30 Jul 24 |       Re: Replacement of Cardinality | 12 | | WM |
31 Jul 24 |        Re: Replacement of Cardinality | 11 | | Mikko |
31 Jul 24 |         Re: Replacement of Cardinality | 10 | | WM |
2 Aug 24 |          Re: Replacement of Cardinality | 9 | | Mikko |
2 Aug 24 |           Re: Replacement of Cardinality | 8 | | WM |
2 Aug 24 |            Re: Replacement of Cardinality | 5 | | Richard Damon |
2 Aug 24 |             Re: Replacement of Cardinality | 4 | | WM |
2 Aug 24 |              Re: Replacement of Cardinality | 3 | | Richard Damon |
3 Aug 24 |               Re: Replacement of Cardinality | 2 | | WM |
3 Aug 24 |                Re: Replacement of Cardinality | 1 | | Richard Damon |
3 Aug 24 |            Re: Replacement of Cardinality | 2 | | Mikko |
3 Aug 24 |             Re: Replacement of Cardinality | 1 | | WM |
27 Jul 24 |  Re: Replacement of Cardinality | 620 | | Jim Burns |
28 Jul 24 |   Re: Replacement of Cardinality | 610 | | WM |
28 Jul 24 |    Re: Replacement of Cardinality | 609 | | Jim Burns |
29 Jul 24 |     Re: Replacement of Cardinality | 47 | | Ross Finlayson |
29 Jul 24 |      Re: Replacement of Cardinality | 46 | | Ross Finlayson |
29 Jul 24 |       Re: Replacement of Cardinality | 45 | | Ross Finlayson |
29 Jul 24 |        Re: Replacement of Cardinality | 44 | | Jim Burns |
29 Jul 24 |         Re: Replacement of Cardinality | 43 | | Ross Finlayson |
29 Jul 24 |          Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity) | 14 | | Ross Finlayson |
1 Jan 25 |           Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity) | 13 | | Ross Finlayson |
1 Jan 25 |            Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity) | 12 | | Jim Burns |
2 Jan 25 |             Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity) | 11 | | Ross Finlayson |
29 Jul 24 |          Re: Replacement of Cardinality | 28 | | Jim Burns |
29 Jul 24 |     Re: Replacement of Cardinality | 560 | | WM |
29 Jul 24 |     Re: Replacement of Cardinality | 1 | | Moebius |
29 Jul 24 |   Re: Replacement of Cardinality | 9 | | Moebius |