Протокол сравнения физических моделей движения света и тел: авторское изложение

ru · official · sha256:b47c18f72a971a8c4192a0844f50e0f84b8abb3b0af89fd7b46a6c0da9b997bcRU

ПРОТОКОЛ СРАВНЕНИЯ ФИЗИЧЕСКИХ МОДЕЛЕЙ ДВИЖЕНИЯ СВЕТА И ТЕЛ: АВТОРСКОЕ ИЗЛОЖЕНИЕ Настоящий документ является АВТОРСКИМ ИЗЛОЖЕНИЕМ, составленным для целей формализации семейства пакетов о неподвижном светоносном эфире, теории Лоренца 1904 года и специальной теории относительности Эйнштейна 1905 года. Он не является учебником физики, не воспроизводит и не переводит никакой учебник и не содержит ни одного утверждения о том, что верно в природе. Всё, что здесь сказано, относится к УСТРОЙСТВУ ОПИСАНИЯ: какие сущности различаются, какими связями они соединяются и что означает каждая связь. Содержательные утверждения о моделях живут в пакетах-потребителях и закреплены байтами исторических публикаций, названных в тех пакетах. Настоящее изложение не является нормативным актом и не имеет силы источника права ни в одной юрисдикции. Оно не удостоверяет истинности ни одной из описываемых моделей и не устанавливает между ними предпочтения.

ru · official · sha256:7ef11a24fec6b0869d6e8c0e4bf96594babba40e408643c79821a49321bb7f1cRU

Раздел 1. Теория как предмет описания. Теорией здесь называется предмет описания, у которого есть имя, названная формулировка и набор принимаемых принципов: простая модель неподвижного эфира, электродинамика движущихся тел Лоренца в редакции 1904 года, специальная теория относительности в редакции статьи 1905 года. Теория не есть ни текст, ни вычислитель: она то, что текст излагает, а вычислитель применяет. Ни одно утверждение о теории не выводится настоящим словарём; словарь лишь даёт место, куда пакет-потребитель поставит утверждение своего источника.

Referencing norms: Theory, theory_declared, theory_key

ru · official · sha256:a8e68ba706ac89bda485d4449cfc9f4ac236c935e6e491142875299868aa106aRU

Раздел 2. Редакция теории. Редакцией теории называется конкретная её формулировка, закреплённая конкретным источником: статья, глава учебника или названная реконструкция. Одна теория в разных редакциях может утверждать разное, и утверждение всегда принадлежит редакции, а не имени теории. Поэтому у всякой теории настоящего словаря объявляется редакция, и сравнение ведётся между редакциями, а не между именами.

Referencing norms: theory_edition

ru · official · sha256:0df46339dde8175891fbbb63a5bc9c005924ad9d43003b2d5e3e09d264a95212RU

Раздел 3. Авторская реконструкция и её отличие от источника. Авторской реконструкцией называется формулировка, составленная для целей настоящего сравнения по нескольким источникам или по общему изложению традиции, а не выписанная из одной публикации. Реконструкция обязана называть свои идеализации поимённо и не приписывается ни одному историческому лицу. Утверждение реконструкции не есть утверждение источника, и различие это записывается не примечанием, а строением: у реконструкции своя редакция, свои байты и свой хэш.

Referencing norms: theory_is_authored_reconstruction

ru · official · sha256:c85a7e42cffa12434812dd0cf9c0fcd7e3a41afdf11fa8845d99fe16ec59d59dRU

Раздел 4. Принцип. Принципом называется утверждение о мире, которое теория может принимать или отвергать: «существует выделенная система отсчёта, в которой среда покоится», «время одно и то же во всех системах отсчёта», «скорость света в пустоте одинакова во всех инерциальных системах», «законы физики имеют один вид во всех инерциальных системах». Принцип есть предмет сравнения; его формулировка принадлежит настоящему словарю, а отношение к нему — теории.

Referencing norms: Principle, assert-h1373f769af6676df3ea62beb3f551c26c5d029a6dcb0b49b8ea19c8e1977bae5, assert-h23bfa59a53dd5eb93a22e8bff2a7eb9a839bf6fe7369b1e33725ca5289974f5a, assert-h3849eb23074685b3cc8cf0e75a7916e84dbc4b371a508dd1e5a691c2d54c9c8c, assert-h729033da745cb548039c4f0d5e1a3cb3e153a82f3939a5aa9432cba3899dfe91, assert-h84219772dfbf96575df04be1c1043d67a1423b1abc99754ee106af650f8ac337, assert-h9d2fb577c1da0bd1a39b000bb9bd1ba1650b721cd7f4ea30687857af7370633c, assert-h9f471806e291107604d3cd9e7f1691efbb7f6360c42a136361738b9d63a421c4, assert-hcb6fe5187587df41978f7e0a9a48a404f993324881715501ceacc4e8073ad684, assert-he4b4399798c1ce4b9b1e8caaf19f80b8e97b1dd49cce047266b3ef98e07d4b84, principle_declared

