Re: how

From	Jim Burns <james.g.burns@att.net>
Newsgroups	sci.math
Subject	Re: how
Date	2024-06-18 20:45 -0400
Organization	A noiseless patient Spider
Message-ID	<07d7daee-c963-4806-99f6-2f083df75aef@att.net> (permalink)
References	(12 earlier) <v4nf4k$6dmg$1@dont-email.me> <v4nfoo$6dmg$2@dont-email.me> <v4nqag$8qsv$1@dont-email.me> <e6e9f8a6-b9ce-4154-916a-0b3af224c413@att.net> <v4t1a1$1ieeo$2@dont-email.me>

Show all headers | View raw

On 6/18/2024 6:21 PM, Chris M. Thomasson wrote:
> On 6/17/2024 5:04 PM, Jim Burns wrote:
>> On 6/16/2024 6:52 PM, Moebius wrote:
>>> Am 16.06.2024 um 21:51 schrieb Moebius:

>>>> To put it in simple words:
>>>> /different/ means /not the same/.
>>
>> We ask
>> what can we say (or not.say) about a and b
>> if they are (or are.not) the same?

> a = 5 elephants
>
> a = b
>
> b must equal 5 elephants.
> However, if we add in something, say:
>
> a = 5 elephants
> b = 5 cats
>
> a = b?
>
> Well, 5 = 5, but what they define is different...
>
> Is that what you are getting at?

I might not have achieved the tone I was going for,
which was "chatting semi.technically"
instead of "obscure" and "mysterious".

What I am getting at  is that,
when we introduce equality into a formal system,
equality's axioms are something like
EQ1. x=x
EQ2. x=y ∧ P(x)  ⇒  P(y)

That is a way to say that a and b are "the same",
in a way in which we can put to use building
finite claim.sequences of only not.first.false.

Finite claim.sequences of only not.first.false
are only not.false. Sure, but
that's not very useful to us if we can't make
claims _about the things we want to explore_

Not every single time, but very, very often,
describing the things we want to explore
involves saying which things are the same and
which things are different.

_How_ do we say that?  One answer is EQ1 and EQ2.

> a = 5 elephants
> b = 5 cats
> a = b?

In the physical sciences,
the wrong units of measurement turn something
into flaming nonsense.
How many stone.barns.per.fortnight does it take
to turn this light bulb on?

So, I would say
5 elephants ≠ 5 cats

But context matters.
I would also say
5 mammals = 5 mammals

I will courageously assert: it depends.

Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: how Jim Burns <james.g.burns@att.net> - 2024-06-04 17:31 -0400
  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