DedekindКак я понимаю,
epros не отрицает, что равенство скоростей "туда" и "сюда" непроверяемо.
Он возражает на Вашу формулировку, что в процедуре синхронизации уже используется значение
![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
(измеренное двусторонним образом), поэтому синхронизация двусторонняя, а не односторонняя.
Потому что, хоть
![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
формально и используется, но будь вместо света звук, у нас ничего не получилось бы. Не было бы постоянства этой скорости везде и всюду, даже и с синхронизированными часами. То есть мы не
придумали ![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
и навязали её свету своей синхронизацией, а
угадали значение
![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
, соответствующее реальности.
Догадавшись (любым способом), чему должна быть равна
![$c$ $c$](https://dxdy-04.korotkov.co.uk/f/3/e/1/3e18a4a28fdee1744e5e3f79d13b9ff682.png)
, мы проводим именно одностороннюю синхронизацию.
Мне кажется, вы с
epros говорите одно и то же разными словами.