• Re: A game like billards

    From WM@21:1/5 to William on Sat Dec 9 17:32:23 2023
    William schrieb am Samstag, 9. Dezember 2023 um 13:32:13 UTC+1:
    On Saturday, December 9, 2023 at 7:43:53 AM UTC-4, WM wrote:
    William schrieb am Freitag, 8. Dezember 2023 um 22:02:44 UTC+1:


    Nope. The set "positions of A(n)\positions of B(n)" shrinks.
    Please show where the first event happens.
    The set of elements of (|N x |N) { Positions of A(1)\Positions of
    B(1) } shrinks by one element to the set of elements of (|N x |N)
    { Positions of A(2)\Positions of B(2) }

    Which element is that?

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Sun Dec 10 09:48:29 2023
    On 09.12.2023 17:43, William wrote:

    Which element is that?

    The element of the set |Nx|N, (1,0) .

    No, all elements of all A(n) remain. All elements of all B(n) remain.
    All elements of the difference remain.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Sun Dec 10 15:05:58 2023
    On 12/10/2023 3:48 AM, WM wrote:
    On 09.12.2023 17:43, William wrote:

    Which element is that?

    The element of the set |Nx|N, (1,0) .

    No, all elements of all A(n) remain.
    All elements of all B(n) remain.
    All elements of the difference remain.

    Initially,
    A\B is unpopulated by B.elements.

    Each swap i/j↔kᵢⱼ/1 does not populate A\B
    with B.elements

    For each B.location i/j
    swap i/j↔kᵢⱼ/1 leaves kᵢⱼ/1 at i/j
    and i/j↔kᵢⱼ/1 does not populate A\B
    with any B.element.

    After all and only swaps i/j↔kᵢⱼ/1
    each B.location i/j holds kᵢⱼ/1
    and A\B is still not populated
    by B.elements.

    You (WM) deny that and claim that
    after all and only non-populating swaps,
    A\B has become populated.

    (I guess) your explanationᵂᴹ is that
    it's darkᵂᴹ
    we can't seeᵂᴹ
    so (I guess) we should trust you on this?

    However, we know A\B is unpopulated
    despite not.seeingᵂᴹ A\B
    from the description of
    ⟨1,…,i⟩ ⟨1,…,j⟩ ⟨1,…,kᵢⱼ⟩ i/j↔kᵢⱼ/1

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Jim Burns on Mon Dec 11 11:28:06 2023
    On 10.12.2023 21:05, Jim Burns wrote:
    On 12/10/2023 3:48 AM, WM wrote:
    On 09.12.2023 17:43, William wrote:

    Which element is that?

    The element of the set |Nx|N, (1,0) .

    No, all elements of all A(n) remain.
    All elements of all B(n) remain. All elements of the difference remain.

    Initially,
    A\B is unpopulated by B.elements.

    All elements of B are initially in the first column. When the upper left
    corner of A(n) is populated, the elements sitting initially there remain
    in the matrix - forever!

    You (WM) deny that and claim that
    after all and only non-populating swaps,
    A\B has become populated.

    The elements of A\B are never changed. First B is only a column B(0).
    Later it becomes a triangle (never a square).
    s
    (I guess) your explanationᵂᴹ is that
    it's darkᵂᴹ

    Fact is that B never disappears. My explanation is he is in the dark
    part below the Cantor-triangle.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Mon Dec 11 11:21:02 2023
    On 10.12.2023 14:07, William wrote:
    On Sunday, December 10, 2023 at 4:57:50 AM UTC-4, WM wrote:
    On 09.12.2023 17:43, William wrote:

    Which element is that?

    The element of the set |Nx|N, (1,0) .
    No, all elements of all A(n) remain. All elements of all B(n) remain.
    All elements of the difference remain.

    let S be the positions of A(1) (also the positions of A(2))
    (1,0) is an element of S

    P(1) = the positions of B(1) = {(0,0),(0,1)}
    P(2) = the positions of B(2) = {(0,0),(0,1),(1,0)|

    Why do you start with 0? The first position of the matrix is usually
    called (1, 1). But independent of notation: All elements of B are
    already in the matrix A, namely in the first column. They will not
    become fewer or more but will only be reordered.

    (1,0) is an element of S\P(1)
    (1,0) is not an element of S\P(2)

    The elements of A(0) replaced by B(n) remain in the matrix. Nothing shrinks.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Tue Dec 12 11:02:33 2023
    William schrieb am Montag, 11. Dezember 2023 um 12:38:27 UTC+1:
    On Monday, December 11, 2023 at 6:21:09 AM UTC-4, WM wrote:
    On 10.12.2023 14:07, William wrote:
    (1,0) is an element of S\P(1)
    (1,0) is not an element of S\P(2)
    The elements of A(0) replaced by B(n) remain in the matrix.
    So what? The elements of A(0) do not remain in A(n)\B(n) ("\" does
    not mean replace)

    B(0) = B(1) is the first column of A(0) = A(1):
    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ...

    A(2) =
    1, 2, 1/3, 1/4, ...
    1/2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ...

    B(2) =
    1, 2

    3
    4
    5
    ...

    A(2) \ B(2) has precisely the same elements as A(0) \ B(0).

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Tue Dec 12 18:17:49 2023
    On 12.12.2023 15:29, William wrote:
    On Tuesday, December 12, 2023 at 6:02:41 AM UTC-4, WM wrote:
    William schrieb am Montag, 11. Dezember 2023 um 12:38:27 UTC+1:
    On Monday, December 11, 2023 at 6:21:09 AM UTC-4, WM wrote:
    On 10.12.2023 14:07, William wrote:
    (1,0) is an element of S\P(1)
    (1,0) is not an element of S\P(2)
    The elements of A(0) replaced by B(n) remain in the matrix.
    So what? The elements of A(0) do not remain in A(n)\B(n) ("\" does
    not mean replace)
    B(0) = B(1) is the first column of A(0) = A(1):

    Nope B(0)=B(1) has one element
    B(0)=B(1) =
    1

    A(0)=A(1)=
    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ...

    A(2) =
    1, 2, 1/3, 1/4, ...
    1/2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ...

    B(2) =
    1, 2

    3
    4
    5
    ...
    Nope. B(2) has two elements
    B(2) =
    1, 2

    Please adhere to my notation.

    A(2) \ B(2) has precisely the same elements as A(0) \ B(0).
    Nope. A(2) and A(0) have the same elements
    B(0) and B(2) do not have the same elements.


    Please adhere to my notation.
    Further please denote the matrix elements by
    (1, 1), (1, 2), (1, 3), ...
    (2, 1), (2, 2), (2, 3), ...
    (3, 1), (3, 2), (3, 3), ...
    ...
    not starting with (0, 1) which would be incosistent. (0, 0) would be
    consistent but confusing.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Tue Dec 12 12:55:31 2023
    On 12/11/2023 5:28 AM, WM wrote:
    On 10.12.2023 21:05, Jim Burns wrote:

    You (WM) deny that and claim that
    after all and only non-populating swaps,
    A\B has become populated.

    The elements of A\B are never changed.

    Yes.

    For each B.location ⟨i,j⟩
    there is a swap ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    [1]

    ⟨i,j⟩ and ⟨kᵢⱼ,1⟩ are B.locations.
    B.swap ⟨i,j⟩↔⟨kᵢⱼ,1⟩ does not change A\B

    First B is only a column B(0).
    Later it becomes a triangle (never a square).

    For each B.location ⟨i,j⟩
    there is a B.swap ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B

    After ⟨i,j⟩↔⟨kᵢⱼ,1⟩, fraction kᵢⱼ/1 is at ⟨i,j⟩
    No exceptions.
    [2]

    After all B.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B
    for all B.locations ⟨i,j⟩ in B
    all fractions i/j (j≠1) are not anywhere in B

    (I guess) your explanationᵂᴹ is that
    it's darkᵂᴹ

    Fact is that B never disappears.

    After all B.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B
    for all B.locations ⟨i,j⟩ in B
    all fractions i/j (j≠1) are not anywhere in B

    I'm willing to call that disappearing

    But YMMV, you may not be willing to. Fine.
    Whatever it's _called_
    after all B.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B
    for all B.locations ⟨i,j⟩ in B
    all fractions i/j (j≠1) are not anywhere in B

    ----
    The problem with explaining
    that so-called "disappearance" as
    not-a-disappearance
    but as darkᵂᴹ events happening unseenᵂᴹ
    is that
    we don't seeᵂᴹ or not-seeᵂᴹ any of the
    fractions or B.locations.
    We see
    descriptive and not-first-false claims
    about fractions and B.locations.

    Declaring numbers darkᵂᴹ will not unsee
    the claims we've seen.

    The Cantorian explanation is that
    only _some_ sets cannot match proper subsets,
    and that
    B and the first column of B are
    not among those sets.

    We can see (by seeing claims)
    that B matches its first column.
    Yes.
    Its first column can be spread over
    all of B,
    for example, by kᵢⱼ = i+(i+j-1)(i+j-2)/2
    That's how Bob "disappears".

    [1]
    For each B.location ⟨i,j⟩
    i is in ⟨1,…,i⟩
    j is in ⟨1,…,j⟩
    and,
    for swap ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    kᵢⱼ = i+(i+j-1)(i+j-2)/2
    kᵢⱼ is in ⟨1,…,kᵢⱼ⟩
    ⟨kᵢⱼ,1⟩ is in B

    For each B.location ⟨k,1⟩
    k is in ⟨1,…,k⟩
    and,
    for swap ⟨iₖ,jₖ⟩↔⟨k,1⟩
    sₖ = max{h| (h-1)(h-2)/2 < k }
    sₖ = iₖ+jₖ
    iₖ = k-(sₖ-1)(sₖ-2)/2
    jₖ = sₖ(sₖ-1)/2-k+1
    iₖ is in ⟨1,…,iₖ⟩
    jₖ is in ⟨1,…,jₖ⟩
    ⟨iₖ,jₖ⟩ is in B

    [2]
    For each B.swap ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    before‖after by kᵢⱼ

    Swaps ⟨i′,j′⟩↔⟨k′,1⟩ before ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    (that is, k′ < kᵢⱼ)
    do not move kᵢⱼ/1 from ⟨kᵢⱼ,1⟩

    Swap ⟨i,j⟩↔⟨kᵢⱼ,1⟩ _does_ move kᵢⱼ/1
    from ⟨kᵢⱼ,1⟩ to ⟨i,j⟩

    Swaps ⟨i″,j″⟩↔⟨k″,1⟩ after ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    (that is, kᵢⱼ < k″)
    do not move kᵢⱼ/1 from ⟨i,j⟩

    After ⟨i,j⟩↔⟨kᵢⱼ,1⟩, kᵢⱼ/1 is at ⟨i,j⟩
    No exceptions.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Jim Burns on Tue Dec 12 20:08:50 2023
    On 12.12.2023 18:55, Jim Burns wrote:
    On 12/11/2023 5:28 AM, WM wrote:
    On 10.12.2023 21:05, Jim Burns wrote:

    You (WM) deny that and claim that
    after all and only non-populating swaps,
    A\B has become populated.

    The elements of A\B are never changed.

    Yes.

    They are all positive fractions with exception of unit fractions.

    After all B.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B
    for all B.locations ⟨i,j⟩ in B
    all fractions i/j (j≠1) are not anywhere in B

    No, they are not in B but also not outside of A (which exists after all
    swaps as well as B).

    Fact is that B never disappears.

    After all B.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B
    for all B.locations ⟨i,j⟩ in B
    all fractions i/j (j≠1) are not anywhere in B

    I'm willing to call that disappearing

    They are in the darkness.

    The problem with explaining
    that so-called "disappearance" as
    not-a-disappearance
    but as darkᵂᴹ events happening unseenᵂᴹ
    is that
    we don't seeᵂᴹ or not-seeᵂᴹ any of the
    fractions or B.locations.
    We see
    descriptive and not-first-false claims
    about fractions and B.locations.

    In fact most of all matrices, including B is dark. All that can be
    defined of any infinite matrix, including B, is a triangle in the upper
    left corner.
    We can see (by seeing claims)
    that B matches its first column.

    The first column can be seen until some defined n. But almost all is dark:
    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Tue Dec 12 20:19:02 2023
    On 12.12.2023 18:56, William wrote:
    On Tuesday, December 12, 2023 at 1:18:03 PM UTC-4, WM wrote:
    On 12.12.2023 15:29, William wrote:

    Please adhere to my notation

    Whatever notation you use, you only need dark numbers to get a location for a "fraction" in your putative matrix A.

    I need locations for all fractions p/q with q > 1 because I know that
    they never can leave the matrix. You must know: my billiard table has
    high walls and no holes.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Tue Dec 12 22:46:18 2023
    On 12.12.2023 21:20, William wrote:
    On Tuesday, December 12, 2023 at 3:19:10 PM UTC-4, WM wrote:
    On 12.12.2023 18:56, William wrote:
    On Tuesday, December 12, 2023 at 1:18:03 PM UTC-4, WM wrote:
    On 12.12.2023 15:29, William wrote:

    Please adhere to my notation

    Whatever notation you use, you only need dark numbers to get a location for a "fraction" in your putative matrix A.
    I need locations for all fractions p/q with q > 1 because I know that
    they never can leave the matrix.

    Indeed, the "fractions" never leave the A(n) which are the only matrices produced by your billiards game.

    All B(n) are also produced.

    Since your billiards game never produces the putative matrix A, it does not show the existence of "dark numbers".

    All produced matrices A(n) contain all fractions p/q with q > 1 in all
    produced differences A(n) \ B(n). If A is not produced by using
    Cantor's formula, then also B is not produced by Cantor's formula.

    In no case any fraction leaves the difference A(n) \ B(n). A mystery
    might exorcize them in the limit. I do not believe in mysteries in
    mathematics.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Wed Dec 13 12:40:34 2023
    William schrieb am Dienstag, 12. Dezember 2023 um 22:54:13 UTC+1:
    On Tuesday, December 12, 2023 at 5:46:27 PM UTC-4, WM wrote:

    If A is not produced by using
    Cantor's formula, then also B is not produced by Cantor's formula.
    Nope. B is defined.
    By the formula used in the OP.

    Your putative A is not defined.

    All matrices A(n) are defined and contain all fractions. They cannot
    leave the matrix. If they are invisible, they are dark.

    By the way, same with descending from omega. Every step ends always at a visible natnumber which has ℵo dark successors which cannot be chosen as destination.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Wed Dec 13 17:39:56 2023
    On 13.12.2023 13:12, William wrote:
    On Wednesday, December 13, 2023 at 7:40:43 AM UTC-4, WM wrote:
    William schrieb am Dienstag, 12. Dezember 2023 um 22:54:13 UTC+1:

    Your putative A is not defined.
    All matrices A(n) are defined

    Correct. So what?. Your putative A is not defined.

    So what? It is irrelevant. There is no matrix which has lost any
    fraction. Hence all are there and occupy not indexed positions. In no
    instance any fractions is abolished.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Wed Dec 13 19:58:04 2023
    On 13.12.2023 19:36, William wrote:
    On Wednesday, December 13, 2023 at 12:40:05 PM UTC-4, WM wrote:
    On 13.12.2023 13:12, William wrote:
    On Wednesday, December 13, 2023 at 7:40:43 AM UTC-4, WM wrote:
    William schrieb am Dienstag, 12. Dezember 2023 um 22:54:13 UTC+1:

    Your putative A is not defined.
    All matrices A(n) are defined

    Correct. So what?. Your putative A is not defined.
    So what? It is irrelevant. There is no matrix which has lost any
    fraction. Hence all are there and occupy not indexed positions.

    Nope, In each A(n) only a finite number of elements have been moved, and each of them has only been moved a finite number of positions.

    All that can be moved has been moved, because "in the limit" nothing can happen. And because you cannot name any index that has failed to cover
    its final destination.

    However, your putative A is not defined.

    All steps where something is moved are defined. Never the whole matrix
    is covered by indices.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Wed Dec 13 17:14:24 2023
    On 12/12/2023 2:08 PM, WM wrote:
    On 12.12.2023 18:55, Jim Burns wrote:
    On 12/11/2023 5:28 AM, WM wrote:
    On 10.12.2023 21:05, Jim Burns wrote:

    You (WM) deny that and claim that
    after all and only non-populating swaps,
    A\B has become populated.

    The elements of A\B are never changed.

    Yes.

    They are all positive fractions
    with exception of unit fractions.

    Then that A that B and that A\B aren't
    what I've been referring to.

    Consider

    B′ which covers only
    all locations ⟨i,j⟩ for which
    i is in ⟨1,…,i⟩
    j is in ⟨1,…,j⟩

    A′ which covers
    what B′ covers and
    possibly covers more

    Initially,
    for each B′.location ⟨i,j⟩
    B′.fraction i/j is at ⟨i,j⟩
    i is in ⟨1,…,i⟩
    j is in ⟨1,…,j⟩

    Initially,
    any possibly.existing locations covered by A′\B′
    are not B′.locations
    any possibly.existing fractions at
    any possibly.existing locations covered by A′\B′
    are not B′.fractions

    For each B′.location ⟨i,j⟩
    there exists swap ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    There are no other swaps than these.

    The swaps ⟨i,j⟩↔⟨k,1⟩ are ordered by k
    For swaps ⟨i′,j′⟩↔⟨k′,1⟩ ⟨i″,j″⟩↔⟨k″,1⟩ ⟨i′,j′⟩↔⟨k′,1⟩ is before ⟨i″,j″⟩↔⟨k″,1⟩
    iff k′ < k″

    for ⟨i,j⟩↔⟨k,1⟩
    if j>1
    then ⟨i+1,j-1⟩↔⟨k+1,1⟩ is next.after
    else ⟨1,i+1⟩↔⟨k+1,1⟩ is next.after

    for ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    kᵢⱼ = i+(i+j-1)(i+j-2)/2

    for ⟨iₖ,jₖ⟩↔⟨k,1⟩
    sₖ = max{h| (h-1)(h-2)/2 < k }
    iₖ+jₖ = sₖ
    iₖ = k-(sₖ-1)(sₖ-2)/2
    jₖ = sₖ(sₖ-1)/2-k+1

    Consider B′ A′ A′\B′
    B′.locations, B′.fractions and B′.swaps

    You (WM) deny that and claim that
    after all and only non-populating swaps,
    A\B has become populated.

    The elements of A\B are never changed.

    Yes.

    They are all positive fractions
    with exception of unit fractions.

    Initially,
    B′.fractions are at B′.locations
    and no B′.fraction is elsewhere

    Each swap is from‖to a B′.location.

    After all swaps each from‖to a B′.location
    only index B′.fractions k/1 are at B′.locations.

    If, after all swaps,
    non-index B′.fractions i/jᙾ¹ are elsewhere,
    then it wasn't by those swaps

    ...because
    each swap is from‖to a B′.location.

    After all B.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B
    for all B.locations ⟨i,j⟩ in B
    all fractions i/j (j≠1) are not anywhere in B

    No, they are not in B but also
    not outside of A
    (which exists after all swaps as well as B).

    After all B′.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    for all B′.locations ⟨i,j⟩
    all non-index B′.fractions i/jᙾ¹ are
    not anywhere in B′

    You (WM) and Cantor have
    different explanations for that.

    Fact is that B never disappears.

    After all B.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B
    for all B.locations ⟨i,j⟩ in B
    all fractions i/j (j≠1) are not anywhere in B

    I'm willing to call that disappearing

    They are in the darkness.

    You (WM) say
    there is no visibleᵂᴹ n with darkᵂᴹ n+1

    Under B′
    each location is ⟨i,j⟩ such that
    i is in ⟨1,…,i⟩
    j is in ⟨1,…,j⟩

    Each of those i and j are visibleᵂᴹ

    I assume that visibleᵂᴹ i j means that
    ⟨i,j⟩ is visibleᵂᴹ

    | Assume otherwise.
    | Assume i in ⟨1,…,i⟩ is darkᵂᴹ
    |
    | A non.∅ split F₁ ᣔ<ᣔ H₁ exists between
    | the super.visiblesᵂᴹ F₁ and the others H₁
    |
    | By super.visibleᵂᴹ I mean that
    | each number ≤ super.visibleᵂᴹ n is visibleᵂᴹ
    |
    | ⟨1,…,i⟩ is what it is, thus
    | i₁‖i₁+1 exists last‖first in part F₁‖H₁
    |
    | Each number < i₁+1 is in F₁ and visibleᵂᴹ
    | If i₁+1 is visibleᵂᴹ
    | then i₁+1 is super.visibleᵂᴹ and in F₁
    | But i₁+1 is in H₁
    | Thus i₁+1 is darkᵂᴹ
    |
    | i₁ is in F₁ and super.visibleᵂᴹ
    |
    | i₁ is visibleᵂᴹ and i₁+1 is darkᵂᴹ
    |
    | However,
    | there is no visibleᵂᴹ i₁ with darkᵂᴹ i₁+1
    | Contradiction.

    Therefore,
    i in ⟨1,…,i⟩ is visibleᵂᴹ

    Fact is that B never disappears.

    After all B.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩ inside B
    for all B.locations ⟨i,j⟩ in B
    all fractions i/j (j≠1) are not anywhere in B

    I'm willing to call that disappearing

    They are in the darkness.

    No B′.location is darkᵂᴹ

    Each B′.fraction is initially at
    a visibleᵂᴹ location.

    No B′.swap moves anything to
    a darkᵂᴹ location.

    Nothing else moves anything anywhere.

    After all B′.swaps ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    for all B′.locations ⟨i,j⟩
    all non-index B′.fractions i/jᙾ¹
    which are initially in B′
    are not anywhere in B′

    The problem with explaining
    that so-called "disappearance" as
    not-a-disappearance
    but as darkᵂᴹ events happening unseenᵂᴹ
    is that
    we don't seeᵂᴹ or not-seeᵂᴹ any of the
    fractions or B.locations.
    We see
    descriptive and not-first-false claims
    about fractions and B.locations.

    In fact most of all matrices, including B
    is dark.

    We know, by seeing claims which are
    descriptive or not.first.false,
    that all of B′ is visibleᵂᴹ

    ...because
    there is no visibleᵂᴹ i₁ with darkᵂᴹ i₁+1
    and
    for non.∅ split F₁ ᣔ<ᣔ H₁ of ⟨1,…,i⟩
    i₁‖i₁+1 exists last‖first in F₁‖H₁

    All that can be defined of any infinite matrix,
    including B, is
    a triangle in the upper left corner.

    We can say _once_ and know in
    _infinitely.many_ ways that
    ⟨i,j⟩ such that
    i is in ⟨1,…,i⟩ and j is in ⟨1,…,j⟩
    is a location in B′

    We can see (by seeing claims)
    that B matches its first column.

    The first column can be seen until
    some defined n. But almost all is dark:
    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.

    |B| = ℵ₀ means
    B is 1.by.1;1.end.able

    Even if ℵ₀ didn't mean that,
    for each split of any 1.by.1;1.end.ed,
    one side is 1.by.1;1.end.able and
    the other side isn't.

    1 original end + 2 ends of a split =
    1 end of one part and 2 ends of the other.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Thu Dec 14 11:08:30 2023
    On 13.12.2023 20:41, William wrote:
    On Wednesday, December 13, 2023 at 2:58:14 PM UTC-4, WM wrote:
    On 13.12.2023 19:36, William wrote:
    On Wednesday, December 13, 2023 at 12:40:05 PM UTC-4, WM wrote:
    On 13.12.2023 13:12, William wrote:
    On Wednesday, December 13, 2023 at 7:40:43 AM UTC-4, WM wrote:
    William schrieb am Dienstag, 12. Dezember 2023 um 22:54:13 UTC+1:

    Your putative A is not defined.
    All matrices A(n) are defined

    Correct. So what?. Your putative A is not defined.
    So what? It is irrelevant. There is no matrix which has lost any
    fraction. Hence all are there and occupy not indexed positions.

    Nope, In each A(n) only a finite number of elements have been moved, and each of them has only been moved a finite number of positions.
    All that can be moved has been moved,

    This does not change the fact that in each A(n) only a finite number of elements have been moved and each of them has only been moved a finite number of times.

    *Everything* that you can do and check lies within a finite number of steps. Note: ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.

    Hence producing any A(n) does not show that "dark" numbers are needed.

    Everything and all that can be done with individual numbers does not
    need dark numbers.

    Only producing the putative A shows that "dark" numbers are needed.

    No. Producing B shows it because in all definable steps A(n) \ B(n) is
    not empty. And in the limit nothing happens anymore.

    Fact is that exchanging X and O in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...

    will never cover the matrix with X. Simple geometry.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Thu Dec 14 11:16:28 2023
    On 13.12.2023 23:14, Jim Burns wrote:

    nothing that could disprove the fact that by exchanging X and O in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...

    the matrix will never be covered with X. Simple geometry.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Fritz Feldhase on Thu Dec 14 16:30:49 2023
    Fritz Feldhase schrieb am Donnerstag, 14. Dezember 2023 um 11:48:26 UTC+1:
    die Matrix B = (b_n,m) wird nicht "produziert", sondern ist (wie
    folgt) _definiert_.

    Note: The matrix B = (b_n,m) is defined by b_n,m = (m + n - 1)(m + n
    - 2)/2 + m for all n,m e IN.

    Matheolgians may believe that.

    b_n,m = (m + n - 1)(m + n - 2)/2 + m is a word without any meaning. It
    can be applied to describe matrix places. But it cannot be applied to
    describe all matrix places of B because
    ∀n,m ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n or m}| = ℵo.
    Only "in the limit" B can be established.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Thu Dec 14 16:32:34 2023
    Profilbild von WM
    WM
    ungelesen,
    16:22 (vor 9 Minuten)
    an
    On 14.12.2023 15:23, William wrote:
    On Thursday, December 14, 2023 at 6:08:40 AM UTC-4, WM wrote:
    On 13.12.2023 20:41, William wrote:
    need dark numbers.
    Only producing the putative A shows that "dark" numbers are needed.
    No. Producing B

    does not involve a limit

    It involves the realization of all natural numbers
    k = (m + n - 1)(m + n - 2)/2 + m
    at matrix places
    1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 2/4, 3/3, 4/2,
    5/1, 1/6, 2/5, 3/4, 4/3, 5/2, 6/1, ...

    This requires a limit or a last step. Your belief alone is not sufficient.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Thu Dec 14 17:22:52 2023
    On 14.12.2023 16:45, William wrote:
    On Thursday, December 14, 2023 at 11:32:42 AM UTC-4, WM wrote:
    Profilbild von WM
    WM
    ungelesen,
    16:22 (vor 9 Minuten)
    an
    On 14.12.2023 15:23, William wrote:
    On Thursday, December 14, 2023 at 6:08:40 AM UTC-4, WM wrote:
    On 13.12.2023 20:41, William wrote:
    need dark numbers.
    Only producing the putative A shows that "dark" numbers are needed.
    No. Producing B

    does not involve a limit
    It involves the realization of all natural numbers

    Nope it does not involve "realization"

    k = (m + n - 1)(m + n - 2)/2 + m
    An algorithm which defines B. A matrix is defined if there is an algorithm which gives the value, given an element of |Nx|N. There is no algorithm for your putative A.

    You are wrong. The algorithm is given in the OP.

    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Thu Dec 14 14:00:22 2023
    On 12/14/2023 5:16 AM, WM wrote:
    On 13.12.2023 23:14, Jim Burns wrote:

    nothing that
    could disprove the fact that
    by exchanging X and O in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...

    the matrix will never be covered with X.
    Simple geometry.

    "Geometry", he says.
    Geometry is thronging with
    sets you deny exist.

    Two lines CA and CB intersect at point C
    with angle ∡ACB = 45° between them.

    For each Aₙ in CA
    there is a point Bₙ in CB such that
    segment AₙBₙ ⟂ CB

    The distance d(CAₙ) = aₙ
    The distance d(CBₙ) = aₙ/2¹ᐟ²

    For each Bₙ in CB
    there is a point Aₙ₊₁ in CA such that
    segment BₙAₙ₊₁ ⟂ CA

    The distance d(CAₙ) = aₙ
    The distance d(CBₙ) = aₙ/2¹ᐟ²
    The distance d(CAₙ₊₁) = aₙ/2

    There is a point.sequence in CA
    ⟨ A₀ A₁ A₂ A₃ ... ⟩
    with a corresponding distance.sequence to C
    ⟨ a₀ a₀/2 a₀/2² a₀/2³ ... ⟩

    Each point, each distance is not
    the second end of its sequence.
    A second end not.exists.

    The sequences are 1.by.1;1.end.ed
    They are 1.by.1;1.end.able and ℵ₀.many.

    The distances are 1.by.1;1.end.ed
    They are 1.by.1;1.end.able and ℵ₀.many.

    Consider the swap.sequence
    ⟨ A₀↔A₁ A₁↔A₂ A₂↔A₃ .. ⟩

    Initially,
    Bob occupies A₀ in CA
    After the first n swaps, before the next,
    Bob occupies Aₙ in CA

    However,
    no swap is the last swap.
    After Aₙ↔Aₙ₊₁ Bob never occupies Aₙ

    After all swaps Aₙ↔Aₙ₊₁
    each Aₙ is not.occupied by Bob

    Bob never leaves ⟨ A₀ A1 A₂ A3 ... ⟩
    But, after all swaps,
    Bob isn't in ⟨ A₀ A1 A₂ A3 ... ⟩

    Darknessᵂᴹ can't be the explanation.
    Watchᵂᴹ Bob travel within the visibleᵂᴹ

    Sets which are the same "size" as
    proper subsets is the explanation.
    It is Cantor's explanation.

    Some sets don't have same.sized proper subsets.
    ⟨1,…,n⟩ are sets like that.

    Other sets are the sets from which
    Bob can disappear,
    sets which have same.sized proper subsets.
    The least upper bound of all the ⟨1,…,n⟩
    is a set like that.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Thu Dec 14 20:24:47 2023
    On 14.12.2023 17:34, William wrote:
    On Thursday, December 14, 2023 at 12:23:01 PM UTC-4, WM wrote:
    On 14.12.2023 16:45, William wrote:
    A matrix is defined if there is an algorithm which gives the value, given an element of |Nx|N. There is no algorithm for your putative A.
    You are wrong. The algorithm is given in the OP.
    Nope, your billiards game defines A(n) for each n. Your billiards game does not define A,

    What defines then the complete enumeration of the algebraic numbers? You
    know Dedekind's approach? If not you can learn it here: https://www.hs-augsburg.de/~mueckenh/HI/HI11.PPT, p.19.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Jim Burns on Thu Dec 14 20:31:37 2023
    On 14.12.2023 20:00, Jim Burns wrote:
    On 12/14/2023 5:16 AM, WM wrote:
    On 13.12.2023 23:14, Jim Burns wrote:

    nothing that
    could disprove the fact that
    by exchanging X and O in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...

    the matrix will never be covered with X.
    Simple geometry.

    "Geometry", he says.
    Geometry is thronging with
    sets you deny exist.

    Sets exist and their elements remain existing when redistributing them.

    Sets which are the same "size" as
    proper subsets is the explanation.
    It is Cantor's explanation.

    It is wrong. Consider the unit fractions. For every x > 0 that you
    choose you know that infinitely many unit fractions are smaller. What
    can you do to distinguish them in order to enumerate them? Nothing! No
    chosen x will separate them.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Thu Dec 14 20:00:12 2023
    On 12/14/23 10:32 AM, WM wrote:
    Profilbild von WM
    WM
    ungelesen,
    16:22 (vor 9 Minuten)
    an
    On 14.12.2023 15:23, William wrote:
    On Thursday, December 14, 2023 at 6:08:40 AM UTC-4, WM wrote:
    On 13.12.2023 20:41, William wrote:
    need dark numbers.
    Only producing the putative A shows that "dark" numbers are needed.
    No. Producing B

    does not involve a limit

    It involves the realization of all natural numbers
    k = (m + n - 1)(m + n - 2)/2 + m
    at matrix places
    1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 2/4, 3/3, 4/2,
    5/1, 1/6, 2/5, 3/4, 4/3, 5/2, 6/1, ...

    This requires a limit or a last step. Your belief alone is not sufficient.

    Regards, WM

    So, what IS the "last Step" that is required?

    You don't seem to understand that Natural Numbers are Unbounded, and
    thus there isn't a "last" one.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Thu Dec 14 23:49:15 2023
    On 12/14/2023 2:31 PM, WM wrote:
    On 14.12.2023 20:00, Jim Burns wrote:
    On 12/14/2023 5:16 AM, WM wrote:

    nothing that
    could disprove the fact that
    by exchanging X and O in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...

    the matrix will never be covered with X.
    Simple geometry.

    "Geometry", he says.
    Geometry is thronging with
    sets you deny exist.

    Sets exist and
    their elements remain existing when
    redistributing them.

    Sets exist and,
    for some sets, some proper subsets
    match their supersets.

    In those superset-matching-instances,
    redistributing the proper subset
    to its whole superset
    will cover some of the elements.

    Performing those redistributions would be
    a supertask of redistribution.
    We cannot perform
    a supertask of redistribution.

    However,
    it's enough for us to perform the _task_ of
    making descriptive and not.first.false
    claims.

    Because we cannot perform a supertask,
    there are only finitely.many claims we've made,
    and so, among only not-first-false claims,
    there cannot be any false claims.

    Irony:
    It is because we are finite that we know that
    our claims are correct about infinity.

    Sets which are the same "size" as
    proper subsets is the explanation.
    It is Cantor's explanation.

    It is wrong.
    Consider the unit fractions.
    For every x > 0 that you choose
    you know that
    infinitely many unit fractions are smaller.

    Our choosing and our not-choosing
    does not change our description of reals,
    rationals, integers, naturals, or
    unit.fractions to a different description.

    Our choosing and our not-choosing
    does not change the visibly.not.first.false
    to anything less visibly.not.first.false.

    Perhaps you're depending on an unstated
    | since we aren't infinite beings,
    | we can't choose infinitely-many things.

    I agree that we finite beings can't choose
    infinitely.many things.
    But that's not how we know these facts.

    What can you do to distinguish them
    in order to enumerate them? Nothing!
    No chosen x will separate them.

    I agree that we finite beings can't distinguish
    infinitely.many things.
    But that's not how we know these facts.

    I agree that we finite beings can't enumerate
    infinitely.many things.
    But that's not how we know these facts.

    I agree that we finite beings can't separate
    infinitely.many things.
    But that's not how we know these facts.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Fri Dec 15 11:09:55 2023
    On 15.12.2023 09:25, William wrote:
    On Thursday, December 14, 2023 at 3:24:58 PM UTC-4, WM wrote:
    On 14.12.2023 17:34, William wrote:
    On Thursday, December 14, 2023 at 12:23:01 PM UTC-4, WM wrote:
    On 14.12.2023 16:45, William wrote:
    A matrix is defined if there is an algorithm which gives the value, given an element of |Nx|N. There is no algorithm for your putative A.
    You are wrong. The algorithm is given in the OP.
    Nope, your billiards game defines A(n) for each n. Your billiards game does not define A,
    What defines
    A. I.e. given (n,m) an element of |Nx|N how can you determine the value A[m,n]. Your game of billiards does not give a method.

    Dark elements cannot be determined as individuals.
    The same problem is inherent in enumerating the algebraic numbers.
    The same problem is inherent in enumerating the fractions.
    For every eps > 0 there are infinitely many fractions between 0 and eps.
    How should they be indexed?
    All those tasks cannot be executed.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Richard Damon on Fri Dec 15 11:22:21 2023
    On 15.12.2023 02:00, Richard Damon wrote:
    On 12/14/23 10:32 AM, WM wrote:

    It involves the realization of all natural numbers
    k = (m + n - 1)(m + n - 2)/2 + m
    at matrix places
    1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 2/4, 3/3, 4/2,
    5/1, 1/6, 2/5, 3/4, 4/3, 5/2, 6/1, ...

    This requires a limit or a last step. Your belief alone is not
    sufficient.

    So, what IS the "last Step" that is required?

    You don't seem to understand that Natural Numbers are Unbounded, and
    thus there isn't a "last" one.

    Therefore the complete indexing can only happen in the limit or never.
    In fact it will never happen.

    Simple example: For all x > 0 that can be chosen there exist infinitely
    many smaller fractions. They cannot be distinguished. They cannot be
    indexed.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Jim Burns on Fri Dec 15 11:35:39 2023
    On 15.12.2023 05:49, Jim Burns wrote:
    On 12/14/2023 2:31 PM, WM wrote:

    Because we cannot perform a supertask,
    there are only finitely.many claims we've made,

    How do you enumerate the algebraic numbers?

    Irony:
    It is because we are finite that we know that
    our claims are correct about infinity.

    No, because your are stupid, you believe that.

    Sets which are the same "size" as
    proper subsets is the explanation.
    It is Cantor's explanation.

    It is wrong.
    Consider the unit fractions.
    For every x > 0 that you choose
    you know that
    infinitely many unit fractions are smaller.

    Our choosing and our not-choosing
    does not change our description of reals,
    rationals, integers, naturals, or
    unit.fractions to a different description.

    But it separates those that can be chosen as individuals from the dark
    numbers.

    Our choosing and our not-choosing
    does not change the visibly.not.first.false
    to anything less visibly.not.first.false.

    Perhaps you're depending on an unstated
    | since we aren't infinite beings,
    | we can't choose infinitely-many things.

    But Cantor claims that. Dedekind, the last pupil of Gauss, it is a
    shame!, claims it too.

    I agree that we finite beings can't choose
    infinitely.many things.
    But that's not how we know these facts.

    But that is required to enumerate the fractions smaller than every eps
    or the algebraic numbers.

    What can you do to distinguish them
    in order to enumerate them? Nothing!
    No chosen x will separate them.

    I agree that we finite beings can't distinguish
    infinitely.many things.

    That is not the problem! Simply try to distinguish any unit fraction
    which has not infinitely many smaller ones. Such unit fractions must
    exist, because they occupy separate points in a linear order. Never
    infinitely many sit at the same point.

    I agree that we finite beings can't enumerate
    infinitely.many things.
    But that's not how we know these facts.

    But that is how Dedekind tried to enumerate the algebraic numbers. You
    know Dedekind's approach? If not you can learn it here: https://www.hs-augsburg.de/~mueckenh/HI/HI11.PPT, p.19.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to FromTheRafters on Fri Dec 15 11:17:58 2023
    On 07.12.2023 13:20, FromTheRafters wrote:
    on 12/7/2023, WM supposed :
    My game of billiards defines
    and places every natural number that is defined by
    k = (m + n - 1)(m + n - 2)/2 + m.

    Are you saying that the pairing formula 'defines' the natural numbers?

    The index k of the position (m, n) is defined by the choice of m and n.
    For dark positions (that cannot b chosen) no index can be defined.
    Therefore the formula does ot define the whole matrix B.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Fri Dec 15 12:20:39 2023
    On 15.12.2023 11:57, William wrote:
    On Friday, December 15, 2023 at 6:10:03 AM UTC-4, WM wrote:

    Dark elements

    Are not elements of the set of natural numbers.

    Then there are not ℵo natural numbers.
    All visible elements belong to an increasing but always finite set.
    All visible unit fractions belong to [eps, 1]. If you accept ℵo unit fractions, then they are not individually choosable. They are dark.

    Your game of billiards does not provide an algorithm that defines A.

    Dedekinds enumeration of the algebraic numbers doesn't either.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Fri Dec 15 07:55:41 2023
    On 12/15/23 5:17 AM, WM wrote:
    On 07.12.2023 13:20, FromTheRafters wrote:
    on 12/7/2023, WM supposed :
    My game of billiards defines and places every natural number that is
    defined by
    k = (m + n - 1)(m + n - 2)/2 + m.

    Are you saying that the pairing formula 'defines' the natural numbers?

    The index k of the position (m, n) is defined by the choice of m and n.
    For dark positions (that cannot b chosen) no index can be defined.
    Therefore the formula does ot define the whole matrix B.

    Regards, WM


    The problem is that there are no positions that can not be chosen.

    That is your false assumption.

    Every position has some definite m and n, thus every position can be
    definitely indexed by a k, so no position is "dark"

    You are just proving that you brain is to small.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Fri Dec 15 07:53:01 2023
    On 12/15/23 5:22 AM, WM wrote:
    On 15.12.2023 02:00, Richard Damon wrote:
    On 12/14/23 10:32 AM, WM wrote:

    It involves the realization of all natural numbers
    k = (m + n - 1)(m + n - 2)/2 + m
    at matrix places
    1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 2/4, 3/3, 4/2,
    5/1, 1/6, 2/5, 3/4, 4/3, 5/2, 6/1, ...

    This requires a limit or a last step. Your belief alone is not
    sufficient.

    So, what IS the "last Step" that is required?

    You don't seem to understand that Natural Numbers are Unbounded, and
    thus there isn't a "last" one.

    Therefore the complete indexing can only happen in the limit or never.
    In fact it will never happen.

    No, it happens "at the limit" since to set is countably infinite.

    Your mind just doens't seem to understand the meaning of Unbounded.


    Simple example: For all x > 0 that can be chosen there exist infinitely
    many smaller fractions. They cannot be distinguished. They cannot be
    indexed.


    If x is your unit fractions or the rationals, then they CAN be indexed,
    just not from lowest to highest.

    Your problem is you think just because one indexing method doesn't work
    means that no indexing method works.

    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Fri Dec 15 12:58:08 2023
    On 12/15/2023 5:35 AM, WM wrote:
    On 15.12.2023 05:49, Jim Burns wrote:
    On 12/14/2023 2:31 PM, WM wrote:

    What can you do to distinguish them
    in order to enumerate them? Nothing!
    No chosen x will separate them.

    I agree that we finite beings can't distinguish
    infinitely.many things.

    That is not the problem!
    Simply try to distinguish
    any unit fraction which has
    not infinitely many smaller ones.
    Such unit fractions must exist,
    because
    they occupy separate points in a linear order.

    No.

    For each unit.fraction ⅟n
    the same ⅟n...

    is in unit.fractions toward ⅟1
    which can't match proper subsets
    which behave "normally" like
    herds of sheep, bags of pebbles, etc,
    (each unit fraction is visibleᵂᴹ)
    and
    is in unit fractions toward.not-reaching 0
    which are not.like.sheep
    which can match proper subsets,
    thus can disappear Bob.
    (unit fractions "must" contain darkᵂᴹ)

    Each unit fraction
    among the must.include.darkᵂᴹ unit.fractions
    is not a darkᵂᴹ unit.fraction.

    So, no.

    Never infinitely many sit at the same point.

    They aren't sitting at the same point.
    They are 1.by.1;1.end.ed

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Fri Dec 15 21:12:40 2023
    Le 15/12/2023 à 18:27, FromTheRafters a écrit :
    WM has brought this to us :
    On 15.12.2023 05:49, Jim Burns wrote:
    On 12/14/2023 2:31 PM, WM wrote:

    Because we cannot perform a supertask,
    there are only finitely.many claims we've made,

    How do you enumerate the algebraic numbers?

    All at once.

    <img
    alt='co8' src='data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAHlBMVEX8+/n///9PGBKZWxsbCAZRSisbKh53QBeehHXoxJjCmmxgAAACeElEQVQ4jXWUvXPaMBTA5ctQvNkjqyxOOy9UzqoI2BMgZC5WGXOScyKbLxQwG22uF/Tf9hkHMG36PNjW796H3heJTxIRcv6JG9+
    R330O2ttt8CkIvf8ceL/fBf+AKCYIiiD6C0Tek/2+LCpzQQNE4X7r92Xpfel3F+DtGXwle/1wcwHWWt8DSq71YxO019PJ7NH7H3q+njdAEOosyxCsxncsq52Q2oXW07J8Q/drPbs5goiEX7UWNn1doBetb3ckDhDgObr+DpDmt0uAiZ59q3JD4rAcDbS2FkBJANHTWqv7HYLWYFLH2pUqAXBIproISHzVX48zUd2BsiG+7PM4GxSocaX7aH/
    rl0m6ZDfeV36yCrTK8aIER5WeJStFuU03U6hMtQzjQkmWlNfKjigbQC7dQcNJbleUglNqmFOZOkPFETi7ko4CQzAV1lD7E0FbcO7c4hqD7T3kycY5WoNIcOqcu16saCLU0IEwzB5SsuEOnGPU4lEuwYFhiwN4T7hFfaMUxibBCmNq8IVzK5xinXQ5UgqTZtjLIe1XQwpCKI720h6zNqX06QDalC2gey8wNmN7CWwoL4JDobqKl8LgeSWw71JL6g
    q+WbCO1udYFhBpUNe8ZThAWQr0UZYgKH/6aIYwlwxvW/WV4IbeyeIDRCvGmOwoSfGR/U7lom6fVvo8kmMlO9JVZX+JjiAcyUNMwlW3kz9PDUd+YTpcxSybqfm5E+OQ9We3mHDbHUxU0QDRb1SxmGWm1PxycDB96CdXalA0QRy1Zkpxhwof43ECBI1xw9T8OK2ncSavlUZ2Wg7nOScrajrnQW/ukvdFY5k0F070nyVzKX8Alw/
    40wTZJXsAAAAASUVORK5CYII='>

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Fri Dec 15 22:32:46 2023
    Le 15/12/2023 à 18:58, Jim Burns a écrit :
    On 12/15/2023 5:35 AM, WM wrote:
    On 15.12.2023 05:49, Jim Burns wrote:
    On 12/14/2023 2:31 PM, WM wrote:

    What can you do to distinguish them
    in order to enumerate them? Nothing!
    No chosen x will separate them.

    I agree that we finite beings can't distinguish
    infinitely.many things.

    That is not the problem!
    Simply try to distinguish
    any unit fraction which has
    not infinitely many smaller ones.
    Such unit fractions must exist,
    because
    they occupy separate points in a linear order.

    No.

    Yes. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n.
    ∀x ∈ (0, 1]: NUF(x) = ℵo is wrong.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Fri Dec 15 22:23:57 2023
    Le 15/12/2023 à 21:52, Jim Reburns a écrit :
    Le 15/12/2023 à 18:27, FromTheRafters a écrit :
    WM has brought this to us :
    On 15.12.2023 05:49, Jim Burns wrote:
    On 12/14/2023 2:31 PM, WM wrote:

    Because we cannot perform a supertask,
    there are only finitely.many claims we've made,

    How do you enumerate the algebraic numbers?

    All at once.

    Not true, impossible. All at once is an oximoronic statement.

    Enumerating is a stepwise process. For algebraic numbers the polynomials
    of height n have to be searched one after the other.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Fri Dec 15 22:48:34 2023
    Le 15/12/2023 à 13:55, Richard Damon a écrit :
    On 12/15/23 5:17 AM, WM wrote:

    The index k of the position (m, n) is defined by the choice of m and n.
    For dark positions (that cannot b chosen) no index can be defined.
    Therefore the formula does ot define the whole matrix B.

    The problem is that there are no positions that can not be chosen.

    You don't see them. But they are there.
    Try to identify those which I cannot identify because they are larger than every identified natural number:

    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.

    That is your false assumption.

    No that is mathematics, contrary to the belief of matheologial cranks.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Fri Dec 15 22:43:58 2023
    Le 15/12/2023 à 13:53, Richard Damon a écrit :
    On 12/15/23 5:22 AM, WM wrote:

    Therefore the complete indexing can only happen in the limit or never.
    In fact it will never happen.

    No, it happens "at the limit" since to set is countably infinite.

    Nothing happens at the limit i.e., after all finite terms.

    Simple example: For all x > 0 that can be chosen there exist infinitely
    many smaller fractions. They cannot be distinguished. They cannot be
    indexed.


    If x is your unit fractions or the rationals, then they CAN be indexed,
    just not from lowest to highest.

    Show us how you do that for the ℵ₀ unit fractions which are smaller
    than every chosen x.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Fri Dec 15 20:15:12 2023
    On 12/15/23 5:32 PM, WM wrote:
    Le 15/12/2023 à 18:58, Jim Burns a écrit :
    On 12/15/2023 5:35 AM, WM wrote:
    On 15.12.2023 05:49, Jim Burns wrote:
    On 12/14/2023 2:31 PM, WM wrote:

    What can you do to distinguish them
    in order to enumerate them? Nothing!
    No chosen x will separate them.

    I agree that we finite beings can't distinguish
    infinitely.many things.

    That is not the problem!
    Simply try to distinguish
    any unit fraction which has
    not infinitely many smaller ones.
    Such unit fractions must exist,
    because
    they occupy separate points in a linear order.

    No.

    Yes. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n.
    ∀x ∈ (0, 1]: NUF(x) = ℵo is wrong.

    Regards, WM

    Then name a value that contradicts it!

    Your concept of the function says it only has "finite values>0" for
    input values that can not be used as individual numbers, and thus,
    nowhere is your NUF finite and not 0.

    You problem is that you logic can't handle what you want to talk about,
    so rather than the issue being with what you are trying to talk about,
    the actual issue is with your logic.

    Your "Dark Numbers" are just frm the "darkness" of your logic not being
    up to the task you are using it for.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Fri Dec 15 20:21:34 2023
    On 12/15/23 5:43 PM, WM wrote:
    Le 15/12/2023 à 13:53, Richard Damon a écrit :
    On 12/15/23 5:22 AM, WM wrote:

    Therefore the complete indexing can only happen in the limit or never.
    In fact it will never happen.

    No, it happens "at the limit" since to set is countably infinite.

    Nothing happens at the limit i.e., after all finite terms.

    Simple example: For all x > 0 that can be chosen there exist
    infinitely many smaller fractions. They cannot be distinguished. They
    cannot be indexed.


    If x is your unit fractions or the rationals, then they CAN be
    indexed, just not from lowest to highest.

    Show us how you do that for the ℵ₀ unit fractions which are smaller than every chosen x.

    Regards, WM


    Given n such that 1/n+1 < x <= 1/n, (or n == 0 if 1 < x) then the ℵ₀
    unit fractions smaller than that x are the set of 1/(n+k) for k = 1, 2,
    3, ...

    That IS an unbounded enumeration that visits EVERY unit fraction smaller
    than x. It enumerates them from highest to lowest, since the unit
    fractions form a decreasing series.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Fri Dec 15 20:17:27 2023
    On 12/15/23 5:09 AM, WM wrote:
    On 15.12.2023 09:25, William wrote:
    On Thursday, December 14, 2023 at 3:24:58 PM UTC-4, WM wrote:
    On 14.12.2023 17:34, William wrote:
    On Thursday, December 14, 2023 at 12:23:01 PM UTC-4, WM wrote:
    On 14.12.2023 16:45, William wrote:
    A matrix is defined if there is an algorithm which gives the
    value, given an element of |Nx|N. There is no algorithm for your
    putative A.
    You are wrong. The algorithm is given in the OP.
    Nope, your billiards game defines A(n) for each n. Your billiards
    game does not define A,
    What defines
    A.   I.e. given (n,m) an element of |Nx|N how can you determine the
    value A[m,n].  Your game of billiards does not give a method.

    Dark elements cannot be determined as individuals.
    The same problem is inherent in enumerating the algebraic numbers.
    The same problem is inherent in enumerating the fractions.
    For every eps > 0 there are infinitely many fractions between 0 and eps.
    How should they be indexed?
    All those tasks cannot be executed.

    Regards, WM


    And thus, "Darkness" isn't a property of the Numbers, but of the method
    being use to look at them.

    Every Natural Number is describable individually, we just can't describe
    them all at once with your methods. Thus, your logic just fails to
    handle unbounded sets of items.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Fri Dec 15 20:29:24 2023
    On 12/15/23 5:48 PM, WM wrote:
    Le 15/12/2023 à 13:55, Richard Damon a écrit :
    On 12/15/23 5:17 AM, WM wrote:

    The index k of the position (m, n) is defined by the choice of m and n.
    For dark positions (that cannot b chosen) no index can be defined.
    Therefore the formula does ot define the whole matrix B.

    The problem is that there are no positions that can not be chosen.

    You don't see them. But they are there.
    Try to identify those which I cannot identify because they are larger
    than every identified natural number:

    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.

    That is your false assumption.

    No that is mathematics, contrary to the belief of matheologial cranks.

    Regards, WM



    So, you need to misquote to make you point? Shows the "strength" of your arguement.

    I said:
    The problem is that there are no positions that can not be chosen.

    And that means that there is no element of ℕ that can't become a member
    of ℕ_def, and thus, there are no member of ℕ that are always left
    behind, and thus no elements left to be "dark".

    You say ℕ_def is "potentially" infinite, which means "Dark Numbers" are "potentially non-existent", and since the largest (and ony comlete)
    ℕ_def IS "infinite" your "Dark Numbers" are the empty set.

    And ℕ_def that isn't infinite, isn't the complete set of possible
    entries for it, as n+1 is definable, but excluded from the set of
    "definable" numbers, so that set is incomplete.

    All this shows is that you construction logic can't handle the set you
    are trying to work with, and thus has failed itself.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 08:32:02 2023
    Le 16/12/2023 à 02:21, Richard Damon a écrit :
    On 12/15/23 5:43 PM, WM wrote:

    Show us how you do that for the ℵ₀ unit fractions which are smaller than >> every chosen x.

    Given n such that 1/n+1 < x <= 1/n, (or n == 0 if 1 < x) then the ℵ₀
    unit fractions smaller than that x are the set of 1/(n+k) for k = 1, 2,
    3, ...

    That IS an unbounded enumeration that visits EVERY unit fraction smaller
    than x. It enumerates them from highest to lowest, since the unit
    fractions form a decreasing series.

    In every case ℵ₀ unit fractions are left. Show us a unit fraction
    having less than ℵ₀ smaller unit fractions. Fail.
    Note that by ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 the increase from 0
    happens in steps of height 1. If you deny that then you are outside of mathematics and logic in the realm of glowing faith but irrelevant for mathematical work.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 08:37:31 2023
    Le 16/12/2023 à 02:29, Richard Damon a écrit :
    On 12/15/23 5:48 PM, WM wrote:

    I said:
    The problem is that there are no positions that can not be chosen.

    And that means that there is no element of ℕ that can't become a member
    of ℕ_def,


    That is wrong.


    and thus, there are no member of ℕ that are always left
    behind, and thus no elements left to be "dark".

    You despise mathematics which proves the contrary:
    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo

    You say ℕ_def is "potentially" infinite, which means "Dark Numbers" are "potentially non-existent",

    Dark numbers are the matter that is required to make numbers visible. But almost all dark numbers cannot be made visible because otherwise nothing
    would be left between n and ω.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 08:26:22 2023
    Le 16/12/2023 à 02:15, Richard Damon a écrit :
    On 12/15/23 5:32 PM, WM wrote:

    That is not the problem!
    Simply try to distinguish
    any unit fraction which has
    not infinitely many smaller ones.
    Such unit fractions must exist,
    because
    they occupy separate points in a linear order.

    No.

    Yes. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n.
    ∀x ∈ (0, 1]: NUF(x) = ℵo is wrong.

    Then name a value that contradicts it!

    There are ℵo values which cannot be named as individuals.

    Your concept of the function says it only has "finite values>0" for
    input values that can not be used as individual numbers, and thus,
    nowhere is your NUF finite and not 0.

    You despise mathematics and logic. An increase from 0 to more must pass 1.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Tom Bola@21:1/5 to All on Sat Dec 16 12:41:56 2023
    WM always keeps driveling his abhoring, unworthy, filthy bullshit:

    Le 16/12/2023 à 02:29, Richard Damon a écrit :
    On 12/15/23 5:48 PM, WM wrote:

    I said:
    The problem is that there are no positions that can not be chosen.

    And that means that there is no element of ℕ that can't become a member
    of ℕ_def,


    That is wrong.


    and thus, there are no member of ℕ that are always left
    behind, and thus no elements left to be "dark".

    You despise mathematics which proves the contrary:
    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo

    You say ℕ_def is "potentially" infinite, which means "Dark Numbers" are
    "potentially non-existent",

    Dark numbers are the matter that is required to make numbers visible.

    For the identification of any number it's NOT required to "make these visible", same as it's not required to make each constituent of your abhoring idiocy visible.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 16 06:56:36 2023
    On 12/16/23 3:37 AM, WM wrote:
    Le 16/12/2023 à 02:29, Richard Damon a écrit :
    On 12/15/23 5:48 PM, WM wrote:

    I said:
    The problem is that there are no positions that can not be chosen.

    And that means that there is no element of ℕ that can't become a
    member of ℕ_def,


    That is wrong.

    Why?

    Show the element that can't be.


    and thus, there are no member of ℕ that are always left behind, and
    thus no elements left to be "dark".

    You despise mathematics which proves the contrary:
    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo

    But you can't define the actual set ℕ_def, so that doesn't mean anything.



    You say ℕ_def is "potentially" infinite, which means "Dark Numbers"
    are "potentially non-existent",

    Dark numbers are the matter that is required to make numbers visible.
    But almost all dark numbers cannot be made visible because otherwise
    nothing would be left between n and ω.


    Which is meaningless gobbledygook.

    Note, your "n" is an poorly defined term, you confuse it between A
    natural number, and the "last" final natural number. Since no "last"
    Natural Nubmer exists, your definition of n doesn't exist.

    Your logic just doesn't handle Unboundedness

    Regards, WM



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 17:50:43 2023
    Le 16/12/2023 à 12:56, Richard Damon a écrit :
    On 12/16/23 3:37 AM, WM wrote:

    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo

    But you can't define the actual set ℕ_def, so that doesn't mean anything.

    There is no set but only a potentially infinite collection. Just
    like the collection of known prime numbers.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 17:47:00 2023
    Le 16/12/2023 à 13:13, FromTheRafters a écrit :
    WM was thinking very hard :
    Le 15/12/2023 à 21:52, Jim Reburns a écrit :

    Not true, impossible. All at once is an oximoronic statement.

    Enumerating is a stepwise process.

    No it isn't. This is just a bijective function being applied to the
    whole set. Nothing about steps at all.

    This answer shows that unrealistic fools have seized power and try to shut
    down mathematics. Counting is done step by step.

    For algebraic numbers the polynomials of
    height n have to be searched one after the other.

    Have they found them all yet?

    No infinite set will ever be counted.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 17:53:10 2023
    Le 16/12/2023 à 12:56, Richard Damon a écrit :
    On 12/16/23 3:32 AM, WM wrote:
    Le 16/12/2023 à 02:21, Richard Damon a écrit :
    On 12/15/23 5:43 PM, WM wrote:

    Show us how you do that for the ℵ₀ unit fractions which are smaller >>>> than every chosen x.

    Given n such that 1/n+1 < x <= 1/n,  (or n == 0 if 1 < x) then the ℵ₀ >>> unit fractions smaller than that x are the set of 1/(n+k) for k = 1,
    2, 3, ...

    That IS an unbounded enumeration that visits EVERY unit fraction
    smaller than x. It enumerates them from highest to lowest, since the
    unit fractions form a decreasing series.

    In every case ℵ₀ unit fractions are left. Show us a unit fraction having >> less than ℵ₀ smaller unit fractions. Fail.
    Note that by ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 the increase from 0 happens
    in steps of height 1. If you deny that then you are outside of
    mathematics and logic in the realm of glowing faith but irrelevant for
    mathematical work.

    I don't need to, that is bounded logic,

    It is mathematics.

    You are the one that is going "outside" of mathematics,

    No. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 is basic.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 16 13:02:38 2023
    On 12/16/23 12:47 PM, WM wrote:
    Le 16/12/2023 à 13:13, FromTheRafters a écrit :
    WM was thinking very hard :
    Le 15/12/2023 à 21:52, Jim Reburns a écrit :

    Not true, impossible. All at once is an oximoronic statement.

    Enumerating is a stepwise process.

    No it isn't. This is just a bijective function being applied to the
    whole set. Nothing about steps at all.

    This answer shows that unrealistic fools have seized power and try to
    shut down mathematics. Counting is done step by step.

    Then you can't have the full "Counting Numbers" as you never get to the end.


    For algebraic numbers the polynomials of height n have to be searched
    one after the other.

    Have they found them all yet?

    No infinite set will ever be counted.

    Which is why you can't insist on "counting" step by step sets that are infinite.


    Regards, WM



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 16 13:05:36 2023
    On 12/16/23 12:50 PM, WM wrote:
    Le 16/12/2023 à 12:56, Richard Damon a écrit :
    On 12/16/23 3:37 AM, WM wrote:

    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo

    But you can't define the actual set ℕ_def, so that doesn't mean anything. >>
    There is no set but only a potentially infinite collection. Just like
    the collection of known prime numbers.
    Regards, WM

    Which makes it NOT a "Set of Numbers" and thus can't be removed from a
    "Set of Numbers"

    This makes your "Dark Numbers" not numbers that CAN'T be used
    individually, just those that haven't yet been, but still could be in
    the future.

    Your logic is just broken.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 16 13:03:47 2023
    On 12/16/23 12:53 PM, WM wrote:
    Le 16/12/2023 à 12:56, Richard Damon a écrit :
    On 12/16/23 3:32 AM, WM wrote:
    Le 16/12/2023 à 02:21, Richard Damon a écrit :
    On 12/15/23 5:43 PM, WM wrote:

    Show us how you do that for the ℵ₀ unit fractions which are smaller >>>>> than every chosen x.

    Given n such that 1/n+1 < x <= 1/n,  (or n == 0 if 1 < x) then the ℵ₀
    unit fractions smaller than that x are the set of 1/(n+k) for k = 1,
    2, 3, ...

    That IS an unbounded enumeration that visits EVERY unit fraction
    smaller than x. It enumerates them from highest to lowest, since the
    unit fractions form a decreasing series.

    In every case ℵ₀ unit fractions are left. Show us a unit fraction
    having less than ℵ₀ smaller unit fractions. Fail.
    Note that by ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 the increase from 0
    happens in steps of height 1. If you deny that then you are outside
    of mathematics and logic in the realm of glowing faith but irrelevant
    for mathematical work.

    I don't need to, that is bounded logic,

    It is mathematics.

    No, Mathematics handles the conditions. It is your logic that is broken,


    You are the one that is going "outside" of mathematics,

    No. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 is basic.

    Regards, WM


    Which doesn't say what you want it to say,

    The LOGIC you apply to that statement can't handle unbounded values

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Tom Bola@21:1/5 to All on Sat Dec 16 19:06:43 2023
    The Clown WM always keeps driveling his abhoring, filthy bullshit for about 20 years:

    Le 16/12/2023 à 12:56, Richard Damon a écrit :
    On 12/16/23 3:37 AM, WM wrote:

    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo

    But you can't define the actual set ℕ_def, so that doesn't mean anything. >>
    There is no set but only a potentially infinite collection. Just
    like the collection of known prime numbers.

    For us and with our math everything is fine while for you insulated Eunuch the insane shit that you have read somewhere else takes place right for you alone.

    Piss off already - 20+ years full of you clownish but militant bullshit is enough...

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 19:09:55 2023
    Le 16/12/2023 à 19:02, Richard Damon a écrit :
    On 12/16/23 12:47 PM, WM wrote:
    Le 16/12/2023 à 13:13, FromTheRafters a écrit :
    WM was thinking very hard :
    Le 15/12/2023 à 21:52, Jim Reburns a écrit :

    Not true, impossible. All at once is an oximoronic statement.

    Enumerating is a stepwise process.

    No it isn't. This is just a bijective function being applied to the
    whole set. Nothing about steps at all.

    This answer shows that unrealistic fools have seized power and try to
    shut down mathematics. Counting is done step by step.

    Then you can't have the full "Counting Numbers" as you never get to the end.

    Bingo!

    For algebraic numbers the polynomials of height n have to be searched
    one after the other.

    Have they found them all yet?

    No infinite set will ever be counted.

    Which is why you can't insist on "counting" step by step sets that are infinite.

    The desire to count infinite sets does not relieve the rules of counting.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 19:11:59 2023
    Le 16/12/2023 à 19:03, Richard Damon a écrit :
    On 12/16/23 12:53 PM, WM wrote:

    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 is basic.

    Which doesn't say what you want it to say,

    It says that NUF(x) cannot grow to 2 without having paused at 1.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 16 19:15:10 2023
    Le 16/12/2023 à 19:05, Richard Damon a écrit :
    On 12/16/23 12:50 PM, WM wrote:
    Le 16/12/2023 à 12:56, Richard Damon a écrit :
    On 12/16/23 3:37 AM, WM wrote:

    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo

    But you can't define the actual set ℕ_def, so that doesn't mean anything. >>>
    There is no set but only a potentially infinite collection. Just like
    the collection of known prime numbers.
    Regards, WM

    Which makes it NOT a "Set of Numbers" and thus can't be removed from a
    "Set of Numbers"

    Yes, it is hard to delimit ℕ_def.

    This makes your "Dark Numbers" not numbers that CAN'T be used
    individually, just those that haven't yet been, but still could be in
    the future.

    Many can be used, but almost all cannot. Because you cannot use a unit
    fraction that has only few smaller unit fractions.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 16 15:48:53 2023
    On 12/16/23 2:09 PM, WM wrote:
    Le 16/12/2023 à 19:02, Richard Damon a écrit :
    On 12/16/23 12:47 PM, WM wrote:
    Le 16/12/2023 à 13:13, FromTheRafters a écrit :
    WM was thinking very hard :
    Le 15/12/2023 à 21:52, Jim Reburns a écrit :

    Not true, impossible. All at once is an oximoronic statement.

    Enumerating is a stepwise process.

    No it isn't. This is just a bijective function being applied to the
    whole set. Nothing about steps at all.

    This answer shows that unrealistic fools have seized power and try to
    shut down mathematics. Counting is done step by step.

    Then you can't have the full "Counting Numbers" as you never get to
    the end.

    Bingo!


    So, you are admitting your logic system can't handle it, so any clams
    you make are just invalid


    For algebraic numbers the polynomials of height n have to be
    searched one after the other.

    Have they found them all yet?

    No infinite set will ever be counted.

    Which is why you can't insist on "counting" step by step sets that are
    infinite.

    The desire to count infinite sets does not relieve the rules of counting.

    It meas that any logicsystem that insists on "rules of counting" is insufficient to handle the Natural Numbers (or any bigger set).

    Thus, your "Dark Numbers" don't exist, because they are predicated on a
    number system that can't be handled by your logic system.\

    Making your logic just the logic of a fool.



    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 16 15:51:30 2023
    On 12/16/23 2:11 PM, WM wrote:
    Le 16/12/2023 à 19:03, Richard Damon a écrit :
    On 12/16/23 12:53 PM, WM wrote:

    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 is basic.

    Which doesn't say what you want it to say,

    It says that NUF(x) cannot grow to 2 without having paused at 1.

    Regards, WM


    Which it does before moving any finite distance, since it happens in the ubounded extreame.

    That is one of the strange properties of unboundely small values, while
    any distance is finite, you can have an infinite number of them before
    any finite distance.

    Your logic just can;t handle the unbounded,

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 16 15:54:12 2023
    On 12/16/23 2:15 PM, WM wrote:
    Le 16/12/2023 à 19:05, Richard Damon a écrit :
    On 12/16/23 12:50 PM, WM wrote:
    Le 16/12/2023 à 12:56, Richard Damon a écrit :
    On 12/16/23 3:37 AM, WM wrote:

    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo

    But you can't define the actual set ℕ_def, so that doesn't mean
    anything.

    There is no set but only a potentially infinite collection. Just like
    the collection of known prime numbers.
    Regards, WM

    Which makes it NOT a "Set of Numbers" and thus can't be removed from a
    "Set of Numbers"

    Yes, it is hard to delimit ℕ_def.

    No, ℕ_def is just ℕ, since all of ℕ can be chosen to make a finite initial sequence.


    This makes your "Dark Numbers" not numbers that CAN'T be used
    individually, just those that haven't yet been, but still could be in
    the future.

    Many can be used, but almost all cannot. Because you cannot use a unit fraction that has only few smaller unit fractions.

    No, None can be used because none exist.

    NO unit fraction exists that only has a finite number of smaller unit fractions,

    Regards, WM



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Sat Dec 16 15:39:21 2023
    On 12/15/2023 5:35 AM, WM wrote:
    On 15.12.2023 05:49, Jim Burns wrote:

    Irony:
    It is because we are finite that we know that
    our claims are correct about infinity.

    No,
    because your are stupid, you believe that.

    We know some facts about finite sequences.

    In a finite sequence of claims,
    if any claim is false
    then some claim is first.false.

    In a finite sequence of claims,
    if each claim is not.first.false
    then each claim is not.false.

    Some claims in some sequences
    are visibly not-first-false.
    For example, we can see that
    Q(x) is not.first.false about x in
    ⟨ P(x) Q(x)∨¬P(x) Q(x) ⟩    t       t       t    f       t       t    t       f       f    f       t       f

    For some sequences, we can see that
    they have only not-first-false claims.

    Even if
    I don't know which x refers to
    out of infinitely.many,
    if I can see Q(x) is in a finite claim.sequence
    with only not-first-false claims about x
    I can see that Q(x) is true about x

    Not because of what I know about x
    (which isn't much, here).
    Because of what I know about finite sequences.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Richard Damon on Sun Dec 17 13:38:46 2023
    On 16.12.2023 21:51, Richard Damon wrote:

    That is one of the strange properties of unboundely small values, while
    any distance is finite, you can have an infinite number of them before
    any finite distance.

    That is not a strange property but the belief of a crank.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Richard Damon on Sun Dec 17 13:41:12 2023
    On 16.12.2023 19:03, Richard Damon wrote:
    On 12/16/23 12:53 PM, WM wrote:

    No. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 is basic.

    Which doesn't say what you want it to say,

    The LOGIC you apply to that statement

    says that even one non-vanishing distance is > 0.

    can't handle unbounded values

    shows the nonsense entertained by matheologians in brightest light.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sun Dec 17 07:55:45 2023
    On 12/17/23 7:38 AM, WM wrote:
    On 16.12.2023 21:51, Richard Damon wrote:

    That is one of the strange properties of unboundely small values,
    while any distance is finite, you can have an infinite number of them
    before any finite distance.

    That is not a strange property but the belief of a crank.

    Regards, WM


    Then try to show otherwise!

    Give me the finite value that has no finite value below it.

    How would you even try to create such a number.

    Your arguement is based on the fallacy of assuming such a number exists,
    which is a fallacy.

    That your brain is unable to comprehend how this might work is a problem
    with your brain, not mathematics.

    Your problem is just that it can't handle unbounded sets.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sun Dec 17 07:58:47 2023
    On 12/17/23 7:41 AM, WM wrote:
    On 16.12.2023 19:03, Richard Damon wrote:
    On 12/16/23 12:53 PM, WM wrote:

    No. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 is basic.

    Which doesn't say what you want it to say,

    The LOGIC you apply to that statement

    says that even one non-vanishing distance is > 0.

    Since ALL unit fractions have non-vanishing distance and are > 0, yes,
    there exsits at least one of them.

    But nowhere does that say that there is a "smallest" non-vanishing
    distance that no smaller exist.


    can't handle unbounded values

    shows the nonsense entertained by matheologians in brightest light.

    No, shows that YOU create nonsense to try to explain something you can
    not understand due to your own limits.

    This is a common technique of "primitive" man.


    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sun Dec 17 13:27:53 2023
    Le 17/12/2023 à 13:55, Richard Damon a écrit :

    That your brain is unable to comprehend how this might work is a problem
    with your brain, not mathematics.

    You said: while any distance is finite, you can have an infinite number of
    them
    before any finite distance.

    How do you distinguish then some of these infinitely many unit fractions
    which lie before any finite distance but are not dark?

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Sun Dec 17 10:24:19 2023
    On 12/17/2023 7:38 AM, WM wrote:
    On 16.12.2023 21:51, Richard Damon wrote:

    That is one of the strange properties of
    unboundely small values,
    while any distance is finite,
    you can have an infinite number of them
    before any finite distance.

    That is not a strange property
    but the belief of a crank.

    0 < ⅟x < n < n⁺¹

    ⅟x⋅x⋅⅟n < n⋅x⋅⅟n
    ⅟n < x

    n⋅⅟n⋅⅟n⁺¹ < n⁺¹⋅⅟n⋅⅟n⁺¹
    1/n⁺¹ < 1/n

    0 < ⅟n⁺¹ < ⅟n < x

    https://en.wikipedia.org/wiki/Programme_for_International_Student_Assessment

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sun Dec 17 17:20:05 2023
    Le 17/12/2023 à 16:24, Jim Burns a écrit :
    On 12/17/2023 7:38 AM, WM wrote:
    On 16.12.2023 21:51, Richard Damon wrote:

    That is one of the strange properties of
    unboundely small values,
    while any distance is finite,
    you can have an infinite number of them
    before any finite distance.

    That is not a strange property
    but the belief of a crank.

    Here you have found a congenial fellow. Let an infinite number of bObs disappear and let an infinite number of finite distances disappear. But
    oppose darkness vehemently.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sun Dec 17 12:31:19 2023
    On 12/17/23 8:27 AM, WM wrote:
    Le 17/12/2023 à 13:55, Richard Damon a écrit :

    That your brain is unable to comprehend how this might work is a
    problem with your brain, not mathematics.

    You said: while any distance is finite, you can have an infinite number
    of them before any finite distance.

    How do you distinguish then some of these infinitely many unit fractions which lie before any finite distance but are not dark?

    Regards, WM



    We can give every one of them a unique name, as they are one over some
    natural number, which all have names.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to Richard Damon on Sun Dec 17 12:53:51 2023
    On 12/17/23 12:31 PM, Richard Damon wrote:
    On 12/17/23 8:27 AM, WM wrote:
    Le 17/12/2023 à 13:55, Richard Damon a écrit :

    That your brain is unable to comprehend how this might work is a
    problem with your brain, not mathematics.

    You said: while any distance is finite, you can have an infinite
    number of them before any finite distance.

    How do you distinguish then some of these infinitely many unit
    fractions which lie before any finite distance but are not dark?

    Regards, WM



    We can give every one of them a unique name, as they are one over some natural number, which all have names.


    In fact, I will ask why you think there is any problem giving them a name.

    After all at the point 1/n the length of the flat point before it is of
    lenght 1/n - 1/(n+1) = 1/(n*(n+1)), so even if all the proceeding lines
    were the same length, we would have at least n+1 more gaps, and the fact
    that they get smaller we get even more.

    So even without actually traveling to that smaller space, we can see
    that given we are at 1/n, we can get to at least 1/(2n) in the space
    available, so ther is always room for more.

    This demonstrates that this is an unbounded set and thus we won't see a
    bound on the way.

    We can always find a LOWER bound for the number of smaller unit
    fractions that must exist, but never an UPPER Bound, and the fact that
    the lower bound continues to increase at an increasing rate shows there
    is not actual bound.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sun Dec 17 19:17:52 2023
    Le 17/12/2023 à 18:31, Richard Damon a écrit :
    On 12/17/23 8:27 AM, WM wrote:
    Le 17/12/2023 à 13:55, Richard Damon a écrit :

    That your brain is unable to comprehend how this might work is a
    problem with your brain, not mathematics.

    You said: while any distance is finite, you can have an infinite number
    of them before any finite distance.

    How do you distinguish then some of these infinitely many unit fractions
    which lie before any finite distance but are not dark?

    We can give every one of them a unique name, as they are one over some natural number, which all have names.

    Then give one of those unit fractions which lie before any finite distance
    a name.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sun Dec 17 19:22:40 2023
    Le 17/12/2023 à 18:53, Richard Damon a écrit :
    On 12/17/23 12:31 PM, Richard Damon wrote:
    On 12/17/23 8:27 AM, WM wrote:

    You said: while any distance is finite, you can have an infinite
    number of them before any finite distance.

    How do you distinguish then some of these infinitely many unit
    fractions which lie before any finite distance but are not dark?

    We can give every one of them a unique name, as they are one over some
    natural number, which all have names.

    In fact, I will ask why you think there is any problem giving them a name.

    That's easy. Every name you give belongs to a unit fraction which dos not
    lie before any finite distance.

    After all at the point 1/n the length of the flat point before it is of lenght 1/n - 1/(n+1) = 1/(n*(n+1)), so even if all the proceeding lines
    were the same length, we would have at least n+1 more gaps, and the fact
    that they get smaller we get even more.

    So even without actually traveling to that smaller space, we can see
    that given we are at 1/n, we can get to at least 1/(2n) in the space available, so there is always room for more.

    All named unit fractions have finite distances from 0. I am asking for
    those which "lie before any finite distance" but are not dark.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sun Dec 17 15:17:57 2023
    On 12/17/23 2:17 PM, WM wrote:
    Le 17/12/2023 à 18:31, Richard Damon a écrit :
    On 12/17/23 8:27 AM, WM wrote:
    Le 17/12/2023 à 13:55, Richard Damon a écrit :

    That your brain is unable to comprehend how this might work is a
    problem with your brain, not mathematics.

    You said: while any distance is finite, you can have an infinite
    number of them before any finite distance.

    How do you distinguish then some of these infinitely many unit
    fractions which lie before any finite distance but are not dark?

    We can give every one of them a unique name, as they are one over some
    natural number, which all have names.

    Then give one of those unit fractions which lie before any finite
    distance a name.

    Regards, WM



    Non-existant.

    And WM is an idiot.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sun Dec 17 15:18:05 2023
    On 12/17/23 2:22 PM, WM wrote:
    Le 17/12/2023 à 18:53, Richard Damon a écrit :
    On 12/17/23 12:31 PM, Richard Damon wrote:
    On 12/17/23 8:27 AM, WM wrote:

    You said: while any distance is finite, you can have an infinite
    number of them before any finite distance.

    How do you distinguish then some of these infinitely many unit
    fractions which lie before any finite distance but are not dark?

    We can give every one of them a unique name, as they are one over
    some natural number, which all have names.

    In fact, I will ask why you think there is any problem giving them a
    name.

    That's easy. Every name you give belongs to a unit fraction which dos
    not lie before any finite distance.

    Why does it need to lay before "ANY" finite distance, as that presumes
    that there IS a "first" finite difference


    After all at the point 1/n the length of the flat point before it is
    of lenght 1/n - 1/(n+1) = 1/(n*(n+1)), so even if all the proceeding
    lines were the same length, we would have at least n+1 more gaps, and
    the fact that they get smaller we get even more.

    So even without actually traveling to that smaller space, we can see
    that given we are at 1/n, we can get to at least 1/(2n) in the space
    available, so there is always room for more.

    All named unit fractions have finite distances from 0. I am asking for
    those which "lie before any finite distance" but are not dark.

    Regards, WM


    Why?

    That would be asking me to find your non-existant "Dark" numbers.

    Your problem is you are presuming a "bound" at that end that something
    needs to be before.

    If there is no smallest unit fraction, then there doesn't need to be
    something before that which doesn't exist.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sun Dec 17 15:21:53 2023
    On 12/17/23 2:17 PM, WM wrote:
    Le 17/12/2023 à 18:31, Richard Damon a écrit :
    On 12/17/23 8:27 AM, WM wrote:
    Le 17/12/2023 à 13:55, Richard Damon a écrit :

    That your brain is unable to comprehend how this might work is a
    problem with your brain, not mathematics.

    You said: while any distance is finite, you can have an infinite
    number of them before any finite distance.

    How do you distinguish then some of these infinitely many unit
    fractions which lie before any finite distance but are not dark?

    We can give every one of them a unique name, as they are one over some
    natural number, which all have names.

    Then give one of those unit fractions which lie before any finite
    distance a name.

    Regards, WM



    Note, "Any" means I can choose one. and 1/4 is before 1/2 so meets the
    actual meaning of your quesiton.

    You mean give a unit fraction that is before EVERY unit fraction, but
    that is logically impossible, how can there be a member of a set that
    isn't part of the set it is supposed to be part of.

    You could fix that by saying every other unit fraction, but that implies
    that the set is bounded, which it isn't, so you are just showing you
    don't understand your own logic.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Sun Dec 17 20:35:04 2023
    On 12/17/2023 12:20 PM, WM wrote:
    Le 17/12/2023 à 16:24, Jim Burns a écrit :
    On 12/17/2023 7:38 AM, WM wrote:
    On 16.12.2023 21:51, Richard Damon wrote:

    That is one of the strange properties of
    unboundely small values,
    while any distance is finite,
    you can have an infinite number of them
    before any finite distance.

    That is not a strange property
    but the belief of a crank.

    Here you have found a congenial fellow.
    Let an infinite number of bObs disappear

    For each ⟨i,j⟩
    swap ⟨i,j⟩↔⟨kᵢⱼ,1⟩ exists.
    kᵢⱼ = i+(i+j-1)(i+j-2)/2

    Before ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    each swap keeps kᵢⱼ/1 in ⟨kᵢⱼ,1⟩

    After ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    each swap keeps kᵢⱼ/1 in ⟨i,j⟩

    After all ⟨i,j⟩↔⟨kᵢⱼ,1⟩
    each ⟨i,j⟩ holds index kᵢⱼ/1
    and not.holds not.index i/jᙾ¹

    ...because arithmetic.

    Here you have found a congenial fellow.

    ...meaning: one who accepts arithmetic.

    I admit that I accept arithmetic.

    https://en.wikipedia.org/wiki/Programme_for_International_Student_Assessment

    and let an infinite number of
    finite distances disappear.
    But oppose darkness vehemently.


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Mon Dec 18 11:36:04 2023
    Le 18/12/2023 à 02:35, Jim Burns a écrit :
    On 12/17/2023 12:20 PM, WM wrote:

    Perhaps
    you consider not-asserting contradictions
    to be vehemence, and

    I consider Bob leaving the matrix as impossible.

    Define
    super.visibleᵂᴹ n to be
    visibleᵂᴹ n with
    each number before n visibleᵂᴹ

    Each number before a visible number is visible. This is the definitions of visible n: A FISON {1, 2, 3, ..., n} exists.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Mon Dec 18 11:22:38 2023
    Le 17/12/2023 à 21:21, Richard Damon a écrit :
    On 12/17/23 2:17 PM, WM wrote:

    Note, "Any" means I can choose one.

    No, any means there is no other. Any includes the first distance between
    two unit fractions.

    You mean give a unit fraction that is before EVERY unit fraction, but
    that is logically impossible, how can there be a member of a set that
    isn't part of the set it is supposed to be part of.

    So you agree that the unit fractions and their distances are all there and
    that NUF can not increase by more than 1 without being constant for a
    finite period,

    As it starts with 0, the first increase is by 1.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Mon Dec 18 11:16:39 2023
    Le 17/12/2023 à 21:17, Richard Damon a écrit :
    On 12/17/23 2:17 PM, WM wrote:

    We can give every one of them a unique name, as they are one over some
    natural number, which all have names.

    Then give one of those unit fractions which lie before any finite
    distance a name.

    Non-existant.

    You said: That is one of the strange properties of unboundely small
    values, while any distance is finite, you can have an infinite number of
    them before any finite distance.

    Now they are no longer existant?

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Mon Dec 18 11:19:00 2023
    Le 17/12/2023 à 21:18, Richard Damon a écrit :
    On 12/17/23 2:22 PM, WM wrote:
    Le 17/12/2023 à 18:53, Richard Damon a écrit :
    On 12/17/23 12:31 PM, Richard Damon wrote:
    On 12/17/23 8:27 AM, WM wrote:

    You said: while any distance is finite, you can have an infinite
    number of them before any finite distance.

    How do you distinguish then some of these infinitely many unit
    fractions which lie before any finite distance but are not dark?

    We can give every one of them a unique name, as they are one over
    some natural number, which all have names.

    In fact, I will ask why you think there is any problem giving them a
    name.

    That's easy. Every name you give belongs to a unit fraction which dos
    not lie before any finite distance.

    Why does it need to lay before "ANY" finite distance, as that presumes
    that there IS a "first" finite difference

    That is one of the strange properties of unboundely small values, while
    any distance is finite, you can have an infinite number of them before any finite distance.

    After all at the point 1/n the length of the flat point before it is
    of lenght 1/n - 1/(n+1) = 1/(n*(n+1)), so even if all the proceeding
    lines were the same length, we would have at least n+1 more gaps, and
    the fact that they get smaller we get even more.

    So even without actually traveling to that smaller space, we can see
    that given we are at 1/n, we can get to at least 1/(2n) in the space
    available, so there is always room for more.

    All named unit fractions have finite distances from 0. I am asking for
    those which "lie before any finite distance" but are not dark.


    Why?

    That would be asking me to find your non-existant "Dark" numbers.

    So it is. That is one of the strange properties of unboundely small
    values, while any distance is finite, you can have an infinite number of
    them before any finite distance. They are dark.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Mon Dec 18 09:21:38 2023
    On 12/18/23 6:19 AM, WM wrote:
    Le 17/12/2023 à 21:18, Richard Damon a écrit :
    On 12/17/23 2:22 PM, WM wrote:
    Le 17/12/2023 à 18:53, Richard Damon a écrit :
    On 12/17/23 12:31 PM, Richard Damon wrote:
    On 12/17/23 8:27 AM, WM wrote:

    You said: while any distance is finite, you can have an infinite
    number of them before any finite distance.

    How do you distinguish then some of these infinitely many unit
    fractions which lie before any finite distance but are not dark?

    We can give every one of them a unique name, as they are one over
    some natural number, which all have names.

    In fact, I will ask why you think there is any problem giving them a
    name.

    That's easy. Every name you give belongs to a unit fraction which dos
    not lie before any finite distance.

    Why does it need to lay before "ANY" finite distance, as that presumes
    that there IS a "first" finite difference

    That is one of the strange properties of unboundely small values, while
    any distance is finite, you can have an infinite number of them before
    any finite distance.

    Right, so NUF(x) is infinite for ANY finite number, and thus for ANY
    unit fraction, so it is NEVER 1 at any, so there is no smallest unit
    fraction.


    After all at the point 1/n the length of the flat point before it is
    of lenght 1/n - 1/(n+1) = 1/(n*(n+1)), so even if all the proceeding
    lines were the same length, we would have at least n+1 more gaps,
    and the fact that they get smaller we get even more.

    So even without actually traveling to that smaller space, we can see
    that given we are at 1/n, we can get to at least 1/(2n) in the space
    available, so there is always room for more.

    All named unit fractions have finite distances from 0. I am asking
    for those which "lie before any finite distance" but are not dark.


    Why?

    That would be asking me to find your non-existant "Dark" numbers.

    So it is. That is one of the strange properties of unboundely small
    values, while any distance is finite, you can have an infinite number of
    them before any finite distance. They are dark.

    Regards, WM



    They are not "Dark", they are just more of the finite unit fractions.

    There is no smallest unit fraction, or even smallest definable unit
    fraction, so no need to make some of them "dark", as all of them are "definable" or "nameable" or even usable individually (even if not all
    at once).

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Mon Dec 18 09:27:29 2023
    On 12/18/23 6:22 AM, WM wrote:
    Le 17/12/2023 à 21:21, Richard Damon a écrit :
    On 12/17/23 2:17 PM, WM wrote:

    Note, "Any" means I can choose one.

    No, any means there is no other. Any includes the first distance between
    two unit fractions.

    Which means the existance of a smallest unit fraction, which means the
    unit fractions are bounded on the smallest value side, which means the
    Natural Numbers are bounded on the high side, which is a FALSE
    statement, so can't apply.


    You mean give a unit fraction that is before EVERY unit fraction, but
    that is logically impossible, how can there be a member of a set that
    isn't part of the set it is supposed to be part of.

    So you agree that the unit fractions and their distances are all there
    and that NUF can not increase by more than 1 without being constant for
    a finite period,

    As it starts with 0, the first increase is by 1.

    Regards, WM



    Nope, NUF goes from 0 to 1 in the range of infintesimal numbers which
    are NOT "Unit Fractions" so outside the actual domain of the numbers
    described

    You need to clarify what number system you are working in. If we are
    talking about the Natural Number (which can be built on some simple set
    theory) then these infintesimals, (or the transfinite numbers) don't exist.

    If you want to include them, then you need to define WHICH set of
    transfinites you are workig with, and use the mathematics that the
    chosen set obeys. For instance, your claim of counting one at a time
    doesn't apply (it doesn't even apply to the Natural Numbers).

    Thus, your whole arguement seems to break down to a category error of
    trying to deal with numbers that don't exist in the number system your
    set theory is defining.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Mon Dec 18 15:49:52 2023
    Le 18/12/2023 à 15:21, Richard Damon a écrit :

    Before any given finite point, there are infinitely many smaller points.

    That means these are points, ℵ₀ unit fractions, which cannot be distinguished from each other by defining a point between them.

    So, your "darkness" property is based on the exisnce of things that do
    not exist.

    The darkness property is based upon the non-existence of separators
    between the ℵ₀ unit fractions.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Mon Dec 18 15:56:39 2023
    Le 18/12/2023 à 15:21, Richard Damon a écrit :
    On 12/18/23 6:19 AM, WM wrote:

    Right, so NUF(x) is infinite for ANY finite number, and thus for ANY
    unit fraction, so it is NEVER 1 at any, so there is no smallest unit fraction.

    This is inconsistent with the property, accepted by you: NUF can not
    increase by more than 1 without being constant for a finite period. NUF(0)
    = 0 implies NUF(x) = 1.

    That is one of the strange properties of unboundely small
    values, while any distance is finite, you can have an infinite number of
    them before any finite distance. They are dark.

    They are not "Dark", they are just more of the finite unit fractions.

    They cannot be separated by a finite distance.

    no need to make some of them "dark", as all of them are "definable"

    That contradicts what you said above: you can have an infinite number of
    them before any finite distance. Please decide what you want to believe.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Mon Dec 18 16:00:28 2023
    Le 18/12/2023 à 15:27, Richard Damon a écrit :

    Nope, NUF goes from 0 to 1 in the range of infintesimal numbers which
    are NOT "Unit Fractions" so outside the actual domain of the numbers described

    NUF counts only unit fractions. It cannot increase to 1 without a unit fraction.

    You need to clarify what number system you are working in. If we are
    talking about the Natural Number (which can be built on some simple set theory) then these infintesimals, (or the transfinite numbers) don't exist.

    They are not relevant. If NUF(x) = 1, then (0, x] has covered one unit fraction.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Mon Dec 18 11:27:38 2023
    On 12/18/23 10:49 AM, WM wrote:
    Le 18/12/2023 à 15:21, Richard Damon a écrit :

    Before any given finite point, there are infinitely many smaller points.

    That means these are points, ℵ₀ unit fractions, which cannot be distinguished from each other by defining a point between them.

    Nope, because every unit fraction is distinguishable individually, and
    there are even rational values between them.


    So, your "darkness" property is based on the exisnce of things that do
    not exist.

    The darkness property is based upon the non-existence of separators
    between the ℵ₀ unit fractions.


    But there ARE separators between all of them.

    The ℵ₀ unit fractions are 1/n for n in 1, 2, 3, 4, ...

    and between any 1/n and 1/(n+1) is a point 2/(2n+1)

    So ALL the ℵ₀ unit fractions can be named, and ALL have a finite,
    non-zero distance between them, with a nameable values in that gap.

    So, no darkness.

    Your "darkness" is just your inability to handle unbounded sets, or
    failing to use the right construction method for the numbers you are
    thinking of.

    The Cantor Set method does NOT generate "transfinite" numbers, but only
    finite numbers. You need a different generator (which creates different mathematical rules) to get to them.

    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Mon Dec 18 11:21:53 2023
    On 12/18/23 10:56 AM, WM wrote:
    Le 18/12/2023 à 15:21, Richard Damon a écrit :
    On 12/18/23 6:19 AM, WM wrote:

    Right, so NUF(x) is infinite for ANY finite number, and thus for ANY
    unit fraction, so it is NEVER 1 at any, so there is no smallest unit
    fraction.

    This is inconsistent with the property, accepted by you: NUF can not
    increase by more than 1 without being constant for a finite period.
    NUF(0) = 0 implies NUF(x) = 1.

    Yes, at an infintesimally small value of x.

    NUF has a discontinuity at 0+, as the incremental property only applies
    for FINITE values of x > 0.


    That is one of the strange properties of unboundely small values,
    while any distance is finite, you can have an infinite number of them
    before any finite distance. They are dark.

    They are not "Dark", they are just more of the finite unit fractions.

    They cannot be separated by a finite distance.

    But they are, you don't seem to understand that "finite" can get
    vanishingly small.


    no need to make some of them "dark", as all of them are "definable"

    That contradicts what you said above: you can have an infinite number of
    them before any finite distance. Please decide what you want to believe.

    Regards, WM



    You are mixing up the definition of your word "any", because you logic definition is inconsistent.

    If "any" means, chose a specific one, then yes, for "Any" finite value,
    there are an infinite number of finite values below it.

    If "Any" means, "All", then the statement is just nonsense, it is asking
    for an element of the set that isn't an element of the set.

    If "Any" means All but itself, then the statement is based on a false presumption that their is a minimum of the set, which means an
    assumption of a bound for a set that is unbounded.


    WHICH of these do you mean?

    Using ambiguous language shows that your system has a problem that you
    are trying to hide.

    This is part of your issue, since your "counting" arguement says any
    MUST be a specific one, as that is the only definition that is finitely reachable step by step. You logic system seems to need to be able to use
    the set all at once without actually admitting that it can be used all
    at once.

    Maybe the key to the argument is just forcing you to admit what you mean
    by "any".

    After all, before "any" definite value, there is an infinite and
    indexable set of unit fractions below it, based on 1/(n+1) < x < 1/n and
    the set being 1/(n+k) for k= 1, 2, 3, ...

    Thus, for "any" definable x, there is an infinite number of definable
    unit fractions below it, so for all definable x, the value of NUF(x) is infinite,

    Since "dark" x's can't be used individually, and thus we can't evaluate
    NUF(x) at dark values, we have no points where NUF(x) is 1, there being
    a discontinuiry of NUF(x) at 0+ at the gap between the definite number
    0, and all the finite x > 0, caused by the fact that numbers are "dense".

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Mon Dec 18 11:31:22 2023
    On 12/18/23 11:00 AM, WM wrote:
    Le 18/12/2023 à 15:27, Richard Damon a écrit :

    Nope, NUF goes from 0 to 1 in the range of infintesimal numbers which
    are NOT "Unit Fractions" so outside the actual domain of the numbers
    described

    NUF counts only unit fractions. It cannot increase to 1 without a unit fraction.

    Right, but since there is no smallest unit fraction, it can't count from
    the smallest.

    You are trying to count from infinity.


    You need to clarify what number system you are working in. If we are
    talking about the Natural Number (which can be built on some simple
    set theory) then these infintesimals, (or the transfinite numbers)
    don't exist.

    They are not relevant. If NUF(x) = 1, then (0, x] has covered one unit fraction.

    Which means that x is the smallest unit fraction, which doesn't exist.

    So, NUF is NOT actually defined over the finite values, and is based on
    bad logic.


    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Mon Dec 18 11:48:15 2023
    On 12/18/2023 6:36 AM, WM wrote:
    Le 18/12/2023 à 02:35, Jim Burns a écrit :
    On 12/17/2023 12:20 PM, WM wrote:

    Perhaps
    you consider not-asserting contradictions
    to be vehemence,  and

    I consider Bob leaving the matrix as impossible.





    Define
    super.visibleᵂᴹ n to be
    visibleᵂᴹ n with
    each number before n visibleᵂᴹ

    Each number before a visible number
    is visible.
    This is the definitions of visible n:
    A FISON {1, 2, 3, ..., n} exists.

    Okay.

    Because of what a FISON ⟨0,…,n⟩ is,
    | no visibleᵂᴹ‖darkᵂᴹ n‖n+1
    implies
    | no darkᵂᴹ n e ⟨0,…,n⟩
    and
    | no darkᵂᴹ n e ⟨0,…,n⟩
    implies
    | no visibleᵂᴹ‖darkᵂᴹ n‖n+1






    Regards, WM





    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Mon Dec 18 14:45:16 2023
    On 12/18/2023 6:36 AM, WM wrote:
    Le 18/12/2023 à 02:35, Jim Burns a écrit :

    Define
    super.visibleᵂᴹ n to be
    visibleᵂᴹ n with
    each number before n visibleᵂᴹ

    Each number before a visible number
    is visible.
    This is the definitions of visible n:
    A FISON {1, 2, 3, ..., n} exists.

    Okay.

    Because of what a FISON ⟨0,…,n⟩ is,
    | no visibleᵂᴹ‖darkᵂᴹ n‖n+1
    implies
    | no darkᵂᴹ n ∈ ⟨0,…,n⟩
    and
    | no darkᵂᴹ n ∈ ⟨0,…,n⟩
    implies
    | no visibleᵂᴹ‖darkᵂᴹ n‖n+1

    We don't learn this by performing
    infinitely.many number.actions.
    We learn this by performing
    finitely.many language.actions
    _about_ each of infinitely.many numbers.

    We perform the speech.actions.
    _We know they are true_ because
    we see that none of them are first.false.

    I consider Bob leaving the matrix as
    impossible.

    For each ⟨i,j⟩ in the matrix
    there is ⟨i,j⟩⇄⟨k,1⟩ in the swaps such that
    ⟨k,1⟩ is in the matrix
    ⟨i,j⟩⇄⟨k,1⟩ is first.swap for ⟨k,1⟩
    ⟨i,j⟩⇄⟨k,1⟩ is last.swap for ⟨i,j⟩

    For each ⟨i,j⟩ in the matrix
    after all swaps,
    X which was initially at ⟨k,1⟩ is at ⟨i,j⟩
    and O is not-at ⟨i,j⟩

    I consider Bob leaving the matrix as
    impossible.

    No swap leaves the matrix.

    The matrix is only all ⟨i,j⟩ with
    ⟨1,…,i⟩ ⟨1,…,j⟩
    There are no dark ⟨i,j⟩ in the matrix
    no dark ⟨i,j⟩⇄⟨k,1⟩
    no dark O's

    After all swaps,
    no O is in the matrix,
    either dark or visible

    I consider Bob leaving the matrix as
    impossible.

    https://www.youtube.com/watch?v=TjAg-8qqR3g

    As we see above,
    the matrix is de.Bob.able,
    despite no swap leaving the matrix.

    In contrast,
    | Each ⟨1,…,n⟩ is not.de.Bob.able
    follows from
    | no ⟨1,…,j⟩‖⟨1,…,j,j+1⟩ is
    | not.de.Bob.able‖de.Bob.able

    We know that
    | no ⟨1,…,j⟩‖⟨1,…,j,j+1⟩ is
    | not.de.Bob.able‖de.Bob.able
    because
    the way we de.Bob ⟨1,…,j,j+1⟩
    can be edited to de.Bob ⟨1,…,j⟩

    However,
    Their least upper bound ᴸᵁᴮ⟨⟨1,…,j⟩⟩
    isn't one of the ⟨1,…,j⟩
    Each ⟨1,…,j⟩ is 1.by.1;2.ended
    ᴸᵁᴮ⟨⟨1,…,j⟩⟩ is 1,by,1;1.ended.

    With Bob initially at 0
    we can de.Bob ᴸᵁᴮ⟨⟨1,…,j⟩⟩ by
    only all swaps n⇄n+1

    de.Bob.able ᴸᵁᴮ⟨⟨1,…,j⟩⟩
    doesn't contradict
    not.de.Bob.able ⟨1,…,j⟩
    no ⟨1,…,j⟩ is ᴸᵁᴮ⟨⟨1,…,j⟩⟩

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Tue Dec 19 10:25:45 2023
    Le 18/12/2023 à 17:27, Richard Damon a écrit :

    Nope, because every unit fraction is distinguishable individually, and
    there are even rational values between them.

    Then not ℵ₀ unit fractions would remain below every eps which can be
    used to distinguish them.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Tue Dec 19 10:42:55 2023
    Le 18/12/2023 à 17:48, Jim Burns a écrit :
    On 12/18/2023 6:36 AM, WM wrote:

    Perhaps
    you consider not-asserting contradictions
    to be vehemence,  and

    I consider Bob leaving the matrix as impossible.

    Exchanging between two matrix-position will never decrease the exchanged elements.

    Each number before a visible number
    is visible.
    This is the definitions of visible n:
    A FISON {1, 2, 3, ..., n} exists.

    Okay.

    There is no sharp border between visible and dark

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Tue Dec 19 10:29:23 2023
    Le 18/12/2023 à 17:31, Richard Damon a écrit :
    On 12/18/23 11:00 AM, WM wrote:
    Le 18/12/2023 à 15:27, Richard Damon a écrit :

    You need to clarify what number system you are working in. If we are
    talking about the Natural Number (which can be built on some simple
    set theory) then these infintesimals, (or the transfinite numbers)
    don't exist.

    We are using only natural numbers and their reciprocals. No
    infinitesimals.

    They are not relevant. If NUF(x) = 1, then (0, x] has covered one unit
    fraction.

    Which means that x is the smallest unit fraction, which doesn't exist.

    It does exist, if this is correct for all natural numbers:
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0.

    So, NUF is NOT actually defined over the finite values, and is based on
    bad logic.

    NUF is defined everywhere.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Tue Dec 19 10:16:17 2023
    Le 18/12/2023 à 17:21, Richard Damon a écrit :
    On 12/18/23 10:56 AM, WM wrote:
    Le 18/12/2023 à 15:21, Richard Damon a écrit :
    On 12/18/23 6:19 AM, WM wrote:

    Right, so NUF(x) is infinite for ANY finite number, and thus for ANY
    unit fraction, so it is NEVER 1 at any, so there is no smallest unit
    fraction.

    This is inconsistent with the property, accepted by you: NUF can not
    increase by more than 1 without being constant for a finite period.
    NUF(0) = 0 implies NUF(x) = 1.

    Yes, at an infintesimally small value of x.

    No unit fraction is infinitesimally small. But perhaps you call dark
    values infinitesimally small.

    NUF has a discontinuity at 0+, as the incremental property only applies
    for FINITE values of x > 0.

    It applies for ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0. You see the
    universal quantifier?


    That is one of the strange properties of unboundely small values,
    while any distance is finite, you can have an infinite number of them
    before any finite distance. They are dark.

    They are not "Dark", they are just more of the finite unit fractions.

    They cannot be separated by a finite distance.

    But they are,

    They are separated, of course. But you cannot find the separating
    distances d_n because they are dark.

    you don't seem to understand that "finite" can get
    vanishingly small.

    I understand that a finite d_n cannot vanish.

    If "any" means, chose a specific one, then yes, for "Any" finite value,
    there are an infinite number of finite values below it.

    That is what we call epsilon, a distance eps > 0 that can be chosen.

    If "Any" means, "All", then the statement is just nonsense, it is asking
    for an element of the set that isn't an element of the set.

    Of course. Therefore ∀x ∈ (0, 1]: NUF(x) = ℵo is false.

    There are ℵo unit fractions. For any eps > 0 we have finitely many in
    [eps, 1] and infinitely man in (0, eps). They cannot be separated by
    chosen eps. They are dark.

    Thus, for "any" definable x, there is an infinite number of definable
    unit fractions below it, so for all definable x, the value of NUF(x) is infinite,

    All definable unit fractions can be applied as epsilons. Therefore there
    cannot be ℵo smaller definable unit fractions.

    Since "dark" x's can't be used individually, and thus we can't evaluate NUF(x) at dark values, we have no points where NUF(x) is 1

    Correct. We can only discern from the mathematical basic truth
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0
    that such an x must exist. We will never find it.

    there being
    a discontinuiry of NUF(x) at 0+ at the gap between the definite number
    0, and all the finite x > 0, caused by the fact that numbers are "dense".

    So it appears to us. But we can try to do research beyond this image.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Tue Dec 19 09:07:37 2023
    On 12/19/23 5:25 AM, WM wrote:
    Le 18/12/2023 à 17:27, Richard Damon a écrit :

    Nope, because every unit fraction is distinguishable individually, and
    there are even rational values between them.

    Then not ℵ₀ unit fractions would remain below every eps which can be
    used to distinguish them.

    Regards, WM

    Why?

    Remember, you are talking about an UNBOUNDED set, so it is
    inexhaustible. You just keep on using "Bounded" logic based on Bounded mathematics.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Tue Dec 19 09:14:11 2023
    On 12/19/23 5:29 AM, WM wrote:
    Le 18/12/2023 à 17:31, Richard Damon a écrit :
    On 12/18/23 11:00 AM, WM wrote:
    Le 18/12/2023 à 15:27, Richard Damon a écrit :

    You need to clarify what number system you are working in. If we are
    talking about the Natural Number (which can be built on some simple
    set theory) then these infintesimals, (or the transfinite numbers)
    don't exist.

    We are using only natural numbers and their reciprocals. No infinitesimals.

    Then your "dark numbers" don't exist, because ALL Natural Numbers and
    their recipricals are individually usable. PERIOD.


    They are not relevant. If NUF(x) = 1, then (0, x] has covered one
    unit fraction.

    Which means that x is the smallest unit fraction, which doesn't exist.

    It does exist, if this is correct for all natural numbers:
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0.

    Why?


    So, NUF is NOT actually defined over the finite values, and is based
    on bad logic.

    NUF is defined everywhere.


    No, since you just admitted that your number system is the Natural
    Numbers and there reciprical, NUF is only defined at 0. at any value of
    x > 0, NUF does not have a value in the system, as it has a discontiuity between 0 and the finite values.

    Your "argument" about increasing by one occurs at values that are NOT in
    your domain, as they require there to be a bound on the Unit Fractions,
    thus assuming something that is not true.

    NUF actually does those finite steps at infintesimals, which you admit
    aren't in the domain of discussion, thus your NUF fails to be defined
    for x > 0.

    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Tue Dec 19 13:15:30 2023
    On 12/19/2023 5:42 AM, WM wrote:
    Le 18/12/2023 à 17:48, Jim Burns a écrit :
    On 12/18/2023 6:36 AM, WM wrote:

    I consider Bob leaving the matrix
    as impossible.

    Exchanging between two matrix-position
    will never decrease
    the exchanged elements.

    I think it can be a good and useful thing
    to say
    | 2¹ᐟ² is impossible
    in a discussion about rationals.

    However, that type of impossibility
    has no power outside that discussion.
    2¹ᐟ² is possible in other discussions.

    There are matrices ⟨1,…,i⟩×⟨1,…,j⟩ for which
    Bob leaving ⟨1,…,i⟩×⟨1,…,j⟩ is impossible.
    Each of these ⟨1,…,i⟩×⟨1,…,j⟩ is without
    internal de.Bob.ification.

    If the discussion was about
    only those matrices,
    you would be correct, in that discussion.

    However,
    this discussion is about a matrix which
    contains all of those as sub.matrices.

    In this discussion,
    there are darklessᵂᴹ matrices with
    internal de.Bob.ification

    Consider 𝕍
    the least upper bound of all ⟨1,…,n⟩
    Each n ∈ 𝕍 is visibleᵂᴹ

    ℕ is the set of natural numbers
    𝔻 = ℕ\𝕍 contains anything darkᵂᴹ in ℕ
    Standardly, ℕ = 𝕍, 𝔻 = {}
    but we consider other possibilities.

    In another part of this discussion,
    A = ℕ×ℕ
    A = 𝕍×𝕍 ∪ 𝕍×𝔻 ∪ 𝔻×𝕍 ∪ 𝔻×𝔻
    B = 𝕍×𝕍

    B = 𝕍×𝕍 is darklessᵂᴹ
    B = 𝕍×𝕍 has internal de.Bob-ification

    For each ⟨i,j⟩ in 𝕍×𝕍
    there is ⟨i,j⟩⇄⟨k,1⟩ in the swaps such that
    ⟨k,1⟩ is in 𝕍×𝕍 [internal swap!]
    ⟨i,j⟩⇄⟨k,1⟩ is first.swap for ⟨k,1⟩
    ⟨i,j⟩⇄⟨k,1⟩ is last.swap for ⟨i,j⟩

    For each ⟨i,j⟩ in 𝕍×𝕍
    after all swaps,
    X which was initially at ⟨k,1⟩ is at ⟨i,j⟩

    For each ⟨i,j⟩ in 𝕍×𝕍
    after all swaps,
    O is not-at ⟨i,j⟩

    𝕍×𝕍 has been internally de.Bob.ified.

    Each number before a visible number
    is visible.
    This is the definitions of visible n:
    A FISON {1, 2, 3, ..., n} exists.

    Okay.

    There is no sharp border between
    visible and dark

    For each non-empty split F,H of ⟨1,…,n⟩
    i‖i+1 exists last‖first in F‖H

    That's trivially true of ⟨1,…,n⟩
    because of what I mean by ⟨1,…,n⟩
    but trivially true is true.

    Augment that true claim with only
    claims not.first.false about ⟨1,…,n⟩
    and the augmenting claims _must_ be
    true about ⟨1,…,n⟩

    That's how we know (not merely claim)
    that darknessᵂᴹ is not necessary for
    internal de.Bob.ification

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to Chris M. Thomasson on Tue Dec 19 21:07:40 2023
    On 12/19/23 7:58 PM, Chris M. Thomasson wrote:
    On 12/19/2023 2:16 AM, WM wrote:
    Le 18/12/2023 à 17:21, Richard Damon a écrit :
    On 12/18/23 10:56 AM, WM wrote:
    Le 18/12/2023 à 15:21, Richard Damon a écrit :
    On 12/18/23 6:19 AM, WM wrote:

    Right, so NUF(x) is infinite for ANY finite number, and thus for
    ANY unit fraction, so it is NEVER 1 at any, so there is no smallest
    unit fraction.

    This is inconsistent with the property, accepted by you: NUF can not
    increase by more than 1 without being constant for a finite period.
    NUF(0) = 0 implies NUF(x) = 1.

    Yes, at an infintesimally small value of x.

    No unit fraction is infinitesimally small. But perhaps you call dark
    values infinitesimally small.

    Huh? 1/1, 1/2, 1/3, ...

    They do get infinitely small, yet never equal zero...


    No, they get unboundedly small, but every one is finite, so it isn't "infinitely" small. The key is unboundedly small means there is no
    smallest item, but is just ever getting smaller, but stays a finitely describable value.

    NUF(x) = 1 only at an INFINITELY small value, which is smaller than all UNBOUNDLY small values. The "Infinitely small values" are a different
    type of number, NOT part of the standard definition of unit fractions or
    the unbounded numeber systems like rational or reals.

    These are similar classes of numbers as that which deals with the
    mathematics of Omega and its friends. In other words, the Transfinites,
    which WM has admitted are out of this domain of discussion.

    In one sense, his "dark" numbers could be these transfinites, except he
    claims that his "dark numbers" are specifically part of the Natural
    Numbers / Unit Fractions (which the Transfinite are not). Also, the
    Transfinite numbers are "nameable" and "usable individually" (just not
    with sets limited to the finite numbers).

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to Chris M. Thomasson on Tue Dec 19 21:50:23 2023
    On 12/19/23 9:27 PM, Chris M. Thomasson wrote:
    On 12/19/2023 6:07 PM, Richard Damon wrote:
    On 12/19/23 7:58 PM, Chris M. Thomasson wrote:
    On 12/19/2023 2:16 AM, WM wrote:
    Le 18/12/2023 à 17:21, Richard Damon a écrit :
    On 12/18/23 10:56 AM, WM wrote:
    Le 18/12/2023 à 15:21, Richard Damon a écrit :
    On 12/18/23 6:19 AM, WM wrote:

    Right, so NUF(x) is infinite for ANY finite number, and thus for >>>>>>> ANY unit fraction, so it is NEVER 1 at any, so there is no
    smallest unit fraction.

    This is inconsistent with the property, accepted by you: NUF can
    not increase by more than 1 without being constant for a finite
    period. NUF(0) = 0 implies NUF(x) = 1.

    Yes, at an infintesimally small value of x.

    No unit fraction is infinitesimally small. But perhaps you call dark
    values infinitesimally small.

    Huh? 1/1, 1/2, 1/3, ...

    They do get infinitely small, yet never equal zero...


    No, they get unboundedly small, but every one is finite, so it isn't
    "infinitely" small. The key is unboundedly small means there is no
    smallest item, but is just ever getting smaller, but stays a finitely
    describable value.

    NUF(x) = 1 only at an INFINITELY small value, which is smaller than
    all UNBOUNDLY small values. The "Infinitely small values" are a
    different type of number, NOT part of the standard definition of unit
    fractions or the unbounded numeber systems like rational or reals.

    These are similar classes of numbers as that which deals with the
    mathematics of Omega and its friends. In other words, the
    Transfinites, which WM has admitted are out of this domain of discussion.

    In one sense, his "dark" numbers could be these transfinites, except
    he claims that his "dark numbers" are specifically part of the Natural
    Numbers / Unit Fractions (which the Transfinite are not). Also, the
    Transfinite numbers are "nameable" and "usable individually" (just not
    with sets limited to the finite numbers).


    Humm... How about, humm, their ability to go to infinity is unbounded?
    Is that okay? They do get smaller...

    Yes, that could be an ok wording (in my opinion). The key is that the
    unit fractions, like the Natural Numbers, never REACH the
    infintesimal/infinite limit, but approach it without a limiting bound.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 10:07:38 2023
    Le 19/12/2023 à 15:14, Richard Damon a écrit :

    NUF actually does those finite steps at infinitesimals,

    Whatever you call them, these steps cannot be investigated as individuals.
    They are dark.

    your NUF fails to be defined for x > 0.

    The function is defined but its values are dark for small x.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 10:00:21 2023
    Le 19/12/2023 à 15:07, Richard Damon a écrit :
    On 12/19/23 5:16 AM, WM wrote:


    Right, so NUF(x) is infinite for ANY finite number, and thus for ANY >>>>> unit fraction, so it is NEVER 1 at any, so there is no smallest unit >>>>> fraction.

    This is inconsistent with the property, accepted by you: NUF can not
    increase by more than 1 without being constant for a finite period.
    NUF(0) = 0 implies NUF(x) = 1.

    Yes, at an infintesimally small value of x.

    No unit fraction is infinitesimally small. But perhaps you call dark
    values infinitesimally small.

    But they are UNBOUNDEDLY small, which means there is no smallest.

    Each dunit fraction is finite and larger than zero. There is a smallest.
    An increase of NUF(x) before every x > 0 is impossible. There is a first increase after 0, but not to more than 1, because after every unit
    fraction there is a distance d_n > 0.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 10:12:40 2023
    Le 19/12/2023 à 19:15, Jim Burns a écrit :
    On 12/19/2023 5:42 AM, WM wrote:
    Le 18/12/2023 à 17:48, Jim Burns a écrit :
    On 12/18/2023 6:36 AM, WM wrote:

    I consider Bob leaving the matrix
    as impossible.

    Exchanging between two matrix-position
    will never decrease
    the exchanged elements.

    I think it can be a good and useful thing
    to say
    | 2¹ᐟ² is impossible
    in a discussion about rationals.

    However, that type of impossibility
    has no power outside that discussion.
    2¹ᐟ² is possible in other discussions.

    There are matrices ⟨1,…,i⟩×⟨1,…,j⟩ for which
    Bob leaving ⟨1,…,i⟩×⟨1,…,j⟩ is impossible.

    Only those matrices exist, because otherwise logic is violated. By
    definition only exchanging X and O without loss is allowed.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 09:55:49 2023
    Le 19/12/2023 à 15:07, Richard Damon a écrit :
    On 12/19/23 5:25 AM, WM wrote:
    Le 18/12/2023 à 17:27, Richard Damon a écrit :

    Nope, because every unit fraction is distinguishable individually, and
    there are even rational values between them.

    Then not ℵ₀ unit fractions would remain below every eps which can be
    used to distinguish them.

    Why?

    Remember, you are talking about an UNBOUNDED set

    Wrong. The set of unit fractions is bounded by 0 and 1.

    so it is inexhaustible.

    NUF(x) exists for every point.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 10:36:49 2023
    Le 20/12/2023 à 03:07, Richard Damon a écrit :

    No, they get unboundedly small, but every one is finite, so it isn't "infinitely" small.

    Correct.

    NUF(x) = 1 only at an INFINITELY small value, which is smaller than all UNBOUNDLY small values.

    Smaller than all eps > 0 that can be chosen. So it is.

    But you cannot oppose to this result: NUF(0) = 0 ad NUF(eps) = ℵo. That
    means the increase from 0 to ℵo cannot be seen and discerned. The axiom
    of choice is invalid here.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 20 07:42:57 2023
    On 12/20/23 5:00 AM, WM wrote:
    Le 19/12/2023 à 15:07, Richard Damon a écrit :
    On 12/19/23 5:16 AM, WM wrote:


    Right, so NUF(x) is infinite for ANY finite number, and thus for
    ANY unit fraction, so it is NEVER 1 at any, so there is no
    smallest unit fraction.

    This is inconsistent with the property, accepted by you: NUF can
    not increase by more than 1 without being constant for a finite
    period. NUF(0) = 0 implies NUF(x) = 1.

    Yes, at an infintesimally small value of x.

    No unit fraction is infinitesimally small. But perhaps you call dark
    values infinitesimally small.

    But they are UNBOUNDEDLY small, which means there is no smallest.

    Each dunit fraction is finite and larger than zero. There is a smallest.
    An increase of NUF(x) before every x > 0 is impossible. There is a first increase after 0, but not to more than 1, because after every unit
    fraction there is a distance d_n > 0.

    Regards, WM


    No, there is no smallest finite.

    If you disagree, name it.

    When you try to name it, cal it x.

    x/2 is smaller and finite, so you lied.

    Thus, your logic is wrong, and you are proved to be a liar.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 20 07:55:53 2023
    On 12/20/23 4:55 AM, WM wrote:
    Le 19/12/2023 à 15:07, Richard Damon a écrit :
    On 12/19/23 5:25 AM, WM wrote:
    Le 18/12/2023 à 17:27, Richard Damon a écrit :

    Nope, because every unit fraction is distinguishable individually,
    and there are even rational values between them.

    Then not ℵ₀ unit fractions would remain below every eps which can be >>> used to distinguish them.

    Why?

    Remember, you are talking about an UNBOUNDED set

    Wrong. The set of unit fractions is bounded by 0 and 1.

    0 is not a "Unit Fraction" so not a bound but a limit.


    so it is inexhaustible.

    NUF(x) exists for every point.

    But is infinite, and thus NOT a finite value for all finite x > 0, so if
    you are working in the relm of finite numbers, like you claim, isn't
    actually defined for ANY finite x > 0, so your system went *BOOM* in a lie.


    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 20 07:54:05 2023
    On 12/20/23 5:36 AM, WM wrote:
    Le 20/12/2023 à 03:07, Richard Damon a écrit :

    No, they get unboundedly small, but every one is finite, so it isn't
    "infinitely" small.

    Correct.

    NUF(x) = 1 only at an INFINITELY small value, which is smaller than
    all UNBOUNDLY small values.

    Smaller than all eps > 0 that can be chosen. So it is.

    Which isn't a finite number. Your logic doesn't even work for finite
    sets. Which of the letters {A, B, C, ... Z} comes before ALL the
    elements of that set (not A, as A isn't before A).

    There can not be a "finite number" that is smaller than ALL finite
    numbers. That is like the set that contains all sets that doesn't
    contain itself. *BOOM*


    But you cannot oppose to this result: NUF(0) = 0 ad NUF(eps) = ℵo. That means the increase from 0 to ℵo cannot be seen and discerned. The axiom
    of choice is invalid here.

    Regards, WM

    Right, and the points it increases are NOT "finite" numbers, and thus
    NOT the "unit fractions" that you talk about.

    It increases over a different set of numbers, which are NOT the unit
    fractions, or any finite number, they are the infinitesimals, which you
    have explicitly said are not your "dark numbers" (and can't be, because
    they are all individually namable in a system that can talk about them
    at all).

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 20 07:59:59 2023
    On 12/20/23 5:07 AM, WM wrote:
    Le 19/12/2023 à 15:14, Richard Damon a écrit :

    NUF actually does those finite steps at infinitesimals,

    Whatever you call them, these steps cannot be investigated as
    individuals. They are dark.
    your NUF fails to be defined for x > 0.

    The function is defined but its values are dark for small x.

    No, the function isn't defined for any finite x.

    If you disagree, NAME an actual finite value and give its finite value
    for that finite value. (name, not just a description like "the smallest"
    which doesn't actually exist)

    It is only "defined" for 0, and x that are not finite, but
    infintesimally small, and thus out of your domain of regard.

    The "values" of the function aren't dark, at best you could claim the
    domain is dark, but then dark values can't be part of the domain of a
    funtion, as inputs to a function must be used "individually", which your
    "dark" numbers can not be.

    So, you system has good *BOOM* in a puff of illogic.


    Regards, WM




    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 16:14:41 2023
    Le 20/12/2023 à 13:42, Richard Damon a écrit :
    On 12/20/23 5:00 AM, WM wrote:

    Each unit fraction is finite and larger than zero. There is a smallest.
    An increase of NUF(x) before every x > 0 is impossible. There is a first
    increase after 0, but not to more than 1, because after every unit
    fraction there is a distance d_n > 0.

    No, there is no smallest finite.

    If you disagree, name it.

    It is dark. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 holds for all
    natnumbers.

    You disagree with mathematics and with my logic:

    Every positive point has ℵo unit fractions at its left-hand side.
    There is no positive point with less than ℵo unit fractions
    at its left-hand side.
    All positive points with no exception have ℵo unit fractions at
    their left-hand
    side.
    The interval (0, 1] has aleph_0 unit fractions at its left-hand side. Contradiction.

    Probably you support the "logic" of matheologians like Feldhase.

    There is no positive point with less than ℵo unit fractions at its
    left-hand side.
    But that does not imply that ℵo unit fractions lie left of the interval.

    But that is nonsense - if all points can be selected as the axiom of
    choice proposes.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 20 11:38:24 2023
    On 12/20/23 11:14 AM, WM wrote:
    Le 20/12/2023 à 13:42, Richard Damon a écrit :
    On 12/20/23 5:00 AM, WM wrote:

    Each unit fraction is finite and larger than zero. There is a
    smallest. An increase of NUF(x) before every x > 0 is impossible.
    There is a first increase after 0, but not to more than 1, because
    after every unit fraction there is a distance d_n > 0.

    No, there is no smallest finite.

    If you disagree, name it.

    It is dark. ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 holds for all natnumbers.

    You disagree with mathematics and with my logic:

    No, it is NON-EXISTANT.


    Every positive point has ℵo unit fractions at its left-hand side.
    There is no positive point with less than ℵo unit fractions
    at its left-hand side.
    All positive points with no exception have ℵo unit fractions at
    their left-hand
    side.
    The interval (0, 1] has aleph_0 unit fractions at its left-hand side. Contradiction.

    What contradiction?

    Every finite natural number has ℵo Natural Numbers above it, so the just isn't a highest.

    Evry finite unit fraction has ℵo finite unit fractions smaller than it,
    so no unit fraciton is the smallest.

    No contradictions.

    The contradiction is in assuming that there needs to be a smallest
    "defined" natural number so all the ones less than it are "dark"

    ALL Natural Numbers are definable, so the set of "dark" natural numbers
    is empty.


    Probably you support the "logic" of matheologians like Feldhase.

    There is no positive point with less than ℵo unit fractions at its left-hand side.
    But that does not imply that ℵo unit fractions lie left of the interval.

    Why not?

    But that is nonsense - if all points can be selected as the axiom of
    choice proposes.

    Why?

    What in the "Axiom of Choice" says we can choose the "End" of an
    Unbounded set?

    In fact, you could argue that the principle of chioce implies your dark
    numbers don't exist, as if it is non-empty, it means you can always
    choose an individual in it. After all, you claim your "dark numbers" are elements of the Natural Numbers, and as such, indexable (since Natural
    Numbers are their own index) so it applies to that set.


    Regards, WM



    You are just trying to use "Bounded" logic on an unbounded set.

    That logic can't HAVE the "Natural Numbers" in it, so is unsuitable for
    the job.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 16:18:53 2023
    Le 20/12/2023 à 13:54, Richard Damon a écrit :
    On 12/20/23 5:36 AM, WM wrote:

    Smaller than all eps > 0 that can be chosen. So it is.

    Which isn't a finite number.

    There are many finite numbers smaller than every esp > 0 that can be
    chosen.

    There can not be a "finite number" that is smaller than ALL finite
    numbers

    Choose an eps > 0 with less than almost all unit fractions in (0, eps].
    Fail.

    But you cannot oppose to this result: NUF(0) = 0 ad NUF(eps) = ℵo. That
    means the increase from 0 to ℵo cannot be seen and discerned. The axiom
    of choice is invalid here.

    Right, and the points it increases are NOT "finite" numbers, and thus
    NOT the "unit fractions" that you talk about.

    How should the number of unit fractions increase before all unit
    fractions?
    Finest logic!

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 20 11:42:24 2023
    On 12/20/23 11:18 AM, WM wrote:
    Le 20/12/2023 à 13:54, Richard Damon a écrit :
    On 12/20/23 5:36 AM, WM wrote:

    Smaller than all eps > 0 that can be chosen. So it is.

    Which isn't a finite number.

    There are many finite numbers smaller than every esp > 0 that can be
    chosen.

    SO you agree that there is no "smallest" eps that can be used.

    There can not be a "finite number" that is smaller than ALL finite
    numbers

    Choose an eps > 0 with less than almost all unit fractions in (0, eps].
    Fail.

    Why should you be able to?

    Choose a number greater than 1/2 of infinity? That is a nonsense question,


    But you cannot oppose to this result: NUF(0) = 0 ad NUF(eps) = ℵo.
    That means the increase from 0 to ℵo cannot be seen and discerned.
    The axiom of choice is invalid here.

    Right, and the points it increases are NOT "finite" numbers, and thus
    NOT the "unit fractions" that you talk about.

    How should the number of unit fractions increase before all unit fractions? Finest logic!

    Simply because you are referencing an non-existance, there is no
    "before" all unit fractions as a finite value that isn't 0

    Make logic based on the existance of the non-existent and you can make
    anything you want seem to make sense, but the logic becomes worthless.


    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 17:34:40 2023
    Le 20/12/2023 à 17:42, Richard Damon a écrit :
    On 12/20/23 11:18 AM, WM wrote:
    Le 20/12/2023 à 13:54, Richard Damon a écrit :
    On 12/20/23 5:36 AM, WM wrote:

    Smaller than all eps > 0 that can be chosen. So it is.

    Which isn't a finite number.

    There are many finite numbers smaller than every esp > 0 that can be
    chosen.

    SO you agree that there is no "smallest" eps that can be used.

    Of course.

    There can not be a "finite number" that is smaller than ALL finite
    numbers

    Choose an eps > 0 with less than almost all unit fractions in (0, eps].
    Fail.

    Why should you be able to?

    Choose a number greater than 1/2 of infinity? That is a nonsense question,

    because it can't be done. But if all were there and accessible, it could
    be done.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 20 17:31:25 2023
    Le 20/12/2023 à 17:38, Richard Damon a écrit :
    On 12/20/23 11:14 AM, WM wrote:

    Every positive point has ℵo unit fractions at its left-hand side.
    There is no positive point with less than ℵo unit fractions
    at its left-hand side.
    All positive points with no exception have ℵo unit fractions at
    their left-hand
    side.
    The interval (0, 1] has aleph_0 unit fractions at its left-hand side.
    Contradiction.

    What contradiction?

    There is no unit fraction left-hand of the interval.

    But that does not imply that ℵo unit fractions lie left of the interval.

    Why not?

    Because they all are positive.

    But that is nonsense - if all points can be selected as the axiom of
    choice proposes.

    Why?

    What in the "Axiom of Choice" says we can choose the "End" of an
    Unbounded set?

    It says that we can choose every element. But here almost all remain below every choice.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Wed Dec 20 14:19:57 2023
    On 12/20/2023 5:12 AM, WM wrote:
    Le 19/12/2023 à 19:15, Jim Burns a écrit :
    On 12/19/2023 5:42 AM, WM wrote:
    Le 18/12/2023 à 17:48, Jim Burns a écrit :
    On 12/18/2023 6:36 AM, WM wrote:

    I consider Bob leaving the matrix
    as impossible.

    Exchanging between two matrix-position
    will never decrease
    the exchanged elements.

    I think it can be a good and useful thing
    to say
    | 2¹ᐟ² is impossible
    in a discussion about rationals.

    However, that type of impossibility
    has no power outside that discussion.
    2¹ᐟ² is possible in other discussions.

    There are matrices ⟨1,…,i⟩×⟨1,…,j⟩ for which
    Bob leaving ⟨1,…,i⟩×⟨1,…,j⟩ is impossible.

    Only those matrices exist,
    because otherwise logic is violated.

    2¹ᐟ² _among the rationals_ violates logic.
    meaning: 2¹ᐟ² is irrational.

    However,
    if we're discussing the real numbers, then,
    no,
    2¹ᐟ² _among the reals_ doesn't violate logic.

    Set A ⊇ each ⟨1,…,i⟩×⟨1,…,j⟩
    _among sets without internal de.Bob.ification_
    violates logic.
    meaning: A is infinite.

    If it were only finite sets we were discussing,
    that would be fine.
    However,
    we are having a different discussion here,
    a discussion in part about set A
    Set A is where you've placed your darknessᵂᴹ

    By definition only
    exchanging X and O without loss
    is allowed.

    Perhaps you will define 2¹ᐟ² to be rational.
    If you do that,
    the difficulties you encounter will not be
    because you're a secret genius.

    ----
    𝕍×𝕍 is the least upper bound of
    all the ⟨1,…,i⟩×⟨1,…,j⟩

    Each ⟨1,…,i⟩×⟨1,…,j⟩ subset 𝕍×𝕍

    For any set S such that
    each ⟨1,…,i⟩×⟨1,…,j⟩ subset S
    𝕍×𝕍 subset S

    For example,
    each ⟨1,…,i⟩×⟨1,…,j⟩ subset A
    𝕍×𝕍 subset A

    For each ⟨i,j⟩ in 𝕍×𝕍
    i ∈ ⟨1,…,i⟩, j ∈ ⟨1,…,j⟩
    ⟨i,j⟩ is visibleᵂᴹ
    Otherwise, 𝕍×𝕍 isn't least.

    𝕍×𝕍 is without darkᵂᴹ

    For each ⟨i,j⟩ in 𝕍×𝕍
    ⟨i,j⟩⇄⟨k,1⟩
    k = i+(i+j-1)(i+j-2)/2
    is in the swaps,
    and the swaps are only those swaps.

    (1)
    ⟨k,1⟩ is in 𝕍×𝕍
    ⟨i,j⟩⇄⟨k,1⟩ is internal to 𝕍×𝕍

    (2)
    ⟨i,j⟩⇄⟨k,1⟩ is first.swap for ⟨k,1⟩
    Before ⟨i,j⟩⇄⟨k,1⟩
    ⟨k,1⟩ holds Xₖ which ⟨k,1⟩ initially held.

    (3)
    ⟨i,j⟩⇄⟨k,1⟩ is last.swap for ⟨i,j⟩
    After ⟨i,j⟩⇄⟨k,1⟩
    ⟨i,j⟩ holds Xₖ which ⟨k,1⟩ initially held.

    (1) (2) (3) follow from
    not.violating arithmetic.
    I can show you my work, or
    you should be able to
    work it out for yourself.

    For each ⟨i,j⟩ in 𝕍×𝕍
    after all swaps
    ⟨i,j⟩ holds Xₖ which ⟨k,1⟩ initially held.

    After all swaps,
    no initial Oᵢⱼ is in 𝕍×𝕍
    𝕍×𝕍 is internally de.Bob.ified.

    Bob isn't in darknessᵂᴹ in 𝕍×𝕍
    because 𝕍×𝕍 is without darkᵂᴹ

    Bob (initial Oᵢⱼ) isn't in A\(𝕍×𝕍)
    because each swap has both ends in 𝕍×𝕍

    The explanation for internal de.Bob.ification
    isn't darknessᵂᴹ

    The explanation for internal de.Bob.ification
    is that
    only some sets are like ⟨1,…,i⟩×⟨1,…,j⟩

    Your set A, containing each ⟨1,…,i⟩×⟨1,…,j⟩
    is among the sets not like ⟨1,…,i⟩×⟨1,…,j⟩

    Set A has internal de.Bob.ification
    because, whatever else A contains,
    A contains at least 𝕍×𝕍

    Each initial Oᵢⱼ is in 𝕍×𝕍
    No swap is to A\(𝕍×𝕍)
    After all swaps
    no initial Oᵢⱼ is in A\(𝕍×𝕍)

    Each initial Oᵢⱼ is in 𝕍×𝕍
    Each ⟨i,j⟩ in 𝕍×𝕍 has a swap
    after which Xₖ is in ⟨i,j⟩
    After all swaps
    no initial Oᵢⱼ is in 𝕍×𝕍

    After all swaps
    no initial Oᵢⱼ is in 𝕍×𝕍 or A\(𝕍×𝕍)
    A is internally de.Bob.ified.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 20 17:16:26 2023
    On 12/20/23 12:31 PM, WM wrote:
    Le 20/12/2023 à 17:38, Richard Damon a écrit :
    On 12/20/23 11:14 AM, WM wrote:

    Every positive point has ℵo unit fractions at its left-hand side.
    There is no positive point with less than ℵo unit fractions
    at its left-hand side.
    All positive points with no exception have ℵo unit fractions at
    their left-hand
    side.
    The interval (0, 1] has aleph_0 unit fractions at its left-hand
    side.
    Contradiction.

    What contradiction?

    There is no unit fraction left-hand of the interval.

    Bounded thinking,


    But that does not imply that ℵo unit fractions lie left of the interval. >>
    Why not?

    Because they all are positive.

    Bounded Thinking.


    But that is nonsense - if all points can be selected as the axiom of
    choice proposes.

    Why?

    What in the "Axiom of Choice" says we can choose the "End" of an
    Unbounded set?

    It says that we can choose every element. But here almost all remain
    below every choice.

    So?

    That is just part of the strangeness of Unbounded sets. EVERY element is choosable, but every element when chosen still has an unlimited number
    of elements past it.

    Your thoughts of "Darkness" are just your inability to understand
    unboundness.

    No elements are not chooseable, but since we are finite, e can never get
    to the end.

    That doesn't make an "end" happen, after which things become "dark", and
    there is nothing different about any of those "dark" items, they are
    just finite number bigger than you first though of.


    Regards, WM




    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to Chris M. Thomasson on Wed Dec 20 17:16:28 2023
    On 12/20/23 4:29 PM, Chris M. Thomasson wrote:
    On 12/19/2023 6:50 PM, Richard Damon wrote:
    On 12/19/23 9:27 PM, Chris M. Thomasson wrote:
    On 12/19/2023 6:07 PM, Richard Damon wrote:
    On 12/19/23 7:58 PM, Chris M. Thomasson wrote:
    On 12/19/2023 2:16 AM, WM wrote:
    Le 18/12/2023 à 17:21, Richard Damon a écrit :
    On 12/18/23 10:56 AM, WM wrote:
    Le 18/12/2023 à 15:21, Richard Damon a écrit :
    On 12/18/23 6:19 AM, WM wrote:

    Right, so NUF(x) is infinite for ANY finite number, and thus >>>>>>>>> for ANY unit fraction, so it is NEVER 1 at any, so there is no >>>>>>>>> smallest unit fraction.

    This is inconsistent with the property, accepted by you: NUF can >>>>>>>> not increase by more than 1 without being constant for a finite >>>>>>>> period. NUF(0) = 0 implies NUF(x) = 1.

    Yes, at an infintesimally small value of x.

    No unit fraction is infinitesimally small. But perhaps you call
    dark values infinitesimally small.

    Huh? 1/1, 1/2, 1/3, ...

    They do get infinitely small, yet never equal zero...


    No, they get unboundedly small, but every one is finite, so it isn't
    "infinitely" small. The key is unboundedly small means there is no
    smallest item, but is just ever getting smaller, but stays a
    finitely describable value.

    NUF(x) = 1 only at an INFINITELY small value, which is smaller than
    all UNBOUNDLY small values. The "Infinitely small values" are a
    different type of number, NOT part of the standard definition of
    unit fractions or the unbounded numeber systems like rational or reals. >>>>
    These are similar classes of numbers as that which deals with the
    mathematics of Omega and its friends. In other words, the
    Transfinites, which WM has admitted are out of this domain of
    discussion.

    In one sense, his "dark" numbers could be these transfinites, except
    he claims that his "dark numbers" are specifically part of the
    Natural Numbers / Unit Fractions (which the Transfinite are not).
    Also, the Transfinite numbers are "nameable" and "usable
    individually" (just not with sets limited to the finite numbers).


    Humm... How about, humm, their ability to go to infinity is
    unbounded? Is that okay? They do get smaller...

    Yes, that could be an ok wording (in my opinion). The key is that the
    unit fractions, like the Natural Numbers, never REACH the
    infintesimal/infinite limit, but approach it without a limiting bound.

    Agreed! Thanks Richard. :^)


    Which is part of WM's problem, he can't conceive of something that *IS*
    finite but arbitrarily small/big, such that there is no "last" in the
    sequence.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Thu Dec 21 10:45:27 2023
    Le 20/12/2023 à 23:16, Richard Damon a écrit :

    But all ARE "accessible", just unbounded.

    Between NUF(0) = 0 and for every x > 0: NUF(x) = ℵ₀ there are ℵ₀
    unit fractions, in a non-vanishing part of the real axis, which cannot be chosen by any x. How would you choose one of them? Don't claim that it
    could be done. Show how it can be done!

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Thu Dec 21 10:35:37 2023
    On 12/21/23 5:45 AM, WM wrote:
    Le 20/12/2023 à 23:16, Richard Damon a écrit :

    But all ARE "accessible", just unbounded.

    Between NUF(0) = 0 and for every x > 0: NUF(x) = ℵ₀ there are ℵ₀ unit fractions, in a non-vanishing part of the real axis, which cannot be
    chosen by any x. How would you choose one of them? Don't claim that it
    could be done. Show how it can be done!

    Regards, WM



    What unit fraction can't be chosen?

    Given ANY x>0 that you choose, we can find an n such that 1/(n+1) < x,
    that n being a natural number greater than 1/x-1

    Given that n, the unit fractions 1/(n+k), for k = 1, 2, 3, 4, 5, ... are
    all smaller, and individually definable.

    Note, this can be done for ANY x you choose.

    That seems to be your problem, your lack of the ability to access values
    aren't caused by the properties of the numbers, but of the ability of
    your logic to handle unbounded sets.

    This cause you to try to define something not actually definable as your
    NUF is just not a properly defined function.

    To be a function, it must be a mapping of values in the domain to values
    in its range.

    You claim this range is finite numbers, but they can not be.

    There is no finite value of x (>0) where NUF(x) has a finite value.

    Thus, the function is just not defined.

    If you accepted the range of an extended number system that included infinitesimals, then perhaps you could define it, but that then breaks
    your concepts, as your "dark" numbers end up just being the
    infintesimals, but then we have the fact that once you allow them, they
    are nameable and usable individually, so aren't "dark".

    Perhaps where you get into a problem is when you try to do you operation
    for EVERY x at once, so the problem isn't that there are numbers that
    can't be used individually, but your logic can't handle using an
    unbounded set collectively, which isn't surprising as it makes claims
    that are bounded.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Thu Dec 21 15:08:17 2023
    On 12/21/23 2:35 PM, WM wrote:
    Le 21/12/2023 à 16:35, Richard Damon a écrit :
    On 12/21/23 5:45 AM, WM wrote:
    Le 20/12/2023 à 23:16, Richard Damon a écrit :

    But all ARE "accessible", just unbounded.

    Between NUF(0) = 0 and for every x > 0: NUF(x) = ℵ₀ there are ℵ₀ unit
    fractions, in a non-vanishing part of the real axis, which cannot be
    chosen by any x. How would you choose one of them? Don't claim that
    it could be done. Show how it can be done!


    What unit fraction can't be chosen?

    Those which cannot be chosen, almost all.

    If you can't show them, you can't say they exist.

    I guess you believe Russel's teapot has been prove to exist.

    You are needing to assume their existance without actual proof.



    Given ANY x>0 that you choose, we can find an n such that 1/(n+1) < x,
    that n being a natural number greater than 1/x-1

    and almost all unit fractions, namely ℵo being smaller. You cannot
    discern them, separate them (although they are separated by uncountably
    many points, none of which you can access), choose them.

    So, you can't actually show your unicorn exists.

    Your "proof" is you can't see them, so they must be "dark", but they
    don't actually need to exist.

    All your arguement shows is that they are not bounded, but that was
    already known. Your logic system just can't handle unbounded sets, and
    thus can't actually work with the Natural Numbers, giving you your errors.


    Given that n, the unit fractions 1/(n+k), for k = 1, 2, 3, 4, 5, ...
    are all smaller, and individually definable.

    Note, this can be done for ANY x you choose.

    Of course, but ℵo unit fractions, almost all unit fractions, remain unchosen.

    Please describe which one can't be?

    Remember, ALL Natural Numbers ARE describable, as all Natural Numbers
    are finite, and thus have a finite name, being built by a finite
    sequence of steps.

    The fact that there is no upper bound to the length of that finite
    number, doesn't make it non-finite, and thus unnamable by a finite name.


    They exist inside of the interval (0, 1] and have uncountably many
    points between each other. Hence, ther is a first one.

    But if there was, then there is also a smalller one (since x/2 will also
    be a unit fraction, and smaller than it), and thus your logic goes *BOOM*

    Your logic is just shown to be flawed.


    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Thu Dec 21 19:35:54 2023
    Le 21/12/2023 à 16:35, Richard Damon a écrit :
    On 12/21/23 5:45 AM, WM wrote:
    Le 20/12/2023 à 23:16, Richard Damon a écrit :

    But all ARE "accessible", just unbounded.

    Between NUF(0) = 0 and for every x > 0: NUF(x) = ℵ₀ there are ℵ₀ unit
    fractions, in a non-vanishing part of the real axis, which cannot be
    chosen by any x. How would you choose one of them? Don't claim that it
    could be done. Show how it can be done!


    What unit fraction can't be chosen?

    Those which cannot be chosen, almost all.

    Given ANY x>0 that you choose, we can find an n such that 1/(n+1) < x,
    that n being a natural number greater than 1/x-1

    and almost all unit fractions, namely ℵo being smaller. You cannot
    discern them, separate them (although they are separated by uncountably
    many points, none of which you can access), choose them.

    Given that n, the unit fractions 1/(n+k), for k = 1, 2, 3, 4, 5, ... are
    all smaller, and individually definable.

    Note, this can be done for ANY x you choose.

    Of course, but ℵo unit fractions, almost all unit fractions, remain
    unchosen.

    They exist inside of the interval (0, 1] and have uncountably many points between each other. Hence, ther is a first one.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Thu Dec 21 23:19:26 2023
    On 12/21/2023 5:45 AM, WM wrote:
    Le 20/12/2023 à 23:16, Richard Damon a écrit :

    But all ARE "accessible", just unbounded.

    Between NUF(0) = 0 and
    for every x > 0: NUF(x) = ℵ₀
    there are ℵ₀ unit fractions,
    in a non-vanishing part of the real axis,
    [...]

    Yes.
    Consider x > 0

    ⅟ℕₓ is the set of unit fractions in (0,x]

    mₓ-1 < ⅟x ≤ mₓ ∈ ℕ
    ⅟mₓ is the largest unit fraction in ⅟ℕₓ

    uₓ(n) = ⅟(mₓ+n)
    uₓ: ℕ ↣ ⅟ℕₓ
    uₓ is 1.to.1

    For each number n ∈ ℕ
    n has its own unit fraction uₓ(n) ∈ (0,x]

    There are at least as many
    unit fractions ∈ ⅟ℕₓ as
    numbers ∈ ℕ

    |ℕ| ≤ |⅟ℕₓ|
    |ℕ| = ℵ₀

    Between NUF(0) = 0 and
    for every x > 0: NUF(x) = ℵ₀
    there are ℵ₀ unit fractions,
    in a non-vanishing part of the real axis,
    which cannot be chosen by any x.

    No.
    For each x > 0
    for each unit.fraction u of ℵ₀.many in ⅟ℕₓ
    there is an xᵤ > 0
    by which u "can be chosen"
    meaning
    such that u ∈ (xᵤ,1]

    Proof.
    Consider xᵤ = u/2

    Thus,
    for each x > 0
    there are 0.many
    unit.fractions in ⅟ℕₓ which "cannot be chosen".

    ----
    A quantifier shift is unreliable.

    Consider a table.setting for four:
    four glasses 1234, four plates NSEW

    If
    for each glass,
    there is a plate such that
    the glass is with the plate,

    then
    the glasses could be placed like
    N1234 S E W
    there is a plate such that,
    for each glass,
    the glass is with the plate

    and
    the glasses could be placed like
    N1 S2 E3 W4
    there ISN'T a plate such that,
    for each glass,
    the glass is with the plate

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Fri Dec 22 08:30:51 2023
    Le 22/12/2023 à 05:19, Jim Burns a écrit :
    On 12/21/2023 5:45 AM, WM wrote:


    Between NUF(0) = 0 and
    for every x > 0: NUF(x) = ℵ₀
    there are ℵ₀ unit fractions,
    in a non-vanishing part of the real axis,
    which cannot be chosen by any x.

    No.
    For each x > 0
    for each unit.fraction u of ℵ₀.many in ⅟ℕₓ
    there is an xᵤ > 0
    by which u "can be chosen"
    meaning
    such that u ∈ (xᵤ,1]

    ℵ₀ unit fractions populate at least ℵ₀ points which cannot be
    left-hand of all points, because they are just these points. "There does
    not exist a point of (0, 1] with less than ℵ₀ smaller unit fractions"
    is so simple to prove wrong (like disappearing Bob), that it should no
    longer be claimed. Therefore all your arguing in favour of this nonsense
    will no longer be read by me.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Fri Dec 22 08:23:45 2023
    Le 21/12/2023 à 21:08, Richard Damon a écrit :
    On 12/21/23 2:35 PM, WM wrote:

    But all ARE "accessible", just unbounded.

    Between NUF(0) = 0 and for every x > 0: NUF(x) = ℵ₀ there are ℵ₀ unit
    fractions, in a non-vanishing part of the real axis, which cannot be
    chosen by any x. How would you choose one of them? Don't claim that
    it could be done. Show how it can be done!


    What unit fraction can't be chosen?

    Those which cannot be chosen, almost all.

    If you can't show them, you can't say they exist.

    The proof of existence is taken from the assumption of actual infinity and
    of the mathematical formula here:
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 .

    Your "proof" is you can't see them, so they must be "dark", but they
    don't actually need to exist.

    All your arguement shows is that they are not bounded, but that was
    already known.

    The fractions have a greatest lower bound, namely zero. It is called their infimum.

    Your logic system just can't handle unbounded sets,

    The unit fractions, like all positive fractions have an infimum, that is a bound.


    Of course, but ℵo unit fractions, almost all unit fractions, remain
    unchosen.

    Please describe which one can't be?

    Remember, ALL Natural Numbers ARE describable,

    You are wrong. It can be seen by the fact that
    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
    The set of undefined natnumbers will never be emptied.

    But if there was, then there is also a smalller one (since x/2 will also
    be a unit fraction, and smaller than it)

    That is provable for visible unit fractions only.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Fri Dec 22 08:56:47 2023
    On 12/22/23 3:23 AM, WM wrote:
    Le 21/12/2023 à 21:08, Richard Damon a écrit :
    On 12/21/23 2:35 PM, WM wrote:

    But all ARE "accessible", just unbounded.

    Between NUF(0) = 0 and for every x > 0: NUF(x) = ℵ₀ there are ℵ₀ >>>>> unit fractions, in a non-vanishing part of the real axis, which
    cannot be chosen by any x. How would you choose one of them? Don't
    claim that it could be done. Show how it can be done!


    What unit fraction can't be chosen?

    Those which cannot be chosen, almost all.

    If you can't show them, you can't say they exist.

    The proof of existence is taken from the assumption of actual infinity
    and of the mathematical formula here:
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 .

    Please define your assumption of "actual infinity".

    If you mean that some n ∈ ℕ is actually infinite, that is a false statement.

    If you mean that ℕ is infinite in size, how does that imply what you mean.

    And How do you claim "proof" from that statement?


    Your "proof" is you can't see them, so they must be "dark", but they
    don't actually need to exist.

    All your arguement shows is that they are not bounded, but that was
    already known.

    The fractions have a greatest lower bound, namely zero. It is called
    their infimum.

    Nope, since Zero isn't a member of the set, it isn't a "Bound" but a limit.


    Your logic system just can't handle unbounded sets,

    The unit fractions, like all positive fractions have an infimum, that is
    a bound.

    Nope.

    Quoting a definition:

    In mathematics, the infimum (abbreviated inf; plural infima) of a subset
    S of a partially ordered set P is the greatest element in P that is less
    than or equal to each element of S *if such an element exists.*

    Note also:

    Infima and suprema do not necessarily exist. Existence of an infimum of
    a subset S of P can fail if S has no lower bound at all, or if the set
    of lower bounds does not contain a greatest element.


    Since Unit Fractions are UNBOUNDED, that lower bound does not exist as a
    member of the set, so on infimum exists.



    Of course, but ℵo unit fractions, almost all unit fractions, remain
    unchosen.

    Please describe which one can't be?

    Remember, ALL Natural Numbers ARE describable,

    You are wrong. It can be seen by the fact that
    ∀n ∈ ℕ_def: |ℕ \ {1, 2, 3, ..., n}| = ℵo.
    The set of undefined natnumbers will never be emptied.

    So? That is just a property of using Bounded operations on Unbounded sets.


    But if there was, then there is also a smalller one (since x/2 will
    also be a unit fraction, and smaller than it)

    That is provable for visible unit fractions only.

    But you can't actually prove that your "dark" numbers exist, and your
    proof requires showing the existance of some lower bound on the visible
    numbers to create the dark numbers.

    Your selection criteria is just invalid.

    It is like saying that while many cats are "selectable", there exists a
    set of "dark" cats, that are also dogs, that are only usable as a
    collection.

    The selection criteria, (cats that are dogs) while showing that no
    member is selectable, doesn't show that there are actually members of
    that set.

    This is the problem of Russel's Teapot, which your proof is dependent on existing.


    Regards, WM



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Fri Dec 22 10:44:25 2023
    On 12/22/2023 3:30 AM, WM wrote:
    Le 22/12/2023 à 05:19, Jim Burns a écrit :
    On 12/21/2023 5:45 AM, WM wrote:

    Between NUF(0) = 0 and
    for every x > 0: NUF(x) = ℵ₀
    there are ℵ₀ unit fractions,
    in a non-vanishing part of the real axis,
    which cannot be chosen by any x.

    No.
    For each x > 0
    for each unit.fraction u of ℵ₀.many in ⅟ℕₓ
    there is an xᵤ > 0
    by which u "can be chosen"
    meaning
    such that u ∈ (xᵤ,1]

    Proof.
    <> Consider xᵤ = u/2

    ℵ₀ unit fractions populate
    at least ℵ₀ points

    at least and at most ℵ₀ points

    which cannot be left-hand of all points,
    because they are just these points.

    These points are always these points.
    How does that connect to
    being left-hand of all points?

    What I suspect is that
    you (WM) cope with ℵ₀.many points by
    fading them into or out of darknessᵂᴹ,
    Cheshire.cat.like,
    which, through logical explosion,
    provides you with means to "justify"
    whatever your intuition tells you.

    What I suspect is that
    points which are just.these.pointsᵂᴹ
    are points you've finished fading.
    Completedᵂᴹ points.


    None of this works like that. Definitely none.
    But you might think it does work like that, and
    that anything opposed to it violates logic.

    "There does not exist
    a point of (0, 1] with [fewer] than
    ℵ₀ smaller unit fractions"

    ¬∃x ∈ (0,1]:
    ¬∀n ∈ ℕ₁:
    ⅟(n+⌊⅟x⌋) ∈ (0,x)∩⅟ℕ₁ ∧
    ¬∃n′≠n: ⅟(n′+⌊⅟x⌋) = ⅟(n+⌊⅟x⌋)

    Because arithmetic and 0 < ⅟n⁺¹ < ⅟n

    is so simple to prove wrong
    (like disappearing Bob),

    Your simple and wrong proof
    uses an unjustified quantifier shift.

    You doing the equivalent of:
    from being told that,
    | for each glass, there is a plate such that
    | the glass is by the plate
    | N1 S2 E3 W4
    | N1234 S E W
    | N12 S E34 W
    | N S1 E W234
    | ...
    "inferring" that
    | there is a plate such that, for each glass,
    | the glass is by the plate
    | N1234 S E W
    | N S1234 E W
    | N S E1234 W
    | N S E W1234

    That "inference" is unjustified.

    that it should no longer be claimed.
    Therefore all your arguing in favour of
    this nonsense will no longer be read by me.

    In a finite sequence of claims,
    if we see each claim is
    not.first.false about visibleᵂᴹ and darkᵂᴹ
    then we know each claim is
    true about visibleᵂᴹ and darkᵂᴹ


    Fading visibleᵂᴹ.darkᵂᴹ and darkᵂᴹ.visibleᵂᴹ points,
    by logical explosion, gives us anything.we.ask.for.

    Anything.we.ask.for is the sugar.high of
    confirming our pre.analyzed beliefs.
    Sugar.high is followed by sugar.crash of
    finding out that real is going to real.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 23 11:37:48 2023
    Le 22/12/2023 à 16:44, Jim Burns a écrit :

    Your simple and wrong proof
    uses an unjustified quantifier shift.

    No! If every point of (0, 1] has ℵo smaller unit fractions,
    then no point is existing in (0, 1] with less than ℵo smaller unit
    fractions,
    then the interval (0, 1] has ℵo smaller unit fractions.

    This is applied mathematics. Your quantifier delusions may be accepted by
    weak mathematicians in the infinite but it is inapplicable in concrete mathematics.

    You doing the equivalent of:

    No, the unit fractions are in linear order. If no point of the set has
    less than ℵo smaller unit fractions, then there is no such point. Then
    we can sort all points into the set (0, 1]. But in fact only visible
    points are concerned, such that only the interval (eps, 1) has ℵo
    smaller unit fractions.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 23 11:18:48 2023
    Le 22/12/2023 à 14:56, Richard Damon a écrit :
    On 12/22/23 3:23 AM, WM wrote:

    What unit fraction can't be chosen?

    Those which cannot be chosen, almost all.

    If you can't show them, you can't say they exist.

    The proof of existence is taken from the assumption of actual infinity
    and of the mathematical formula here:
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 .

    Please define your assumption of "actual infinity".

    The elements of a set exist such that none can be added.

    If you mean that some n ∈ ℕ is actually infinite

    No n is infinite and no 1/n is zero. Therefore NUF(x) increases only after
    0 for the first time.

    Since Unit Fractions are UNBOUNDED, that lower bound does not exist as a member of the set,

    That would be a minimum. The infimum is explained here: https://en.wikipedia.org/wiki/Infimum_and_supremum
    The set of unit fractions has the infimum 0.

    The set of undefined natnumbers will never be emptied.

    So? That is just a property of using Bounded operations on Unbounded sets.

    No, the set of unit fractions is bounded.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Jim Burns@21:1/5 to All on Sat Dec 23 07:34:00 2023
    On 12/23/2023 6:37 AM, WM wrote:

    [...]
    with less than ℵo smaller unit fractions,
    [...]

    with fewer than ℵo smaller unit fractions,
    or
    with less than ℵo smaller unit fraction,

    https://en.wikipedia.org/wiki/Mass_noun
    similar to the German
    https://de.wikipedia.org/wiki/Stoffname

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 23 08:29:54 2023
    On 12/23/23 6:18 AM, WM wrote:
    Le 22/12/2023 à 14:56, Richard Damon a écrit :
    On 12/22/23 3:23 AM, WM wrote:

    What unit fraction can't be chosen?

    Those which cannot be chosen, almost all.

    If you can't show them, you can't say they exist.

    The proof of existence is taken from the assumption of actual
    infinity and of the mathematical formula here:
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0 .

    Please define your assumption of "actual infinity".

    The elements of a set exist such that none can be added.

    So, you ADMIT that you are just admitting the assumption that "Dark
    Numbers" exist.

    Please show HOW a Natural Number can exist, that can not be "added".

    All Natural Numbers can be chosen and added to the set.


    If you mean that some n ∈ ℕ is actually infinite

    No n is infinite and no 1/n is zero. Therefore NUF(x) increases only
    after 0 for the first time.

    No, you are assuming that NUF is definable by this set of words. Since
    at ANY 1/n, there are an infinite number of unit fractions with values
    below it, it never has a finite value.

    Your definition assumes an upper bound that just doesn't exist.


    Since Unit Fractions are UNBOUNDED, that lower bound does not exist as
    a member of the set,

    That would be a minimum. The infimum is explained here: https://en.wikipedia.org/wiki/Infimum_and_supremum
    The set of unit fractions has the infimum 0.

    It CAN'T be because the infimum must be a member of the set, and you
    admtted that 0 is not a unit fraction.

    So, you LIE.


    The set of undefined natnumbers will never be emptied.

    So? That is just a property of using Bounded operations on Unbounded
    sets.

    No, the set of unit fractions is bounded.


    Yes, At 1/1, but what is the other bound?

    You "Theory" is based on a LIE, and thus is totally unsound.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 23 14:53:40 2023
    Le 23/12/2023 à 14:29, Richard Damon a écrit :

    you are assuming that NUF is definable by this set of words.

    Number of Unit Fractions between 0 and x.

    Since
    at ANY 1/n, there are an infinite number of unit fractions with values
    below it, it never has a finite value.

    NUF(0) = 0, with increasing x it grows. The question is whether it can
    grow by more than one unit fractions at one and the same x. The answer is
    no, given by mathematics
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0

    Since Unit Fractions are UNBOUNDED, that lower bound does not exist as
    a member of the set,

    That would be a minimum. The infimum is explained here:
    https://en.wikipedia.org/wiki/Infimum_and_supremum
    The set of unit fractions has the infimum 0.

    It CAN'T be because the infimum must be a member of the set,

    Try to correct Wikipedia. You are obliged to correct the lie.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 23 12:07:12 2023
    On 12/23/23 9:53 AM, WM wrote:
    Le 23/12/2023 à 14:29, Richard Damon a écrit :

    you are assuming that NUF is definable by this set of words.

    Number of Unit Fractions between 0 and x.

    Since at ANY 1/n, there are an infinite number of unit fractions with
    values below it, it never has a finite value.

    NUF(0) = 0, with increasing x it grows. The question is whether it can
    grow by more than one unit fractions at one and the same x. The answer
    is no, given by mathematics
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0

    It can only grow by one at any finite number, but since there is a
    discontuity in the fationals between 0 and the rationals x > 0, it can
    jump at that point.

    The problem is that you definition of NUF just isn't actually realizable
    with the logic you are trying to use, because of a mismatch of your
    logic and your system of numbers.


    Since Unit Fractions are UNBOUNDED, that lower bound does not exist
    as a member of the set,

    That would be a minimum. The infimum is explained here:
    https://en.wikipedia.org/wiki/Infimum_and_supremum
    The set of unit fractions has the infimum 0.

    It CAN'T be because the infimum must be a member of the set,

    Try to correct Wikipedia. You are obliged to correct the lie.

    What "Lie"?

    That bounds might not exsit?
    or that bounds must be a member of the set in question?

    THat isn't a lie, it is your misconception.

    The set of Unit Fractions can only have a bound of 0 if 0 is a member of
    the set of Unit Fractions.

    Since 0 isn't a Unit Fraction, it can't be a bound of the Unit Fractions.

    Or, what Natural Number generates 0 as a unit fraction?

    You are caught in a LIE based on a contradiction of your own making.

    If you disagree with the DEFINITION of the term, you can't use that
    term, or need to redefine it and admit you are working in a DIFFERENT
    field of study, as fields of study include the definitions they are
    based on.


    Regards, WM


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sun Dec 24 08:25:52 2023
    Le 23/12/2023 à 18:07, Richard Damon a écrit :
    On 12/23/23 9:53 AM, WM wrote:

    NUF(0) = 0, with increasing x it grows. The question is whether it can
    grow by more than one unit fractions at one and the same x. The answer
    is no, given by mathematics
    ∀n ∈ ℕ: 1/n - 1/(n+1) = d_n > 0

    It can only grow by one at any finite number, but since there is a discontuity in the fationals between 0 and the rationals x > 0, it can
    jump at that point.

    It cannot jump by more than 1.

    The problem is that you definition of NUF just isn't actually realizable

    It is true for all unit fractions.

    Since Unit Fractions are UNBOUNDED, that lower bound does not exist
    as a member of the set,

    That would be a minimum. The infimum is explained here:
    https://en.wikipedia.org/wiki/Infimum_and_supremum
    The set of unit fractions has the infimum 0.

    It CAN'T be because the infimum must be a member of the set,

    Try to correct Wikipedia. You are obliged to correct the lie.

    What "Lie"?

    That bounds might not exsit?

    The infimum of the sequence of unit fractions is 0.

    or that bounds must be a member of the set in question?

    That is wrong as I teach already in the first semester.
    Try to correct Wikipedia in order to receive information.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Tue Dec 26 10:52:34 2023
    On 25.12.2023 19:04, William wrote:

    Your game of billiards does not provide an algorithm that defines A.

    There is only one algorithm, namely k = (m + n - 1)(m + n - 2)/2 + m.
    It stems from Cantor and yields
    1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 2/4, 3/3, 4/2,
    5/1, 1/6, 2/5, 3/4, 4/3, 5/2, 6/1, ... .

    Mine is the same 1/k = (m + n - 1)(m + n - 2)/2 + m.

    But whether or not A is defined, the matrix
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    will never be covered by X. This shows that never all matrix positions
    will be indeXed.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Tue Dec 26 07:35:47 2023
    On 12/26/23 4:52 AM, WM wrote:
    On 25.12.2023 19:04, William wrote:

    Your game of billiards does not provide an algorithm that defines A.

    There is only one algorithm, namely k = (m + n - 1)(m + n - 2)/2 + m.
    It stems from Cantor and yields
    1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, 1/5, 2/4, 3/3, 4/2,
    5/1, 1/6, 2/5, 3/4, 4/3, 5/2, 6/1,  ... .

    Mine is the same 1/k = (m + n - 1)(m + n - 2)/2 + m.

    But whether or not A is defined, the matrix
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    will never be covered by X. This shows that never all matrix positions
    will be indeXed.

    Regards, WM



    Because it is not following the actual Algorithm.

    The algorithm is DEFINED as drawing k, from the LINE of the Natural
    Numbers, and showing that this covers the MATRIX indexed by m,n.

    You are holding the gun backwards, no wonder you keep shooting yourself.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 27 08:20:11 2023
    Le 26/12/2023 à 13:35, Richard Damon a écrit :
    The algorithm is DEFINED as drawing k, from the LINE of the Natural
    Numbers, and showing that this covers the MATRIX indexed by m,n.

    Precisely this happens after the integer fractions have been replaced by
    the natural numbers:

    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..

    Should this simple replacement destroy the process, then the whole process
    is impossible.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Wed Dec 27 09:24:21 2023
    On 27.12.2023 00:29, William wrote:
    On Tuesday, December 26, 2023 at 5:52:43 AM UTC-4, WM wrote:
    On 25.12.2023 19:04, William wrote:

    Your game of billiards does not provide an algorithm that defines A.
    There is only one algorithm, namely k = (m + n - 1)(m + n - 2)/2 + m.

    Correct, This defines B. Your game of billiards does not define A.

    Why do you mention this boring idea? My game shows that the matrix A is
    larger than B and containing not indexed fractions.

    But whether or not A is defined, the matrix
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    will never be covered by X. This shows that never all matrix positions
    will be indeXed.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 27 08:12:29 2023
    On 12/27/23 3:20 AM, WM wrote:
    Le 26/12/2023 à 13:35, Richard Damon a écrit :
    The algorithm is DEFINED as drawing k, from the LINE of the Natural
    Numbers, and showing that this covers the MATRIX indexed by m,n.

    Precisely this happens after the integer fractions have been replaced by
    the natural numbers:

    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..

    Should this simple replacement destroy the process, then the whole
    process is impossible.

    Regards, WM



    Nope, you just don't understand how the process actual works.

    the entire matrix gets covered by the m,n pairs generated by the process.

    The k terms, of your first column, are the INPUTS, not the OUTPUTS of
    the process.

    So, as I said, you are holding the gun backwards and shooting yourself
    with your ignorance.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 27 16:54:51 2023
    Le 27/12/2023 à 14:12, Richard Damon a écrit :
    On 12/27/23 3:20 AM, WM wrote:
    Le 26/12/2023 à 13:35, Richard Damon a écrit :
    The algorithm is DEFINED as drawing k, from the LINE of the Natural
    Numbers, and showing that this covers the MATRIX indexed by m,n.

    Precisely this happens after the integer fractions have been replaced by
    the natural numbers:

    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..

    Should this simple replacement destroy the process, then the whole
    process is impossible.

    The k terms, of your first column, are the INPUTS,

    Of course. And everybody sees that they will never cover the whole matrix.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 27 18:39:18 2023
    Fritz Feldhase schrieb am Mittwoch, 27. Dezember 2023 um 16:22:14 UTC+1:

    Nonsense about quantifiers.

    My proof has nothing to do with quantifier shift.

    The proof is this: If before and after every unit fraction 1/n there is
    a distance (containing uncountably many points) up to the next unit
    fraction, then over this distance the Number of Unit Fractions between 0
    and x, NUF(x), is constant. Unless any unit fraction evades this law,
    NUF(x) must increase in steps of height 1, starting from NUF(0) = 0.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 27 13:13:07 2023
    On 12/27/23 11:54 AM, WM wrote:
    Le 27/12/2023 à 14:12, Richard Damon a écrit :
    On 12/27/23 3:20 AM, WM wrote:
    Le 26/12/2023 à 13:35, Richard Damon a écrit :
    The algorithm is DEFINED as drawing k, from the LINE of the Natural
    Numbers, and showing that this covers the MATRIX indexed by m,n.

    Precisely this happens after the integer fractions have been replaced
    by the natural numbers:

    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..

    Should this simple replacement destroy the process, then the whole
    process is impossible.

    The k terms, of your first column, are the INPUTS,

    Of course. And everybody sees that they will never cover the whole matrix.

    Regards, WM


    WHo needs the INPUT to cover, the test was if the OUTPUT cover.

    You just shot yourself again, killing your arguement.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 27 19:01:26 2023
    Le 27/12/2023 à 19:13, Richard Damon a écrit :
    On 12/27/23 11:54 AM, WM wrote:
    Le 27/12/2023 à 14:12, Richard Damon a écrit :
    On 12/27/23 3:20 AM, WM wrote:
    Le 26/12/2023 à 13:35, Richard Damon a écrit :
    The algorithm is DEFINED as drawing k, from the LINE of the Natural
    Numbers, and showing that this covers the MATRIX indexed by m,n.

    Precisely this happens after the integer fractions have been replaced
    by the natural numbers:

    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..

    Should this simple replacement destroy the process, then the whole
    process is impossible.

    The k terms, of your first column, are the INPUTS,

    Of course. And everybody sees that they will never cover the whole matrix.


    WHo needs the INPUT to cover, the test was if the OUTPUT cover.

    Whatever you wish to express. Fact is that the elements of the first
    column cannot cover the whole matrix. But that is what Cantor claims.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 27 19:05:42 2023
    Le 27/12/2023 à 19:13, Richard Damon a écrit :
    On 12/27/23 12:39 PM, WM wrote:
    Fritz Feldhase schrieb am Mittwoch, 27. Dezember 2023 um 16:22:14 UTC+1:

    Nonsense about quantifiers.

    My proof has nothing to do with quantifier shift.

    The proof is this: If before and after every unit fraction 1/n there is
    a distance (containing uncountably many points) up to the next unit
    fraction, then over this distance the Number of Unit Fractions between 0
    and x, NUF(x), is constant. Unless any unit fraction evades this law,
    NUF(x) must increase in steps of height 1, starting from NUF(0) = 0.

    NUF(0) = 0.

    NUF(x) for any finite x > 0 is infinite,

    Your claim is disproved by the fact that every single unit fraction has a
    level of constant NUF(x) behind it.

    because at ANY finite point,
    due to density, there are an infinite number of unit fractions before it.

    Nonsense.

    The constant gap before the point x, where 1/(n+1) < x < 1/n is of
    length < x/n so there is clearly room for at least n more items before
    it, so there is plenty of space for more values.

    Each one of them has a level of constant NUF(x) behind it.

    There is not finite point where NUF(x) = 1, as such a point would, by necessity, be a "First" Unit Fraction, meaning that was a "highest"
    Natural Number, but, BY DEFINITION, such a thing does not exist, as ALL Natural numbers have a successor.

    Obviously that definition cannot be applied if all unit fractions have
    gaps.
    So, unless YOU can find a value that evades THAT law, you arguement is
    based on the assumption of something tha just doesn't exist.

    No it is based on soemthing that cannot be found.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Fritz Feldhase on Wed Dec 27 19:30:44 2023
    Fritz Feldhase schrieb am Mittwoch, 27. Dezember 2023 um 16:22:14 UTC+1:
    On Wednesday, December 27, 2023 at 4:16:47 PM UTC+1, Fritz Feldhase
    wrote:
    On Wednesday, December 27, 2023 at 3:52:32 PM UTC+1, Fritz Feldhase
    wrote:
    On Friday, December 22, 2023 at 9:30:58 AM UTC+1, WM wrote:

    "There does not exist a point of (0, 1] with less than ℵ₀
    smaller unit fractions"

    is so simple to prove wrong

    Oh please, Mr. Mückenheim, prove it wrong for us

    With pleasure.

    There is no positive point with less than ℵo unit fractions at
    its left-hand side.
    All positive points with no exception have ℵo unit
    fractions at their left-hand side.

    Using symbolic language: A x e IR+: E^ℵo u e UF: u < x.

    So far so good.

    The interval (0, 1] has aleph_0 unit fractions at its
    left-hand side.

    Nope. Here you are performing a /quantifier shift/ (which is a
    logical fallacy, since it can "lead" from a true statement to a false one).

    Hint: Using symbolic language you latter statement reads:

    E^ℵo u e UF: A x e (0, 1]: u < x.

    No. A x e (0, 1]: E^ℵo u: u lhs x
    is same as
    A (x, 1]: E^ℵo u: u lhs (x, 1]
    and this is, if the universal quantifier is universal,
    For (0, 1]: E^ℵo u: u lhs (0, 1]
    because the interval (0, 1] is nothing but all its elements and also the
    limit of the sequence (x, 1].

    But to get E^ℵo u e UF: A x e (0, 1]: u < x

    That is not of interest.

    Of interest is only this: If ℵo unit fractions are lhs of every x in (0,
    1] but are also points of (0,1], then there must be a finite number of
    unit fractions (because ℵo is the result of counting from 1) having ℵo smaller unit fractions, which means there must be ℵo unit fractions
    smaller than themselves.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 27 14:34:33 2023
    On 12/27/23 2:01 PM, WM wrote:
    Le 27/12/2023 à 19:13, Richard Damon a écrit :
    On 12/27/23 11:54 AM, WM wrote:
    Le 27/12/2023 à 14:12, Richard Damon a écrit :
    On 12/27/23 3:20 AM, WM wrote:
    Le 26/12/2023 à 13:35, Richard Damon a écrit :
    The algorithm is DEFINED as drawing k, from the LINE of the
    Natural Numbers, and showing that this covers the MATRIX indexed
    by m,n.

    Precisely this happens after the integer fractions have been
    replaced by the natural numbers:

    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..

    Should this simple replacement destroy the process, then the whole
    process is impossible.

    The k terms, of your first column, are the INPUTS,

    Of course. And everybody sees that they will never cover the whole
    matrix.


    WHo needs the INPUT to cover, the test was if the OUTPUT cover.

    Whatever you wish to express. Fact is that the elements of the first
    column cannot cover the whole matrix. But that is what Cantor claims.

    Regards, WM

    No, he never mapped "Matrix B to Matrix B", but the Natural Numbers to
    the pairs m,n.

    You just don't understand what he is doing, becaue your knowledge is too limited.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 27 21:50:03 2023
    Le 27/12/2023 à 20:34, Richard Damon a écrit :
    On 12/27/23 2:01 PM, WM wrote:

    Whatever you wish to express. Fact is that the elements of the first
    column cannot cover the whole matrix. But that is what Cantor claims.


    No, he never mapped "Matrix B to Matrix B", but the Natural Numbers to
    the pairs m,n.

    But there are to few natural numbers. There are to few indices X in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..

    cover the whole matrix.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Dec 27 21:47:10 2023
    Le 27/12/2023 à 20:34, Richard Damon a écrit :
    On 12/27/23 2:05 PM, WM wrote:

    NUF(0) = 0.

    NUF(x) for any finite x > 0 is infinite,

    Your claim is disproved by the fact that every single unit fraction has
    a level of constant NUF(x) behind it.

    How does that disprove that it is infinite for all finite x. Since we
    can consider "infinite" to be constant over that invertal.

    The increase from 0 to more happens via unit fractions which all have a
    gap behind them.
    It is impossible that NUF can increase infinitely anywhere without being constant in between.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Wed Dec 27 21:35:34 2023
    On 12/27/23 4:50 PM, WM wrote:
    Le 27/12/2023 à 20:34, Richard Damon a écrit :
    On 12/27/23 2:01 PM, WM wrote:

    Whatever you wish to express. Fact is that the elements of the first
    column cannot cover the whole matrix. But that is what Cantor claims.


    No, he never mapped "Matrix B to Matrix B", but the Natural Numbers to
    the pairs m,n.

    But there are to few natural numbers. There are to few indices X in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..

    cover the whole matrix.

    Regards, WM



    But there is not, when you transform k -> m,n where

    k = = (m + n - 1)(m + n - 2)/2 + m

    you find there is exactly one combination of m,n for every k, so there
    are just as many k's as m,n combinations.

    Thus, we have found a valid bijection.

    This shows that Aleph0 squared is still Aleph0, and in fact, Aleph0 to
    any finite power is still Aleph0.

    (you don't get to Aleph1 until you start taking things to teh Aleph0
    power, and that becomes uncountable)

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Thu Dec 28 08:42:31 2023
    Le 28/12/2023 à 03:35, Richard Damon a écrit :

    But there isn't a "gap" between 0 and the unbounded set of unit
    fractions, so you "set theory" can't actually say anything about what
    happens there.

    Is can't increase infinitely anywhere BETWEEN UNIT FRACTIONS,

    Correct. Therefore the set cannot exist without gap. At most one unit
    fraction can.

    but
    between 0 and the positive numbers, it isn't defined

    incorrect.

    , so can arbitrarily
    junp, in fact it MUST because the Unit Fractions get unboundly small so
    there can't be a "first" unit fraction for NUF to be 1 at.

    ZFC supplies for the function Number of Unit Fractions between 0 and x the result
    NUF(x) = 0 for x =< 0 and NUF(x) = ℵo for x > 0.
    So, according to ZFC the number of unit fractions grows between 0 and (0,
    1] by more than 2.
    This is impossible because between any two unit fractions there are "uncountably" many points which do not fit between 0 and (0, 1]. This
    proves that ZFC does not deliver correct mathematics in this case, like in several others: https://www.researchgate.net/publication/376587391_The_seven_deadly_sins_of_set_theory

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Thu Dec 28 08:44:36 2023
    Le 28/12/2023 à 03:35, Richard Damon a écrit :
    On 12/27/23 4:50 PM, WM wrote:

    But there are too few natural numbers. There are too few indices X in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..

    cover the whole matrix.

    But there is not, when you transform k -> m,n where

    k = = (m + n - 1)(m + n - 2)/2 + m

    you find there is exactly one combination of m,n for every k, so there
    are just as many k's as m,n combinations.

    Hence there is an internal contradiction.

    Thus, we have found a valid bijection.

    Together with the above matrix: an interbal contradiction.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to Fritz Feldhase on Thu Dec 28 09:50:02 2023
    Fritz Feldhase schrieb am Mittwoch, 27. Dezember 2023 um 23:47:40 UTC+1:
    On Wednesday, December 27, 2023 at 7:30:52 PM UTC+1, WM wrote:

    A x e (0, 1]: E^ℵo u: u < x
    is same as
    A (x, 1]: E^ℵo u: u < (x, 1]

    Huh?! "A (x, 1]: E^ℵo u: u < (x, 1]" ist noch nicht mal eine wff,

    Better correct mathematics than well formed credo in absurdum.

    ZFC supplies for the function Number of Unit Fractions between 0 and x
    the result
    NUF(x) = 0 for x =< 0 and NUF(x) = ℵo for x > 0.
    So, according to ZFC the number of unit fractions grows between 0 and
    (0, 1] by more than 2.
    This is impossible because between any two unit fractions there are "uncountably" many points which do not fit between 0 and (0, 1]. This
    proves that ZFC does not deliver correct mathematics in this case, like
    in several others: https://www.researchgate.net/publication/376587391_The_seven_deadly_sins_of_set_theory

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Thu Dec 28 08:07:43 2023
    On 12/28/23 3:42 AM, WM wrote:
    Le 28/12/2023 à 03:35, Richard Damon a écrit :

    But there isn't a "gap" between 0 and the unbounded set of unit
    fractions, so you "set theory" can't actually say anything about what
    happens there.

    Is can't increase infinitely anywhere BETWEEN UNIT FRACTIONS,

    Correct. Therefore the set cannot exist without gap. At most one unit fraction can.


    Which says NOTHING about between 0 and the set, since 0 isn't a "Unit
    Fraction"


    but between 0 and the positive numbers, it isn't defined

    incorrect.

    Show the definition?




    , so can arbitrarily
    junp, in fact it MUST because the Unit Fractions get unboundly small
    so there can't be a "first" unit fraction for NUF to be 1 at.

    ZFC supplies for the function Number of Unit Fractions between 0 and x
    the result
    NUF(x) = 0 for x =< 0 and NUF(x) = ℵo for x > 0.
    So, according to ZFC the number of unit fractions grows between 0 and
    (0, 1] by more than 2.
    This is impossible because between any two unit fractions there are "uncountably" many points which do not fit between 0 and (0, 1]. This
    proves that ZFC does not deliver correct mathematics in this case, like
    in several others: https://www.researchgate.net/publication/376587391_The_seven_deadly_sins_of_set_theory

    Regards, WM


    You do understand that ZFC does not provide a full definition of the
    "Natural Numbers", and never claims to? (It can provide a close
    approximation, but not the full properties of them). My understanding is
    that this is, in part, due to ZFC being a "First Order" logic system,
    and the full properties of the Natural Numbers needing Second Order logic.

    Thus, trying to use it in a system that DOES have a full definition of
    the Natural Numbers leads you to inconsistencies. And the fault there is
    YOURS, not the theory.

    Perhaps you should read your set theory a bit more closely.

    Your logic is built on the LIE of assuming there must be a first unit
    fraction. Without that lie, you don't get your contradiction, just the
    fact that your NUF function never has a finite value other than 0, as to
    have a value of 1, there must be a first unit fraction, which there is not.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Thu Dec 28 16:11:51 2023
    Le 28/12/2023 à 14:07, Richard Damon a écrit :
    On 12/28/23 3:44 AM, WM wrote:
    Le 28/12/2023 à 03:35, Richard Damon a écrit :
    On 12/27/23 4:50 PM, WM wrote:

    But there are too few natural numbers. There are too few indices X in

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..

    cover the whole matrix.

    But there is not, when you transform k -> m,n where

    k = = (m + n - 1)(m + n - 2)/2 + m

    you find there is exactly one combination of m,n for every k, so there
    are just as many k's as m,n combinations.

    Hence there is an internal contradiction.

    WHAT is in contradiction?

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..

    He talks NOTHING of "taking from a column", that is YOUR invention.

    He does not even talk about a matrix. But he talks about a series (older
    form of sequence) an that applies all natural numbers as indices of the
    terms. They are the integer fractions, i.e., the elements of the first
    column. You need not even much intelligence to understand that - but a
    bit.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Thu Dec 28 16:28:18 2023
    Le 28/12/2023 à 14:07, Richard Damon a écrit :
    On 12/28/23 3:42 AM, WM wrote:

    ZFC supplies for the function Number of Unit Fractions between 0 and x
    the result
    NUF(x) = 0 for x =< 0 and NUF(x) = ℵo for x > 0.
    So, according to ZFC the number of unit fractions grows between 0 and
    (0, 1] by more than 2.
    This is impossible because between any two unit fractions there are
    "uncountably" many points which do not fit between 0 and (0, 1]. This
    proves that ZFC does not deliver correct mathematics in this case, like
    in several others:

    https://www.researchgate.net/publication/376587391_The_seven_deadly_sins_of_set_theory

    You do understand that ZFC does not provide a full definition of the
    "Natural Numbers",

    I understand that it is the case, but hitherto I haven't found a
    matheologian who confessed that.

    and never claims to?

    That is new to me. ZFC is the theory of all sets, in particular of the
    smallest infinite set.

    Thus, trying to use it in a system that DOES have a full definition of
    the Natural Numbers leads you to inconsistencies.

    Can you give a reference for this opinion? Is there a "professional" mathematician who confessed this? Yesterday a student of mine has asked
    the same question in MathOverflow. But five dishonest fools there have
    quickly deleted his question, as not matching their level of stupidity, of course without even trying to answer it. Therefore I am interested to find
    out whether there are honest matheologians somewhere in the world.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Thu Dec 28 13:34:28 2023
    On 12/28/23 11:11 AM, WM wrote:
    Le 28/12/2023 à 14:07, Richard Damon a écrit :
    On 12/28/23 3:44 AM, WM wrote:
    Le 28/12/2023 à 03:35, Richard Damon a écrit :
    On 12/27/23 4:50 PM, WM wrote:

    But there are too few natural numbers. There are too few indices X in >>>>>
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..

    cover the whole matrix.

    But there is not, when you transform k -> m,n where

    k = = (m + n - 1)(m + n - 2)/2 + m

    you find there is exactly one combination of m,n for every k, so
    there are just as many k's as m,n combinations.

    Hence there is an internal contradiction.

    WHAT is in contradiction?

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..

    And what is the contradiction about that?

    Who expects that one column of a matrix will ever fill the full area of
    the SAME matrix?

    If you do, your logic is just broken.


    He talks NOTHING of "taking from a column", that is YOUR invention.

    He does not even talk about a matrix. But he talks about a series (older
    form of sequence) an that applies all natural numbers as indices of the terms. They are the integer fractions, i.e., the elements of the first column. You need not even much intelligence to understand that - but a bit.

    Regards, WM



    Right, he shows a mapping of the "1 dimensional" sequence of k, to the
    "2 dimensional" sequence set of m,n. We can display the 2-dimensional
    sequence in a matrix.

    So, he does what he claims, produces a mapping of the Counting Numbers
    to fill the space of the number pairs.

    YOU are the one that somehow thinks this should fill the number pairs
    out of the set of just the Natural Numbers, which shows your ignorance
    of what you are actually trying to do.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 30 11:13:25 2023
    Le 28/12/2023 à 19:34, Richard Damon a écrit :
    On 12/28/23 11:11 AM, WM wrote:


    WHAT is in contradiction?

    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..

    And what is the contradiction about that?

    Who expects that one column of a matrix will ever fill the full area of
    the SAME matrix?

    Every set theorist does.

    If you do, your logic is just broken.

    I don't. But Cantor claims that all positive unit fractions can be
    enumerated by all natural numbers. All positive unit fractions are the positions of the matrix. All integer fractions in the first column supply
    all natural numbers. There can be mo objection to that.

    Right, he shows a mapping of the "1 dimensional" sequence of k, to the
    "2 dimensional" sequence set of m,n. We can display the 2-dimensional sequence in a matrix

    and the one-dimensional sequence in its first column.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Sat Dec 30 11:21:36 2023
    Le 28/12/2023 à 19:34, Richard Damon a écrit :
    On 12/28/23 11:28 AM, WM wrote:

    Can you give a reference for this opinion? Is there a "professional"
    mathematician who confessed this?

    Just read Godel. He shows that any system that creates the full (or
    actually, just enough of the) mathematics of the Natural Numbers must be incomplete, but also points out the ZFC can be complete but not be able
    to prove it consistency. This is because ZFC doesn't generate the full mathematics.

    And this should prevent the function NUF(x) to be observed completely?

    This is because ZFC just uses First Order Logic, which isn't enough to
    create the full mathematics, (but is enough to generate the set of numbers).

    This distinction is simply nonsense.There is logic and there is unlogic.
    That's all. But anyhow NUF(x) is first order logic.

    The Mathematics requries adding at least induction, which is a second
    order logical form, and thus beyond basic ZFC.

    To my knowledge, no set theorist does agree with you.

    As to formal references, I will admit this isn't my field of expertise,
    and thus I don't know the formal source material that lays this out. I
    am really an "Engineer" that uses this sort of Theory to make things
    work, and thus have an understanding of the basic principles.

    An engineer who really would apply set theory and mathematical "logic" is doomed to failure.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Sat Dec 30 11:11:58 2023
    On 12/30/23 6:21 AM, WM wrote:
    Le 28/12/2023 à 19:34, Richard Damon a écrit :
    On 12/28/23 11:28 AM, WM wrote:

    Can you give a reference for this opinion? Is there a "professional"
    mathematician who confessed this?

    Just read Godel. He shows that any system that creates the full (or
    actually, just enough of the) mathematics of the Natural Numbers must
    be incomplete, but also points out the ZFC can be complete but not be
    able to prove it consistency. This is because ZFC doesn't generate the
    full mathematics.

    And this should prevent the function NUF(x) to be observed completely?

    The problem with NUF is in its definition.


    This is because ZFC just uses First Order Logic, which isn't enough to
    create the full mathematics, (but is enough to generate the set of
    numbers).

    This distinction is simply nonsense.There is logic and there is unlogic. That's all. But anyhow NUF(x) is first order logic.

    No, it is UNLOGIC, at least the assertion that a point exists where
    NUF(x) == 1. Please try to show the ACTUAL LOGIC (not some "dark logic")
    that shows that there exists a value of x that NUF(x) is 1 at.

    Note, the fact that at the point x in (0, 1], 1/(n+1) < x <= 1/n, there
    is a flat point doesn't prove what you want. The fact that the gap it is
    in is only 1/((n*(n+1)) means the gap is much SMALLER than x, and can
    never reach to 0, so there does not exist a value of x where the gap
    before it can be long enough to reach to 0, and thus no point where
    NUF(x) can be 1.

    You are trying to argue that the gaps somehow "fill" the space and force
    you to squeeze a point to have NUF(x) == 1, but in fact, because the
    flat area has a maximum length at any given point, it shows that this
    can't happen.

    You are just ignoring the parts that seem inconvient to you.


    The Mathematics requries adding at least induction, which is a second
    order logical form, and thus beyond basic ZFC.

    To my knowledge, no set theorist does agree with you.

    Since you think k <-> 1/k is the same mapping as
    k <-> m/n with k = (m+n-1)(m+n-2)/2 + m

    Your knowledge doesn't really matter, facts matter.


    As to formal references, I will admit this isn't my field of
    expertise, and thus I don't know the formal source material that lays
    this out. I am really an "Engineer" that uses this sort of Theory to
    make things work, and thus have an understanding of the basic principles.

    An engineer who really would apply set theory and mathematical "logic"
    is doomed to failure.
    Regards, WM



    Someone who thinks there must be a highest Natural Number (or smallest
    unit fraction) has already failed.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Sat Dec 30 17:44:32 2023
    On 28.12.2023 21:39, William wrote:
    On Wednesday, December 27, 2023 at 4:24:30 AM UTC-4, WM wrote:
    My game shows that the matrix A is
    larger than B and containing not indexed fractions.

    But whether or not A is defined, the matrix
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    will never be covered by X. This shows that never all matrix positions
    will be indeXed.

    Your game does not provide a definition for the putative A

    That is because most of it is dark. By the way the same is true for B.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Fri Jan 5 11:14:12 2024
    On 04.01.2024 17:19, William wrote:
    On Saturday, December 30, 2023 at 12:44:39 PM UTC-4, WM wrote:

    Your game does not provide a definition for the putative A
    That is because
    I.e the putative A is not defined. Yet you continue to use the properties of this non existent thing

    This matrix is of same size:
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    Its size does not change when reordering the X. The not indexed places, indicated by O, will be reordered too, but will never be indexed. Only
    that is of interest.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Fri Jan 5 10:04:38 2024
    On 1/5/24 5:14 AM, WM wrote:
    On 04.01.2024 17:19, William wrote:
    On Saturday, December 30, 2023 at 12:44:39 PM UTC-4, WM wrote:

    Your game does not provide a definition for the putative A
    That is because
    I.e the putative A is not defined.  Yet you continue to  use the
    properties of this non existent thing

    This matrix is of same size:
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    Its size does not change when reordering the X. The not indexed places, indicated by O, will be reordered too, but will never be indexed. Only
    that is of interest.

    Regards, WM

    In other words, you don't understand Cantor's proof and are just trying
    to use "common sense" on things that are actually known to defy "common
    sense" because infinity introduces some "strangeness"

    Note, if you do it right, you can actually make the O's "disappear",
    because you can swap them out to an unbounded distance from the start,
    and pull in the unbounded number of x's on that first column into the
    part of the matrix that we can see.

    Yes, the Os are "still there" but have disappered.

    Remember, one property of infinite sets is that a proper subset of an
    infinte set may still have exactly the same size as the original set itself.

    Thus, the original set of all cells with X or O, can be (and in this
    case is) the exact same size as both the set of Xs and the set of Os and
    those sets are also exactly the same size.

    If your mind and logic can't handle that fact, then it is just
    insufficient to handle this.

    A simple proof of this fact is look at the Natural Numbers and the Even Numbers. Clearly the Even Numbers are a Proper Subset of the Natural
    Numbers, as one way to make that set is to remove all the odd numbers,
    which should leave us with a set that is one-half the size.

    But another way to build the set of even numbers is to transform the
    elements of the set of Natural Numbers by doubling each element. A set
    built by transforming every element to a new unique element can't be of different size as the original set.

    Thus, we have shown that for sets of infinite size, the Natural Numbers,
    the subset of it , The Even Natural Numbers, is both a proper subset,
    and of the same size.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From olcott@21:1/5 to Richard Damon on Fri Jan 5 12:27:29 2024
    On 1/5/2024 9:04 AM, Richard Damon wrote:
    On 1/5/24 5:14 AM, WM wrote:
    On 04.01.2024 17:19, William wrote:
    On Saturday, December 30, 2023 at 12:44:39 PM UTC-4, WM wrote:

    Your game does not provide a definition for the putative A
    That is because
    I.e the putative A is not defined.  Yet you continue to  use the
    properties of this non existent thing

    This matrix is of same size:
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    Its size does not change when reordering the X. The not indexed
    places, indicated by O, will be reordered too, but will never be
    indexed. Only that is of interest.

    Regards, WM

    In other words, you don't understand Cantor's proof and are just trying
    to use "common sense" on things that are actually known to defy "common sense" because infinity introduces some "strangeness"

    Note, if you do it right, you can actually make the O's "disappear",
    because you can swap them out to an unbounded distance from the start,
    and pull in the unbounded number of x's on that first column into the
    part of the matrix that we can see.

    Yes, the Os are "still there" but have disappered.

    Remember, one property of infinite sets is that a proper subset of an
    infinte set may still have exactly the same size as the original set
    itself.

    Thus, the original set of all cells with X or O, can be (and in this
    case is) the exact same size as both the set of Xs and the set of Os and those sets are also exactly the same size.

    If your mind and logic can't handle that fact, then it is just
    insufficient to handle this.

    A simple proof of this fact is look at the Natural Numbers and the Even Numbers. Clearly the Even Numbers are a Proper Subset of the Natural
    Numbers, as one way to make that set is to remove all the odd numbers,
    which should leave us with a set that is one-half the size.

    But another way to build the set of even numbers is to transform the
    elements of the set of Natural Numbers by doubling each element. A set
    built by transforming every element to a new unique element can't be of different size as the original set.

    Thus, we have shown that for sets of infinite size, the Natural Numbers,
    the subset of it , The Even Natural Numbers, is both a proper subset,
    and of the same size.



    *Does the directly executed D(D) halt?*

    --
    Copyright 2023 Olcott

    "Talent hits a target no one else can hit;
    Genius hits a target no one else can see."
    Arthur Schopenhauer

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Fri Jan 5 15:06:39 2024
    On 1/5/24 1:27 PM, olcott wrote:

    *Does the directly executed D(D) halt?*

    So, you are just showing your total stupidity, as this was posted in
    reply to a message and thread that had nothing to do with a program D or Halting in general, but on counting infinite sets which is a totally
    different field of logic and mathematics.

    I guess someone is off their medication.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Mon Jan 8 10:15:08 2024
    William schrieb am Freitag, 5. Januar 2024 um 19:38:07 UTC+1:
    On Friday, January 5, 2024 at 6:14:17 AM UTC-4, WM wrote:
    On 04.01.2024 17:19, William wrote:
    On Saturday, December 30, 2023 at 12:44:39 PM UTC-4, WM wrote:

    Your game does not provide a definition for the putative A
    That is because
    I.e the putative A is not defined. Yet you continue to use the properties of
    this non existent thing
    This matrix
    A does not exist, There is no "the matrix".

    If actual infinity exists, then the matrix A(0) =
    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..
    exists, and every reordering of the X by exchanging X and O does not
    remove any O. Hence not all fractions can get indexed.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Mon Jan 8 10:20:56 2024
    Le 05/01/2024 à 16:04, Richard Damon a écrit :
    On 1/5/24 5:14 AM, WM wrote:
    On 04.01.2024 17:19, William wrote:
    On Saturday, December 30, 2023 at 12:44:39 PM UTC-4, WM wrote:

    Your game does not provide a definition for the putative A
    That is because
    I.e the putative A is not defined.  Yet you continue to  use the
    properties of this non existent thing

    This matrix is of same size:
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    Its size does not change when reordering the X. The not indexed places,
    indicated by O, will be reordered too, but will never be indexed. Only
    that is of interest.

    In other words, you don't

    believe in nonsense

    and are just trying
    to use "common sense" on things that are actually known to defy "common sense" because infinity introduces some "strangeness"

    Only when the religion of matheology is concerned.

    Note, if you do it right, you can actually make the O's "disappear",
    because you can swap them out to an unbounded distance from the start,

    Yes, they disappear but they cannot leave the matrix by exchange with x. Simplest logic.

    Yes, the Os are "still there" but have disappered.

    That means, they have settled at dark places.

    Remember, one property of infinite sets is that a proper subset of an
    infinte set may still have exactly the same size as the original set itself.

    That is shown to be the belief of cranks by just the present argument. It cannot be used as an argument to corrupt logic.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Mon Jan 8 07:21:13 2024
    On 1/8/24 5:20 AM, WM wrote:
    Le 05/01/2024 à 16:04, Richard Damon a écrit :
    On 1/5/24 5:14 AM, WM wrote:
    On 04.01.2024 17:19, William wrote:
    On Saturday, December 30, 2023 at 12:44:39 PM UTC-4, WM wrote:

    Your game does not provide a definition for the putative A
    That is because
    I.e the putative A is not defined.  Yet you continue to  use the
    properties of this non existent thing

    This matrix is of same size:
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ...
    Its size does not change when reordering the X. The not indexed
    places, indicated by O, will be reordered too, but will never be
    indexed. Only that is of interest.

    In other words, you don't

    believe in nonsense

    and are just trying to use "common sense" on things that are actually
    known to defy "common sense" because infinity introduces some
    "strangeness"

    Only when the religion of matheology is concerned.

    Note, if you do it right, you can actually make the O's "disappear",
    because you can swap them out to an unbounded distance from the start,

    Yes, they disappear but they cannot leave the matrix by exchange with x. Simplest logic.

    Yes, the Os are "still there" but have disappered.

    That means, they have settled at dark places.

    Remember, one property of infinite sets is that a proper subset of an
    infinte set may still have exactly the same size as the original set
    itself.

    That is shown to be the belief of cranks by just the present argument.
    It cannot be used as an argument to corrupt logic.

    Regards, WM


    In other words, you admit that your whole system is based on things you
    can't prove so you rely on just worthless hand waving.

    You are just too stupid to understand mathematics.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Tue Jan 9 16:57:19 2024
    Le 08/01/2024 à 13:21, Richard Damon a écrit :
    On 1/8/24 5:15 AM, WM wrote:

    If actual infinity exists, then the matrix A(0) =
    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..
    exists, and every reordering of the X by exchanging X and O does not
    remove any O. Hence not all fractions can get indexed.

    Right, "exchanging" can't get rid of anything,

    Please inform Jim Burns of this invaluable recognition.

    so something based on
    exchanging can't show two things are of the same length as you always
    will have xs and os.

    But if the indexing should be done by integer fractions, or if the
    replacement of integer fractions by integers is allowed, then Cantor's "bijection" is "completed" by exchanging. Today I have taught my students
    of this argument. No-one has contradicted.

    You are just too stupid to understand where you are wrong.

    But you know it? Where? Is the bijection n <--> 1/n impossible? Everything
    else happens just as Cantor did it.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to All on Tue Jan 9 21:58:52 2024
    On 1/9/24 11:57 AM, WM wrote:
    Le 08/01/2024 à 13:21, Richard Damon a écrit :
    On 1/8/24 5:15 AM, WM wrote:

    If actual infinity exists, then the matrix A(0) =
    1, 1/2, 1/3, 1/4, ...
    2, 2/2, 2/3, 2/4, ...
    3, 3/2, 3/3, 3/4, ...
    4, 4/2, 4/3, 4/4, ...
    5, 5/2, 5/3, 5/4, ...
    ..
    exists, and every reordering of the X by exchanging X and O does not
    remove any O. Hence not all fractions can get indexed.

    Right, "exchanging" can't get rid of anything,

    Please inform Jim Burns of this invaluable recognition.

    WHy, because it just shows that you are doing the wrong thing.


    so something based on exchanging can't show two things are of the same
    length as you always will have xs and os.

    But if the indexing should be done by integer fractions, or if the replacement of integer fractions by integers is allowed, then Cantor's "bijection" is "completed" by exchanging. Today I have taught my
    students of this argument. No-one has contradicted.

    Who is "indexing" by integer fractions.

    You are again pointing the gun the wrong way.

    THe indexing is a mapping of the Natural Numbers, to the elements of the
    FULL matrix.


    You are just too stupid to understand where you are wrong.

    But you know it? Where? Is the bijection n <--> 1/n impossible?
    Everything else happens just as Cantor did it.

    Regards, WM

    No, we can biject n <--> 1/n, just as we can biject n <--> m/n with a
    different pattern.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to All on Wed Jan 10 18:41:36 2024
    Le 10/01/2024 à 03:58, Richard Damon a écrit :
    On 1/9/24 11:57 AM, WM wrote:

    But you know it? Where? Is the bijection n <--> 1/n impossible?
    Everything else happens just as Cantor did it.

    Regards, WM

    No, we can biject n <--> 1/n, just as we can biject n <--> m/n with a different pattern.

    Meant was to biject n and n/1 which is possible because n = n/1.

    But to cover the matrix
    XOOO...
    XOOO...
    XOOO...
    XOOO...
    ..
    by reordering the X is impossible. If you can't see it you are better
    suited for the H4O debate, EOD.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From WM@21:1/5 to William on Sat Jan 20 13:39:27 2024
    William schrieb am Donnerstag, 11. Januar 2024 um 04:05:51 UTC+1:
    On Monday, January 8, 2024 at 6:15:16 AM UTC-4, WM wrote:

    the matrix A(0)

    Is not the putative matrix A. There is no matrix A

    But all existing matrices A(n) have all O's from the beginning.

    Regards, WM

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)