DedekindКак я понимаю,
epros не отрицает, что равенство скоростей "туда" и "сюда" непроверяемо.
Он возражает на Вашу формулировку, что в процедуре синхронизации уже используется значение

(измеренное двусторонним образом), поэтому синхронизация двусторонняя, а не односторонняя.
Потому что, хоть

формально и используется, но будь вместо света звук, у нас ничего не получилось бы. Не было бы постоянства этой скорости везде и всюду, даже и с синхронизированными часами. То есть мы не
придумали 
и навязали её свету своей синхронизацией, а
угадали значение

, соответствующее реальности.
Догадавшись (любым способом), чему должна быть равна

, мы проводим именно одностороннюю синхронизацию.
Мне кажется, вы с
epros говорите одно и то же разными словами.