ru · official · sha256:68d0254ee3bb17c4854cd471d5d12b6cdbec990450f47e90d67fa2185682db12RU

Раздел 5. Отношение теории к принципу: четыре значения. Отношение теории к принципу может быть четверояким: принцип ПРИНЯТ; принцип ЯВНО ОТВЕРГНУТ; принцип НЕ НУЖЕН — теория обходится без него и не утверждает ни его, ни его отрицания; отношение НЕ УСТАНОВЛЕНО настоящим описанием. Четыре значения не сводятся к трём и тем более к двум. «Не нужен» и «отвергнут» различаются существенно: теория, которой не нужна выделенная система отсчёта, не утверждает, что среды не существует. «Не установлено» есть УТВЕРЖДЕНИЕ пакета о своей границе и подаётся фактом так же, как остальные три. Отсутствие всякого факта об отношении не есть ни одно из четырёх значений. У принципа, о котором теория не сказала ничего, все четыре вывода не установлены, и это правильный ответ, а не отвержение. Замыкание перечня принципов здесь не ставится сознательно: принципов столько, сколько названо источниками, и утверждать полноту перечня настоящий словарь не может.

Referencing norms: AcceptsPrinciple, PrincipleNotRequired, RejectsPrinciple, Stance, StanceUnsettled, accepts_principle, principle_not_required, rejects_principle, stance, stance_unsettled

ru · official · sha256:d96d43cf9bd13570a8b77b803abe00c639b8f26b8bbfcdf87cd7bc855ca548caRU

Раздел 6. Постановка. Постановкой называется описание ОПЕРАЦИОННЫХ условий опыта или мысленного опыта: какие тела и сигналы участвуют, какими процедурами измерены расстояния и промежутки времени, какая система отсчёта названа лабораторной и с какой скоростью относительно неё движется вторая. Постановка не принадлежит ни одной теории: она общая, и именно поэтому предсказания разных теорий на ней сопоставимы. Постановка сообщает то, что можно предъявить процедурой измерения, и ничего сверх того. Величины, которые имеют смысл только внутри модели, — абсолютное время, местное время, скорость относительно среды — в постановку не входят; они входят в модельные посылки прогона.

Referencing norms: Setting, SpeedOfLightFromSiTable, carried_body_has_rest_mass, carried_body_is_light, carried_speed, frame_speed, lab_separation, lab_time_gap, orbital_speed, proper_interval, rest_length, setting_declared, setting_key, speed_of_light

ru · official · sha256:902370ac4565b21c9ff573d7285b6b1a221874d04415f657b7de9810b91d04dcRU

Раздел 7. Наблюдаемая величина. Наблюдаемой величиной называется то, о чём спрашивают предсказание: промежуток времени между двумя событиями во второй системе, длина стержня, измеренная в движущейся системе, скорость тела относительно лабораторной системы, сдвиг интерференционных полос. У наблюдаемой есть род: РАЗМЕРНАЯ, у которой предсказание есть величина с единицей, и БЕЗРАЗМЕРНАЯ, у которой предсказание есть точное отношение — например, отношение скорости к скорости света. Разделение не техническое. Отношение скорости к скорости света при сложении двух скоростей по шесть десятых скорости света равно пятнадцати семнадцатым; десятичной записи у этого числа нет, и требовать её значило бы либо округлить ответ без объявленной политики, либо отказаться от точного сравнения. Поэтому безразмерное предсказание хранится точной дробью, а размерное — величиной с единицей.

Referencing norms: Observable, ObservableKind, QuantityPredictionMatchesDimensional, QuantityPredictionOnDimensionless, RatioPredictionMatchesDimensionless, RatioPredictionOnDimensional, assert-h083e14862049055ccbead9c46069e9f88aeeafa87547172c96be1f5b71b36327, assert-h2da623a8f9189d2defea67e640cd70de6ff530c1ddd77e76035dbe33d004a2df, assert-h5c62870a31473ddc52316e1e615fd3fb740a518517487fb7c57a01c1d6f24672, assert-h6ae58080d8079e889aa46a56912a1ef2680d0fbdd273f62bba3410b85163fe4a, assert-h70073c4b00ef10456fb1c8b139fef60ca159de58c51ad18c7a586000f0bfb882, assert-ha65cf22acd76274333a87de6f1f0dc4b28ad6d83daac65c421f887eb02f55fd6, assert-hb9e28704c50f0b92774e3033b87ab65137eff1ab792d412fcd3b70d4a1a269cd, assert-hbd82bb1dc71ca37503a6ab17edc63d4d0811cfe6066fa20b30c6224ac9c5947d, observable_declared, observable_key, observable_unit, prediction_kind_matches, prediction_kind_mismatch

