Сопоставление трёх моделей движения света и тел: авторская методика и выводы

ru · official · sha256:4217796a9614732d6cbf5d9d7d2ded585345293fb75d9049487003f0512f0b78

СОПОСТАВЛЕНИЕ ТРЁХ МОДЕЛЕЙ ДВИЖЕНИЯ СВЕТА И ТЕЛ: АВТОРСКАЯ МЕТОДИКА И ВЫВОДЫ Настоящий документ является АВТОРСКОЙ МЕТОДИКОЙ сопоставления и содержит только то, что принадлежит самому сопоставлению. Содержательные сведения о моделях — принципы, преобразования, гипотезы, данные опыта — живут в пакетах-владельцах и закреплены байтами их источников; настоящее изложение их не повторяет и не пересказывает. Настоящее изложение не является нормативным актом и не имеет силы источника права ни в одной юрисдикции. Оно не удостоверяет истинности ни одной из сопоставляемых моделей.

ru · official · sha256:1963e7f60ee6403d19ecd87e9211bd1e11c94c83aa989ca0cdd958fcd68cb7d1

Раздел 1. Что сопоставляется. Сопоставляются три названные модели: простая модель неподвижного светоносного эфира в авторской реконструкции; электродинамика движущихся тел Лоренца в редакции статьи 1904 года; специальная теория относительности в редакции статьи Эйнштейна 1905 года, вычислительно представленная главой 5 третьего тома OpenStax University Physics. Экспериментальные данные Майкельсона и Морли 1887 года ни одной из моделей не принадлежат и входят отдельным предъявленным наблюдением.

ru · official · sha256:373acf6406eed534032f437ca2e66949856e89c3806f00c672fb8f2eebb23100

Раздел 2. Три раздельных вывода. Сопоставление даёт три РАЗНЫХ вывода, и смешивать их запрещено: различие ПРЕДПОСЫЛОК (одна модель принимает принцип, другая его отвергает); различие ПРЕДСКАЗАНИЙ (на одной постановке при одной наблюдаемой значения разные); согласие или несогласие С НАБЛЮДЕНИЕМ (предсказание против предъявленных данных опыта при объявленном допуске). Ни один из трёх выводов не влечёт остальных. Модели с разными предпосылками могут дать одинаковое предсказание. Модели с одинаковым предсказанием остаются разными моделями. Согласие предсказания с наблюдением не делает модель верной, а несогласие называет неверным предсказание, а не всякое допущение, из которого оно получено.

Ссылаются нормы: SamePrincipleDifferentStatus, VerdictIncompatibleWithObservation, VerdictPredictionsAgree, VerdictPredictionsDiffer, VerdictWithinObservedBound, same_principle_different_status, verdict_incompatible_with_observation, verdict_predictions_agree, verdict_predictions_differ, verdict_within_observed_bound

ru · official · sha256:12abf08108db762164d65e826f0bdf9db3a608525848070bce2f329f75259a32

Раздел 3. Восемь вопросов сопоставления. Методика объявляет восемь вопросов, и полнота сопоставления определяется ответом на каждый из объявленных: вопрос 1 — картина мира: пространство, время, одновременность, статус среды и выделенной системы; вопрос 2 — одновременность и преобразование времени двух разнесённых событий; вопрос 3 — показания движущихся часов и длина движущегося стержня; вопрос 4 — сложение скоростей и скорость светового сигнала; вопрос 5 — интерферометр с двумя перпендикулярными плечами; вопрос 6 — совместимость с предъявленным наблюдением 1887 года; вопрос 7 — совпадение наблюдаемого при разных основаниях; вопрос 8 — расхождение моделей при малых скоростях и объявленном допуске.

Ссылаются нормы: AnswerQuantityForQuestion, AnswerRatioForQuestion, AnswerSilenceForQuestion, AnswerStanceForQuestion, Question, answer_quantity, answer_ratio, answer_silence, answer_stance, q1, q1-ether, q1-light, q1-local-time, q1-simultaneity, q1-time, q2, q2-gap, q3, q3-interval, q3-length, q4, q4-ratio, q5, q5-shift, q6, q6-shift, q7, q7-shift, q8, q8-ratio, question_about_observable, question_about_principle, question_declared

