Użytkownik "khonsu" <f...@g...com> napisał w wiadomości
news:op.wfwl36s4k6zdlz@hit-nxdomain.opendns.com...


> Jeśli odpowiednio zdefiniujesz wszystkie użyte symbole, to tak, sam
> pisałeś że to kwestia precyzji języka, a trudno o bardziej precyzyjny
> język niż matematyka.

Matematyka to nie jeden język, tylko rodzina języków. Różnice między,
dajmy na to, 2wymiarową teorią Euklidesa i teorią Łobaczewskiego
sprowadzają się łatwo do nazewnictwa. I choć ta pierwsza ma miliardy
zastosowań w setkach dziedzin, a ta druga chyba ani jednego,
matematyka jakoś nie umie między nimi wybrać. To bardzo niedobrze,
i to dla matematyki właśnie.


>Nie widziałem żebyś spieszył na pomoc FM kiedy ten próbuje udowadniać jego
>istnienie... biedny FM a tak się stara, na pewno ucieszyłby się wiedząc że
>masz wszystkie odpowiedzi ;)

Bo na tej grupie nie widać.

>A poważnie, nie ma żadnego eksperymentalnego dowodu, potwierdzającego jego
>istnienie, choć były przecież takie próby.

:) Ależ jest.

>TW jakkolwiek popierdolona by nie była, znosi konieczność jego istnienia i
>nadaje się do praktycznych zastosowań.

To tylko teoretycy twierdzą, że się nadaje.
Różnica między TW i teorią eteru również sprowadza się do nazewnictwa.
Jeśli zegary atomowe określimy jako "dobre", pomiary potwierdzą TW.
Jeśli nie, cóż, zamiast "dylatacji czasu" wychodzi "błąd zegara".
Praktyka, to odwieczne nemezis popierdolonych teoryjek, niestety
postawiła na to drugie - tak jak stawia na Euklidesa, nie na Łobaczewskiego.

Prawdziwe zegary w prawdziwym GPS wskazują jak wół - t'=t. A to, że
tak właśnie się skończy, powinno być oczywiste dla każdego myślącego
człowieka, również 100 lat temu.