ru · official · sha256:f0d3165b805205c2525c5db8e89dd1ba9c346c7da4ea537df049ec622b588d57RU

Раздел 8. Прогон модели. Прогоном называется пара «теория и постановка»: применение одной названной теории к одной названной постановке. Предсказание принадлежит прогону, а не теории и не постановке порознь. Два прогона одной постановки разными теориями и составляют сравнение.

Referencing norms: Run, interferometer_arm, light_wavelength, run_declared, run_of

ru · official · sha256:669b0d0b60ee39d62a1d00f93fc7e8881b2ef253f141e08acb6a98349eb41b23RU

Раздел 9. Модельная посылка и её принадлежность. Модельной посылкой называется допущение, которое имеет смысл только внутри одной теории: скорость лаборатории относительно эфира, местное время, лоренцев множитель. Всякая модельная посылка объявляет, КАКОЙ теории она принадлежит, и подаётся прогону. Посылка, принадлежащая одной теории и поданная прогону другой, называется ЧУЖОЙ. Чужая посылка есть ошибка постановки опыта, а не свойство теории, и обнаруживается она отдельно: прогон, в который попала чужая посылка, помечается как смешение моделей, и его предсказание не считается предсказанием названной теории. Обнаружение смешения проверяется собственной сценой; молчание об этом было бы худшим из ответов, потому что результат смешения выглядит содержательным.

Referencing norms: ForeignInputInRun, InputConsistentWithRun, ModelInput, ModelMixingDetected, foreign_input_in_run, input_belongs_to, input_consistent_with_run, model_input_supplied, model_mixing_detected

ru · official · sha256:9debd989aea05b5a39ddcaa17c617b926cb5c24ce63e2a241e77ad16a0e06a9dRU

Раздел 10. Предсказание. Предсказанием называется значение наблюдаемой величины, полученное прогоном. У размерной наблюдаемой предсказание есть величина с единицей; у безразмерной — точная дробь. Предсказание всегда несёт прогон, то есть теорию и постановку, а через них — источник и редакцию. Предсказание не есть наблюдение. Предсказание не есть измеренное значение. Совпадение числа предсказания с числом наблюдения не превращает одно в другое, и настоящий словарь держит их разными связями.

Referencing norms: predicted_quantity, predicted_ratio

ru · official · sha256:157a35788b46b8260af1eb60d54d1ea79126e07598258d6c77f830b77d21f61dRU

Раздел 11. Область применимости. Областью применимости теории называется названное самим источником или названной реконструкцией условие, при котором теория берётся применять: инерциальность систем, пустота, скорость меньше скорости света, отсутствие ускорения. Прогон вне области применимости не даёт предсказания. «Условие применения не выполнено» и «закон опровергнут» суть разные утверждения, и словарь запрещает читать первое как второе. Теория, не применимая к ускоренному движению, ничего не говорит об ускоренном движении; она не опровергается тем, что о нём молчит.

Referencing norms: acceleration_present, frames_are_inertial, propagation_in_vacuum, theory_applies_here, theory_out_of_scope, theory_silent_on

ru · official · sha256:1e2942424833a05c3fa084dccf53569096d6516d7db9d225f67508e53dcab3e8RU

Раздел 12. Различие предпосылок. Две теории различаются предпосылкой, когда одна принимает принцип, а другая его явно отвергает. Различие ВЫВОДИТСЯ из двух отношений, а не объявляется третьим фактом: сравнение обязано называть конкретный принцип и показывать, из чего взята каждая сторона. Молчание одной из сторон различия не даёт. Согласие в предпосылке выводится тем же способом и требует двух фактов: обе теории принимают один принцип.

Referencing norms: PrincipleAgreement, PrincipleDifferenceByRejection, PrincipleDispensedBy, principle_agreement, principle_difference, principle_dispensed_by, principle_is_derived_not_postulated

ru · official · sha256:6726285e3cbe2391edd8a8108617ed89350473728cf0b7f4de9faef559d00904RU

