DedekindКак я понимаю,
epros не отрицает, что равенство скоростей "туда" и "сюда" непроверяемо.
Он возражает на Вашу формулировку, что в процедуре синхронизации уже используется значение
(измеренное двусторонним образом), поэтому синхронизация двусторонняя, а не односторонняя.
Потому что, хоть
формально и используется, но будь вместо света звук, у нас ничего не получилось бы. Не было бы постоянства этой скорости везде и всюду, даже и с синхронизированными часами. То есть мы не
придумали и навязали её свету своей синхронизацией, а
угадали значение
, соответствующее реальности.
Догадавшись (любым способом), чему должна быть равна
, мы проводим именно одностороннюю синхронизацию.
Мне кажется, вы с
epros говорите одно и то же разными словами.