ru · official · sha256:cc587b9a4f3e29c687db6f67c0153b5da88b74c9d92ced18c61e73ab15f877e5

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

Ссылаются нормы: ComparisonCompleteByCoverage, CountAnsweredQuestions, CountDeclaredQuestions, ObservableQuestionAnsweredByQuantities, ObservableQuestionAnsweredByQuantityAndSilence, ObservableQuestionAnsweredByRatioAndSilence, ObservableQuestionAnsweredByRatios, PrincipleQuestionAnswered, comparison_complete, question_answered, questions_answered_count, questions_declared_count

ru · official · sha256:61971699af03eca227295129ccd99822399d339b4cb3704c4fc7beb7253088af

Раздел 5. Сопоставление не есть сравнение текстов. Разность исходных файлов, разность семантических хэшей и совпадение метаданных о соответствии понятий сами по себе не говорят о моделях ничего. Утверждение о различии или совпадении делается только вычислением на согласованной постановке при названной наблюдаемой; всё остальное есть свидетельство о записи, а не о теории.

ru · official · sha256:6d18313982ce4c0c67f65bfb01cc527a5ef5b2f44946d956e68a9bf2322bdbd6

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

ru · official · sha256:99156ddd6a53bd029c0a8ed90e84afbea4a993cce575ceeb48a63b3d7e85af6d

Раздел 7. Изоляция моделей. Каждый прогон принадлежит одной модели. Модельная посылка, принадлежащая другой модели и попавшая в прогон, делает результат прогона результатом смешения, а не предсказанием названной модели. Смешение обнаруживается отдельным выводом и проверяется отдельной сценой: молчаливое смешение опаснее отказа, потому что его результат выглядит содержательным.

ru · official · sha256:daa5c3107bac902994bb90fb9e6471d314981f572944f00f5b2450118485f7e4

Раздел 8. Совпадение наблюдаемого при разных основаниях. На постановке опыта 1887 года модель эфира С ГИПОТЕЗАМИ СОКРАЩЕНИЯ и специальная теория относительности дают один и тот же ответ о наблюдаемом сдвиге полос: сдвига нет. Основания при этом разные: у первой сдвиг исчезает потому, что плечо вдоль движения укорачивается ровно настолько, чтобы скомпенсировать разность времён; у второй его нет потому, что скорость света в лаборатории одна во всех направлениях и разности времён не возникает. Из этого совпадения НЕ следует эквивалентность моделей. Совпадение установлено для одной названной наблюдаемой на одной названной постановке; распространять его на другие постановки методика запрещает и проверяет этот запрет отдельной сценой.

Ссылаются нормы: AgreementIsLocalToTheSetting, SameObservableDifferentGroundsByDispensing, SameObservableDifferentGroundsByRejection, agreement_is_local, same_observable_different_grounds, theories_are_equivalent

ru · official · sha256:12da934c3c68f81ae84c9559f8d8a3ca093717bab556b7afd6f453682d6d389a

Раздел 9. Малые скорости. При малых скоростях предсказания классической модели и специальной теории относительности сближаются, и при объявленном допуске расхождение может оказаться в его пределах. Численные примеры показывают ЭТО и только это: они не доказывают, что классическая модель есть предел релятивистской, и такого утверждения методика не делает.

Ссылаются нормы: VerdictDivergenceExceedsTolerance, VerdictDivergenceWithinTolerance, verdict_divergence_exceeds_tolerance, verdict_divergence_within_tolerance

ru · official · sha256:2bbca8a2ec0b0c8792b68891bb6a850a4f9b94a51e01fff12c1fcf409bc03d3d

Раздел 10. Историческое время. Годы публикаций — 1887, 1904, 1905 — суть исторические сведения. Методика не применяет к ним правил старшинства: более поздняя работа не отменяет более раннюю тем, что она позднее, и порядок публикаций не влияет ни на один вывод сопоставления.

ru · official · sha256:a915c7ad571902838164667b0c54638530e2d774070aa52792b52287ec9bc54c

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