Раздел 13. Различие предсказаний. Два прогона одной постановки различаются предсказанием, когда наблюдаемая одна и та же, а значения разные. Сравнивать разрешено только предсказания ОДНОЙ наблюдаемой на ОДНОЙ постановке: совпавшие числа при разных наблюдаемых, разных единицах или разных условиях совпадением предсказаний не являются. Совпадение предсказаний выводится положительно — из равенства значений одной наблюдаемой на одной постановке. Различие выводится тогда, когда обе стороны ответили, а совпадение не установлено. Правило различия поражаемо, и это существенно: на постановке, где ответила одна теория, ни совпадение, ни различие не выводятся.

Referencing norms: PredictionNormalised, PredictionsAgreeOnQuantity, PredictionsAgreeOnRatio, PredictionsDifferOnQuantity, PredictionsDifferOnRatio, prediction_normalised, prediction_unit, predictions_agree, predictions_differ

ru · official · sha256:c37245ec32cfa8986781de2a412f730defd50eda0c905fb4503945b2f018ac62RU

Раздел 14. Точность и допуск. Допуском называется явно названная величина, в пределах которой два значения считаются согласованными. Допуск принадлежит сравнению, а не теории, и объявляется постановкой. Без объявленного допуска сравнение с наблюдением не производится вовсе. Вычислительная погрешность и неопределённость измерения различаются. Первая есть свойство представления числа и объявляется политикой округления; вторая есть свойство измерения и объявляется источником наблюдения. Смешивать их запрещено: округлённое значение, поданное как точное, делает согласие или расхождение свойством записи, а не опыта.

Referencing norms: DivergenceExceedsToleranceRatio, DivergenceWithinToleranceRatio, divergence_exceeds_tolerance, divergence_within_tolerance, tolerance_quantity, tolerance_ratio

ru · official · sha256:e6d9712bde0abd9b02b53ca1f6cc8902e5d42629d8cda8b1d0941dc26bf558b8RU

Раздел 15. Согласие с наблюдением. Предсказание согласуется с наблюдением, когда наблюдение предъявлено, допуск объявлен и разность значений не превосходит допуска. Предсказание несовместимо с наблюдением, когда разность допуск превосходит. Если наблюдение не предъявлено либо допуск не объявлен, не выводится ни согласия, ни несовместимости, и это третий ответ, а не разновидность первых двух. Наблюдение, установившее лишь ВЕРХНЮЮ ГРАНИЦУ величины, не есть измерение значения. Верхняя граница опровергает предсказание, превосходящее её, и не подтверждает ни одного предсказания, лежащего под ней. Читать верхнюю границу как точное равенство нулю запрещено.

Referencing norms: ObservationEvidenceInsufficient, PredictionConsistentOnRatio, PredictionExceedsObservedBound, PredictionIncompatibleOnRatio, PredictionWithinObservedBound, observation_evidence_insufficient, observed_quantity, observed_ratio, observed_upper_bound_ratio, prediction_consistent_with_observation, prediction_incompatible_with_observation, prediction_within_observed_bound

ru · official · sha256:61625f90f3f65073f3e1fc2ec182181f27fdba4f3b48c45f93498bc2636e7c6dRU

Раздел 16. Полнота сравнения. Сравнение считается полным, когда по каждому объявленному вопросу сравнения получен ответ: названы отношения обеих теорий к принципу, получены предсказания обеих на постановке и, если наблюдение предъявлено, дан ответ о согласии. Полнота НЕ требует, чтобы теории разошлись: сравнение, показавшее совпадение предсказаний при разных предпосылках, полно ровно в той же мере. Требование различающего принципа, уместное при сравнении логических систем, к физическому сравнению не переносится: две теории могут давать одно и то же наблюдаемое следствие, оставаясь разными теориями, и назвать это неполнотой значило бы объявить неполным именно тот результат, ради которого сравнение производится.

Referencing norms: StanceKnownByAccepting, StanceKnownByDeclaringUnsettled, StanceKnownByDispensing, StanceKnownByRejecting, stance_known

ru · official · sha256:5916c97dc4d98ef0fc6dea16cdbea403ffe29d4414e4c6cefed768b060178b2eRU

Раздел 17. Чего этот словарь не утверждает. Он не утверждает, что какая-либо из описываемых моделей верна или ложна. Он не выводит из совпадения предсказаний тождества теорий: совпадение на названной постановке есть утверждение об этой постановке и ни о какой другой. Он не выводит из отсутствия необходимости в сущности её несуществования. Он не применяет к физическим теориям правил старшинства по времени: год публикации есть историческое сведение, а не основание предпочтения, и более поздняя теория не отменяет более раннюю тем, что она позднее.