Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Jim Burns <james.g.burns@att.net> |
|---|---|
| Newsgroups | sci.math |
| Subject | Re: how |
| Date | 2024-06-20 20:18 -0400 |
| Organization | A noiseless patient Spider |
| Message-ID | <74cb7a4e-39ad-4832-80e8-2855d160af8a@att.net> (permalink) |
| References | (6 earlier) <xJmCht9ieNLiQMSR57t03IZLuXs@jntp> <c178dd0f-4bb0-47d9-b1e2-e8a7c8b851c0@att.net> <mpLoi51m0coJyOmPmE1fRwX_DDg@jntp> <c4a5b51e-a9c3-4d3f-b7f9-06a53593d836@att.net> <8SqWWZhhlVTCtwSAp_E7XuodBl8@jntp> |
On 6/19/2024 2:37 PM, WM wrote:
> Le 18/06/2024 à 23:06, Jim Burns a écrit :
>> For subsets of the minimal inductive meta.set
>> {i:∀₃Xᴬ⤾⁺¹₀:X∋i}
>> only the empty set does not hold a first element.
>> If the set of numbers.remaining
>> does not hold a first element,
>> then the set of numbers.remaining
>> is the empty set.
>
> That is your big mistake!
Xᴬ⤾⁺¹₀ "X is inductive" ⇔
∀₂j∈X: X∋j⁺¹ ∧ X∋0
Under proposal 3
because predicate ∀₃Xᴬ⤾⁺¹₀:X∋i
has truth.values for all existing₂ sets,
meta.set {i:∀₃Xᴬ⤾⁺¹₀:X∋i} exists₃ such that
j e {i:∀₃Xᴬ⤾⁺¹₀:X∋i} ⇔ ∀₃Xᴬ⤾⁺¹₀:X∋j
{i:∀₃Xᴬ⤾⁺¹₀:X∋i} is the minimal inductive
For convenience,
⋂{Xᴬ⤾⁺¹₀} = {i:∀₃Xᴬ⤾⁺¹₀:X∋i}
The minimal inductive is inductive.
Each inductive meta.set superset the minimal inductive.
(⋂{Xᴬ⤾⁺¹₀})ᴬ⤾⁺¹₀
Yᴬ⤾⁺¹₀ ⇒ Y ⊇ ⋂{Xᴬ⤾⁺¹₀}
⟨0…n⟩ᶠⁱˢᵒⁿ "⟨0…n⟩ is a FISON" ⇔
0 ≤ᴬ∈ ⟨0…n⟩ ∋ᴬ≤ n ∧
∀₃F ⊆ ⟨0…n⟩: ∅ ≠ F ᴬ<ᴬ ⟨0…n⟩\F ≠ ∅ ⇒
∃₂i ≥ᴬ∈ F:
∃₂j ≤ᴬ∈ ⟨0…n⟩\F:
i⁺¹ = j
Under proposal 3
because predicate ∃₃⟨0…n⟩ᶠⁱˢᵒⁿ∋i
has truth values for all existing₂ sets i
meta.set {i:∃₃⟨0…n⟩ᶠⁱˢᵒⁿ∋i} exists₃ such that
j ∈ {i:∃₃⟨0…n⟩ᶠⁱˢᵒⁿ∋i} ⇔ ∃₃⟨0…n⟩ᶠⁱˢᵒⁿ∋j
{i:∃₃⟨0…n⟩ᶠⁱˢᵒⁿ∋i} is the union of FISONs
For convenience,
⋃{⟨0…n⟩} = {i:∃₃⟨0…n⟩ᶠⁱˢᵒⁿ∋i}
⋃{⟨0…n⟩} is inductive.
⋃{⟨0…n⟩} is a superset of ⋂{Xᴬ⤾⁺¹₀}
Therefore,
minimal inductive ⋂{Xᴬ⤾⁺¹₀} holds only
FISON.end elements of ⋃{⟨0…n⟩}
>> For subsets of the minimal inductive meta.set
>> {i:∀₃Xᴬ⤾⁺¹₀:X∋i}
>> only the empty set does not hold a first element.
>> If the set of numbers.remaining [in ⋂{Xᴬ⤾⁺¹₀}]
>> does not hold a first element [in ⋂{Xᴬ⤾⁺¹₀}],
>> then the set of numbers.remaining [in ⋂{Xᴬ⤾⁺¹₀}]
>> is the empty set.
>
> That is your big mistake!
For subsets of the union ⋃{⟨0…n⟩} of FISONs
only the empty set does not hold a first element.
[1]
Subsets of the minimal inductive ⋂{Xᴬ⤾⁺¹₀} are
subsets of the union ⋃{⟨0…n⟩} of FISONs of which
only the empty set does not hold a first element.
[1]
| Assume S ⊆ ⋃{⟨0…n⟩} is nonempty
|
| kₛ is in S
| and in ⋃{⟨0…n⟩}
| and in FISON ⟨0…kₛ⟩
| ⟨0…kₛ⟩∩S ≠ ∅
|
| In FISON ⟨0…kₛ⟩
| exists first jₛ such that
| ⟨0…jₛ⟩∩S ≠ ∅ & ⟨0…jₛ⁻¹⟩∩S = ∅
|
| jₛ is first in S
Therefore,
for subsets of the union ⋃{⟨0…n⟩} of FISONs
only the empty set does not hold a first element,
and,
for subsets of minimal inductive ⋂{Xᴬ⤾⁺¹₀}
only the empty set does not hold a first element.
> Start to count, continue, continue, continue,.. .
> What you can determine that you can count.
> The set of not counted numbers remains infinite.
> But you cannot determine a first element.
> All your following waffle is worthless,
> because it violates this fundamental truth.
> Simply try it instead of "proving"
> counterfactual nonense.
We do not count infinitely.many.
We do not even count Avogadroᴬᵛᵒᵍᵃᵈʳᵒ.many,
not in our 13.7×10⁹.year.old universe, and
Avogadroᴬᵛᵒᵍᵃᵈʳᵒ is barely a start on infinity.
Instead,
we make or find or learn of
finite claim.sequences of only not.first.false.
which we know _can only hold_
true claims about Avogadroᴬᵛᵒᵍᵃᵈʳᵒ
which we do not count.to, and
true claims about infinity
which we do not count.to.
Therefore,
because we can make or find or learn of
finite claim.sequences of only not.first.false
which hold the claim
⎛ for subsets of minimal inductive ⋂{Xᴬ⤾⁺¹₀}
⎝ only the empty set does not hold a first element.
we know that claim can only be true.
We can learn this in our 13.7×10⁹.year.old universe.
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-05 10:43 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-05 13:21 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-05 20:32 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-05 22:54 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-05 17:08 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-05 12:03 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-05 20:33 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-05 22:56 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-05 15:28 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-05 20:39 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-05 17:31 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-06 13:27 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-06 15:44 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-06 16:04 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-06 16:05 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-06 14:35 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-06 20:14 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-07 14:00 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-07 19:21 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-07 17:00 -0400
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-07 22:34 -0700
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-08 07:21 -0400
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-08 13:25 -0400
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-08 12:13 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-08 18:49 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 13:26 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-10 15:57 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 16:39 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-10 18:45 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 17:37 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 14:20 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-10 23:34 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-10 13:09 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 17:45 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-10 15:18 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-10 22:05 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-10 16:50 -0400
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 15:25 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 00:33 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 16:06 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-11 14:36 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-11 16:50 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-11 12:28 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 15:22 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 00:27 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 16:02 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 01:16 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-11 01:18 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-08 12:42 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-08 14:16 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-08 22:20 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-08 18:47 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-09 00:59 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-09 11:53 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 13:38 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-10 14:02 -0400
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-08 20:40 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-09 04:28 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-09 06:19 -0400
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-09 12:38 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 16:33 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-10 16:16 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-10 22:29 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-11 14:45 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-11 16:59 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-11 18:56 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-11 22:30 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 10:24 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-12 14:29 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 18:22 +0000
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 16:40 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 20:44 +0000
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 16:51 -0400
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 14:22 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 14:23 -0700
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 19:46 -0400
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 19:37 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-13 01:44 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 20:00 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-13 02:21 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 20:37 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-13 02:45 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 18:55 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-13 04:23 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-13 06:09 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-13 13:57 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-15 00:24 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-14 21:06 -0400
Re: how Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-14 19:51 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-15 15:09 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-15 14:39 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-16 01:09 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-16 01:24 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-17 14:31 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-18 00:00 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-17 18:39 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-18 01:16 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-13 01:40 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-13 12:10 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-12 17:47 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-13 02:15 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 10:57 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-13 08:53 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-13 01:33 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 10:59 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 13:41 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-11 12:25 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-11 14:44 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-11 16:57 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-11 18:53 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-11 22:22 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 10:18 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-12 14:25 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-11 13:30 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 10:21 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 12:54 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-12 14:18 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 18:27 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-12 14:54 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 20:33 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-12 17:12 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 10:55 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-13 09:16 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-13 15:25 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 14:45 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 16:59 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-13 12:13 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-13 21:44 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-14 00:05 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-14 00:08 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-13 17:02 -0400
Re: how Tom Bola <Tom@bolamail.etc> - 2024-06-13 02:14 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-13 02:26 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 13:53 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 16:28 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 14:55 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 17:02 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 15:13 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 17:26 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-13 17:48 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 15:55 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 18:04 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-13 18:12 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-13 18:44 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 18:03 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 21:39 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-13 23:52 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 08:48 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-14 13:17 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 16:29 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-14 18:47 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 16:56 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-14 19:01 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-14 18:34 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 16:41 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-14 18:55 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 08:46 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-14 13:01 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-13 14:25 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 08:34 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-14 10:56 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 16:39 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-14 18:53 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-14 14:52 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-15 17:58 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-15 18:00 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-15 18:06 +0200
Re: how (point at infinity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-15 09:19 -0700
Re: how (point at infinity) Moebius <invalid@example.invalid> - 2024-06-15 18:35 +0200
Re: how (point at infinity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-15 09:45 -0700
Re: how (point at infinity) Moebius <invalid@example.invalid> - 2024-06-15 19:12 +0200
Re: how (point at infinity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-15 10:32 -0700
Re: how (point at infinity) Moebius <invalid@example.invalid> - 2024-06-15 19:14 +0200
Re: how (point at infinity) Jim Burns <james.g.burns@att.net> - 2024-06-15 13:30 -0400
Re: how (point at infinity) Moebius <invalid@example.invalid> - 2024-06-16 01:45 +0200
Re: how (point at infinity) Moebius <invalid@example.invalid> - 2024-06-16 01:50 +0200
Re: how (point at infinity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-16 05:56 -0700
Re: how (point at infinity) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-16 12:20 -0700
Re: how (point at infinity) Moebius <invalid@example.invalid> - 2024-06-16 21:46 +0200
Re: how (point at infinity) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-16 17:15 -0700
Re: how (point at infinity) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-16 05:47 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-16 03:13 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-16 14:17 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-18 13:12 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-18 20:09 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-18 17:06 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-19 18:37 +0000
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-19 15:34 -0400
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-19 12:49 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-20 15:26 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-20 15:26 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-20 20:18 -0400
Re: how Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-20 18:36 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-21 17:01 -0400
Re: how (running constants in physics) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-22 15:26 -0700
Re: how (running constants in physics) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-24 17:56 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-21 06:59 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-21 13:32 -0400
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-21 15:13 -0400
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-22 07:58 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-22 16:31 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-22 14:20 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-22 20:19 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-22 13:22 -0700
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-22 18:17 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-22 12:11 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-22 13:34 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-22 20:12 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-22 17:04 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-22 21:30 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-23 13:58 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-23 20:04 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-24 13:18 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-24 18:41 +0000
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-22 18:21 -0400
Re: how Phil Carmody <pc+usenet@asdf.org> - 2024-06-23 01:25 +0300
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-23 19:52 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-22 12:09 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-22 20:23 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-22 14:16 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-22 14:18 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-22 21:35 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-22 14:41 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-22 17:25 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-22 21:34 +0000
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 13:45 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-13 08:22 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-13 14:50 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 14:39 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 16:53 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 15:07 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 17:23 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 14:28 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 16:40 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 15:01 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 17:09 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-13 17:35 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 15:38 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 15:39 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 13:44 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-10 15:58 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 15:33 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 15:37 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 00:47 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 15:49 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 01:09 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 16:15 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 03:28 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-11 03:41 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-11 03:43 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-11 12:31 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-12 01:33 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 16:20 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 01:28 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 16:54 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 03:07 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-11 12:41 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-11 12:43 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-11 13:00 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-12 01:24 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 06:50 -0400
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 06:49 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 13:33 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-10 16:03 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-10 13:43 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-10 17:50 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-10 22:14 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 15:40 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-11 00:50 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-06 10:52 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-07 10:59 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-07 11:59 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-07 12:00 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 13:18 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 20:38 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 13:51 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 13:57 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 21:01 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 04:37 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 14:04 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 16:32 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 14:56 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 17:00 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 15:10 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-13 11:57 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-13 11:56 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 08:41 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-14 11:30 -0700
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-14 17:21 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-14 23:42 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-14 23:43 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-16 14:21 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-16 12:05 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-16 12:11 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-16 21:41 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-16 21:51 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-17 00:52 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-16 17:11 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-17 20:04 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-18 20:13 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-18 15:21 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-19 00:45 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-18 16:18 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-19 01:47 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-18 18:05 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-19 07:42 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-19 12:36 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-18 20:45 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-19 02:56 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-18 18:02 -0700
Re: how (quantities and units, implicits and explicits, intensional and extensional) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-18 19:34 -0700
Re: how (quantities and units, implicits and explicits, intensional and extensional) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-18 20:58 -0700
Re: how (quantities and units, implicits and explicits, intensional and extensional) Jim Burns <james.g.burns@att.net> - 2024-06-19 12:43 -0400
Re: how (quantities and units, implicits and explicits, intensional and extensional) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-19 13:29 -0700
Re: how (quantities and units, implicits and explicits, intensional and extensional) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-19 17:32 -0700
Re: how (quantities and units, implicits and explicits, intensional and extensional) Jim Burns <james.g.burns@att.net> - 2024-06-20 12:47 -0400
Re: how (quantities and units, implicits and explicits, intensional and extensional) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-20 13:40 -0700
Re: how (quantities and units, implicits and explicits, intensional and extensional) Ross Finlayson <ross.a.finlayson@gmail.com> - 2024-06-20 18:27 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-16 17:13 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-17 21:19 +0000
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-12 20:58 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 14:03 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-12 14:04 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 10:48 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-13 14:28 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-13 14:31 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-13 11:53 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-14 08:40 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-14 11:30 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-14 22:43 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-12 20:16 -0400
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-13 11:59 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-13 01:47 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-06 20:11 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-06 20:12 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-07 11:01 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-07 13:06 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-07 13:10 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-07 15:57 +0000
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-07 13:32 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-07 19:15 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-07 12:27 -0700
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-07 17:49 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-07 23:59 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-07 22:45 -0700
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-06-08 07:33 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-08 16:23 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-10 19:00 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-07 23:54 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-05 22:59 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-05 17:46 -0400
Re: how Moebius <invalid@example.invalid> - 2024-06-06 01:08 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-06 01:11 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-06 01:13 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-06 01:18 +0200
csiph-web