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-12 17:12 -0400 |
| Organization | A noiseless patient Spider |
| Message-ID | <cd5609a6-d98f-48fa-9574-7db19481a5fd@att.net> (permalink) |
| References | (6 earlier) <qTugrY-H0bH8YiWs08HQPq9TnPU@jntp> <158f436b-3159-4055-9cf4-b221b61f6261@att.net> <vJHfJccwvHHlvdvzO5O9qa3PA28@jntp> <460e9017-ed20-461e-9adb-e16db93c6119@att.net> <0fqGxowmfTbMj7rQlHlTeG-h1Dk@jntp> |
On 6/12/2024 4:33 PM, WM wrote:
> Le 12/06/2024 à 20:54, Jim Burns a écrit :
>> On 6/12/2024 2:27 PM, WM wrote:
>>> Le 12/06/2024 à 20:18, Jim Burns a écrit :
>>>> On 6/11/2024 10:44 AM, WM wrote:
>>>>> ℕ \ {1, 2, 3, ...} = ?
>>>>> Where are the followers?
>>>>
>>>> ℕ\{0,1,2,…} = ∅
>>>
>>> So there are no followers?
>>
>> there is no j ∈ ℕ after ℕ
>
> i.e., after all natural numbers.
There is no natural number after (≥)
all natural numbers.
ℕ = {y: ∀₃X⤾⁺¹₀:X∋y}
ℕ is the minimal inductive meta.set.
∀ᴺx ∃ᴺy≠x: x<y ⇔
¬∃ᴺy ∀ᴺx≠y: x<y
> That means:
> If every number is subtracted,
> then no successors remain.
If every number is deleted,
then every number is deleted.
> If only definable numbersa are
> subtracted, then successors remain.
Only if some natural number is undefinable.
If any natural number is undefinable, then
the first undefinable has a definable predecessor.
No undefinable has a definable predecessor.
No natural number is undefinable.
After all definables are deleted from ℕ
no successors (no anything) remain in ℕ
>> ℕ is the minimal inductive meta.set.
>
> ℕ is all natural numbers.
> Not more and not less.
Proposal 1.
Definitions are only
statements of _what the definer means_
Without evidence to the contrary,
the definer is presumed to be
honest and aware of what they mean, and
definitions are presumed to be
true statements of what they mean.
On questions beyond what the definer means,
their definitions do not receive
a presumption of truth,
but they remain free to argue their POV.
By 'ℕ' I mean the minimal inductive meta.set.
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-19 15:46 +0000
Re: how Moebius <invalid@example.invalid> - 2024-05-19 18:49 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-19 16:28 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-20 20:08 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-21 11:50 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-21 16:55 +0000
Re: how Moebius <invalid@example.invalid> - 2024-05-21 22:35 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-21 19:27 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-22 19:13 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-22 16:48 -0400
Re: how Moebius <invalid@example.invalid> - 2024-05-22 23:44 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-05-23 13:44 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-26 18:40 +0000
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-05-26 20:02 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-27 14:14 +0000
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-23 12:10 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-23 15:52 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-26 18:53 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-26 17:44 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-27 14:09 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-27 13:46 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-27 20:10 +0000
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-05-27 19:00 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-28 08:20 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-28 15:42 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-29 17:11 +0000
Re: how Python <python@invalid.org> - 2024-05-29 19:30 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-29 18:19 +0000
Re: how Python <python@invalid.org> - 2024-05-29 21:20 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-29 14:29 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-30 07:44 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-30 16:24 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-31 17:15 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-31 15:15 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-01 15:15 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-03 04:57 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-03 11:58 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-03 14:34 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-03 19:50 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-06-03 22:07 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-04 14:10 +0000
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
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-03 13:04 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-03 13:06 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-01 02:05 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-06-01 15:19 +0000
Re: how Moebius <invalid@example.invalid> - 2024-06-04 16:33 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-29 12:05 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-30 07:58 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-30 12:17 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-01 19:46 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-01 19:48 -0700
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-01 19:52 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-01 01:35 +0200
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-06-01 13:20 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-02 02:52 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-05-29 17:35 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-30 07:33 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-25 13:23 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-26 19:15 +0000
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-26 13:43 -0700
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-26 17:21 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-27 14:03 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-27 13:16 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-27 20:05 +0000
Re: how Moebius <invalid@example.invalid> - 2024-05-31 14:00 +0200
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-31 12:28 -0400
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-31 12:25 -0700
Re: how Moebius <invalid@example.invalid> - 2024-06-01 01:36 +0200
Re: how Moebius <invalid@example.invalid> - 2024-06-01 01:31 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-22 17:57 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-22 14:58 -0400
Re: how Moebius <invalid@example.invalid> - 2024-05-22 23:16 +0200
Re: how Moebius <invalid@example.invalid> - 2024-05-22 23:47 +0200
Re: how FromTheRafters <FTR@nomail.afraid.org> - 2024-05-23 13:46 -0400
Re: how "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2024-05-23 17:29 -0700
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-23 12:17 +0000
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-22 17:16 +0000
Re: how Moebius <invalid@example.invalid> - 2024-05-22 13:11 +0200
Re: how Moebius <invalid@example.invalid> - 2024-05-22 13:53 +0200
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-22 17:20 +0000
Re: how Jim Burns <james.g.burns@att.net> - 2024-05-22 11:48 -0400
Re: how WM <wolfgang.mueckenheim@tha.de> - 2024-05-22 10:43 +0000
csiph-web