Учебный образец разбора · теория придумана для примера, такой заявки не было
Учебный пример: эфирный ветер
Учебная теория неподвижного эфира. Три противоречия между постулатами, один пробел в выводе, одно утверждение исключено опытом Майкельсона — Морли, один вывод ждёт опыта.
- 1Вводные своих постулатов — 5, из них неявных — 2; разделов мейнстрима — 2, унаследованных постулатов — 8 противоречий: 3
- 2Логика переходов — 4; верны — 3 пробелов: 1
- 3Опыт утверждений с числом — 1 исключено данными: 1
- 4Выводы вне опыта выводов — 2; отличимых от мейнстрима и проверяемых — 1
Разбор отражает текст на эту дату. Взгляды изменились — пришлите исправленную версию: её разберут заново, а этот разбор останется в истории со своей датой.
1Вводные
Всё, на чём стоит теория, выписано явно. Опираясь на раздел мейнстрима, теория наследует все его постулаты; взяв из мейнстрима формулу — постулаты, из которых она выведена.
Свои постулаты
- D1Эфирный ветер — движение эфира относительно лаборатории. определение
§1
- A1Существует эфир — среда, которая покоится в одной выделенной системе отсчёта. назван автором
«Эфир неподвижен, и всё движется сквозь него.» — §1
тест заменой Сама по себе — ничего не меняется: пока движение относительно эфира не наблюдаемо, выделенная система остаётся выбором языка. Наблюдаемым его делает A3.
- A2Свет — волна в эфире; относительно эфира он бежит со скоростью c. назван автором
«Свет есть колебание эфира и распространяется в нём со скоростью c.» — §2
тест заменой Если скорость света задана не относительно эфира, а относительно источника, меняется предсказание для двойных звёзд и опытов с движущимися источниками.
- A3Земля не увлекает эфир: у поверхности эфир движется относительно лаборатории с орбитальной скоростью Земли, около 30 км/с. неявный: используется, но не назван
используется в §3 при подстановке v = 30 км/с
тест заменой Если Земля полностью увлекает эфир, у поверхности ветра нет, и утверждение о смещении полос исчезает.
- A4Масса тела растёт со скоростью относительно эфира: m = m₀/√(1 − v²/c²). назван автором
«Инертность тела увеличивается при его движении сквозь эфир по известному закону m = m₀/√(1 − v²/c²).» — §4
- A5Тяжёлая масса растёт со скоростью так же, как инертная. неявный: используется, но не назван
нужна шагу S4; в тексте не названа
Унаследовано
мейнстрим Механика Ньютона — скорость света складывается со скоростью ветра по Галилею (шаги S1, S2) постулатов: 5
- МН-1инерция
Существуют инерциальные системы отсчёта: в них тело, на которое не действуют силы, движется равномерно и прямолинейно.
- МН-2второй закон
Сила равна скорости изменения импульса: F = dp/dt, p = mv.
- МН-3третий закон
Силы взаимодействия двух тел равны по величине и противоположны по направлению.
- МН-4абсолютное время
Время абсолютно, пространство евклидово; инерциальные системы связаны преобразованиями Галилея, скорости складываются как векторы.
- МН-5постоянная масса
Масса тела не зависит от его скорости и сохраняется.
мейнстрим Специальная теория относительности — формула роста массы со скоростью взята из СТО и не выведена (A4) постулатов: 3
- СТО-1принцип относительности
Все законы физики одинаковы во всех инерциальных системах отсчёта; выделенной системы покоя опыт не обнаруживает.
- СТО-2постоянство c
Скорость света в вакууме одинакова во всех инерциальных системах и не зависит от движения источника.
- СТО-3однородность и изотропия
Пространство однородно и изотропно, время однородно.
Совместность
A3 делает движение относительно эфира наблюдаемым в лаборатории, а СТО-1, унаследованный вместе с формулой массы, утверждает, что выделенную систему опыт не обнаруживает.
Механика Ньютона, из которой взято сложение скоростей, требует массы, не зависящей от скорости; A4 требует обратного.
Шаг S1 складывает скорость света по Галилею, а формула массы взята из СТО, где скорость света одинакова во всех системах. Обе применяются при одних и тех же скоростях, поэтому законным пределом одна для другой не служит.
Библиотека: При преобразованиях Галилея скорость света в движущейся системе равна c ± v, а не c. Совместное использование законно только как предел: механика Ньютона — приближение СТО при v ≪ c.
Остальные пары — свои постулаты между собой и с унаследованными — проверены, противоречий не найдено.
2Логика
Цепочка вывода по шагам: из каких посылок, что следует и где это в тексте. Ошибка называется по закрытому списку типов.
В лаборатории свет вдоль ветра бежит со скоростью c − v, против ветра — c + v, поперёк — √(c² − v²).
§3
Время хода туда и обратно по плечу L: вдоль ветра t∥ = (2L/c)/(1 − v²/c²), поперёк t⊥ = (2L/c)/√(1 − v²/c²).
§3
При повороте интерферометра на 90° полосы смещаются на N ≈ 2Lv²/(λc²).
§3, формула (5)
Размерность и приближение первого порядка по v²/c² проверены.
Вес тела меняется в течение суток: вращение Земли меняет скорость лаборатории относительно эфира.
§4
Из A4 следует рост инертной массы, а весы измеряют силу тяжести. Переход требует, чтобы тяжёлая масса росла так же (A5); в тексте это не сказано. Положение внесено в вводные как неявное.
Типы ошибок перехода
- размерность
- Размерности левой и правой частей не совпадают. Проверяется пересчётом, пересчёт приводится в разборе.
- вычисление
- Алгебраическая или численная ошибка. Проверяется пересчётом, пересчёт приводится в разборе.
- неявная посылка
- Шаг требует положения, которого нет среди вводных. Положение вносится на первый этап как неявный постулат.
- круг
- В выводе используется то, что требуется вывести.
- подмена понятия
- Термин меняет смысл между шагами.
- подгонка
- Число подобрано по той же величине, которую затем выдают за выведенную.
- предел
- Там, где теория опирается на мейнстрим, она не воспроизводит его проверенный результат.
- аналогия
- Сходство двух явлений выдано за вывод одного из другого.
- не следует
- Вывод не следует из посылок по иной причине; причина называется.
3Опыт
Утверждения с числом против измерений, по общим правилам: порог 5σ, статус выносит скрипт. Исключённое утверждение опровергает сочетание постулатов, из которых оно выведено.
В интерферометре Майкельсона — Морли (1887, плечо около 11 м) при повороте полосы смещаются примерно на 0,4 полосы.
исключено даннымивыведено
опровергнуто сочетание A2∧ A3∧ МН-4
Майкельсон и Морли увидели смещение меньше двадцатой доли ожидаемого. В учебном примере судья не заведён — на сайте статус выносил бы скрипт.
4Выводы вне опыта
Следствия, которых опыт ещё не касался. Зафиксированы в разборе 2026-09-25.
Суточная модуляция веса с относительной амплитудой около 1,5·10⁻¹⁰, в фазе с направлением орбитального движения Земли.
отличимо, нужен опытвывод с пробеломопирается на A3 A4 A5
- мейнстрим
- Эффекта нет; суточные изменения веса дают только приливы — около 10⁻⁷.
- как отличить
- Отделяется по фазе: приливы следуют за Луной и Солнцем, предсказанный эффект — за направлением орбитального движения.
- нужная точность
- Сравнение масс лучше 10⁻¹⁰ за сутки с учётом приливов.
- опыт
- Суточный ряд сравнений на лучших компараторах массы.
Эфир упруг, и эта упругость создаёт тяготение.
без числапринято постулатомопирается на A1
Нет числа, которое можно сравнить с измерением. Нужна зависимость ускорения свободного падения от свойств эфира.
Вопросы автору
- Как совместить шаг S1 (скорость света c ± v) с формулой массы из СТО, где скорость света одинакова во всех системах?
- Увлекает ли Земля эфир? От ответа зависит, что теория предсказывает для опыта Майкельсона — Морли.
- Растёт ли тяжёлая масса так же, как инертная?
Что проверено
Текст учебной заявки из четырёх параграфов. Выписаны пять постулатов (два из них неявные), одно определение и два унаследованных раздела мейнстрима. Восстановлены четыре шага вывода.
Что дальше
Ответы на три вопроса снимут противоречия или покажут, от каких постулатов теория отказывается.