Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Python <python@invalid.org>
Newsgroups: sci.physics.relativity
Subject: Re: [SR and synchronization] Cognitive Dissonances and Mental
 Blockage
Date: Sat, 31 Aug 2024 15:22:08 +0200
Organization: CCCP
Lines: 55
Message-ID: <vav5e0$109ac$7@dont-email.me>
References: <v9q6eu$1tlm9$1@dont-email.me> <liduroFtbroU2@mid.individual.net>
 <vah9hs$2c43u$1@dont-email.me> <lj56luFe0luU3@mid.individual.net>
 <M4vxPZKxPU6U7NDCGNWCGCM0lRc@jntp> <ljahm9F9dfdU2@mid.individual.net>
 <vapd5l$3tffr$1@dont-email.me> <ljd51mFl74gU4@mid.individual.net>
 <vas655$e2la$2@dont-email.me> <o63FO6ufY9csAokzvXMpjto87yU@jntp>
 <vas7rr$e2la$4@dont-email.me>
 <17f07ef6b2cab9eb$615722$546728$c2565adb@news.newsdemon.com>
 <vasnba$e2la$22@dont-email.me>
 <17f093a70d87b977$760537$505029$c2365abb@news.newsdemon.com>
 <vav1pe$109ac$3@dont-email.me>
 <17f0d1f84336d9cd$768489$505029$c2365abb@news.newsdemon.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 31 Aug 2024 15:22:08 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0bc100f5050f6c852213e21dd186125e";
	logging-data="1058124"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/KGBtsGi4/zFtXQOwHWRZr"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2Uzp+8FO7BOw+daQUEJ/n78/4bM=
Content-Language: en-US
In-Reply-To: <17f0d1f84336d9cd$768489$505029$c2365abb@news.newsdemon.com>
Bytes: 3298

Le 31/08/2024 à 15:05, Maciej Wozniak a écrit :
> W dniu 31.08.2024 o 14:19, Python pisze:
>> Le 30/08/2024 à 20:03, Maciej Wozniak a écrit :
>>> W dniu 30.08.2024 o 17:09, Python pisze:
>>>> Le 30/08/2024 à 13:44, Maciej Wozniak a écrit :
>>>> ...
>>>>> No theory of mathematics include clocks.
>>>>
>>>> Sure! But a model of clocks can appear in a mathematical
>>>> theory.
>>>
>>> It can
>>
>> Good to know. We agree then.
>>
>>> and, what's more important - a
>>> relativistic idiot like to invoke
>>> the auyhority of mathematics for
>>> excusing his mad claims.
>>> BTW - is Pythagorean theorem a
>>> "hard mathematical fact"?
>>> Yes or not?
>>
>> The hard mathematical fact is: Euclid's Axioms => Pythagorean theorem.
>>
>> Another question?
> 
> Here it comes:
> Quoting:
>  >> Paragraph I.1. describes a procedure that looks non symmetric at
>  >> first sight: clocks A and B are not treated exactly the same way
>  >> (two measures for A, one for B for instance), nevertheless at the
>  >> end of the day one can *prove* that the results are symmetric and
>  >> that inverting A and B would lead to the same result.
>  >
> This is hard mathematical facts Richard. Something beyond your head.
> End of quoting.
> 
> No axioms now implying that?

We basically need a archimedian complete ordered field. i.e. R.

Let's pick ZFC + Peano, and R (for values of the "clocks") defined as
the set of Cauchy sequences on Q or Dedekind's cuts. You may know the
definition of Q, N, and Peano's axioms that I won't repeat here.

> Just a hard mathematical fact?

Definitely.

> -- 
> poor stinker