Граф утверждений
Граф
Слева — концепции, правее — их теории, дальше — атомарные утверждения, в последнем столбце — измерения, с которыми их сверяют, и постулаты, из которых их выводят. Все опыты одной величины — одно измерение: если опыты согласны, решает самый точный; если какие-то противоречат друг другу, это точка напряжения, и эти опыты соединены красной пунктирной дугой с числом σ. Красная связь — исключено данными, и чем больше σ, тем она толще; зелёная — не исключено: расхождение меньше порога 5σ. Статус идёт к корню: теория и концепция получают цвет своего худшего утверждения. У концепции ещё и полнота: в узле — сколько наблюдений она объясняет из всех на сайте; если опыт её не исключил, но на часть наблюдений ответа нет, рамка жёлтая пунктирная — «неполна»: не исключено ещё не значит объясняет. Общие измерения и постулаты — одни узлы на всех, поэтому видно, где разные учения сверяются с одним измерением и стоят на одних посылках.
База SQLite, которую можно скачать, хранит два графа. Граф утверждений — таблицы nodes и edges: разборы, шаги вывода, постулаты, опыты и все связи с обоснованием; к какой концепции относится связь — таблица edge_concept. Граф концепций, показанный на этой странице, — таблицы concept_nodes и concept_edges: у каждой связи по строке на концепцию, в которой она построена; «общая» — только связи между опытами и измерениями.
Дерево эфиродинамикиКонцепцииЦена разрешенияЭфиродинамика от исходных положенийСкачать базу SQLiteСкачать JSON
граф вывода
Граф разбит на пять колонок: концепции, теории, утверждения, измерения с постулатами, опыты. Сразу показано не больше 100 узлов. Нажмите на узел — рядом, поверх графа, откроются прямо связанные с ним узлы следующей колонки, остальное приглушится и останется на месте; нажмите на узел открытого слоя — поверх откроется ещё один, прежний останется. Нажатие мимо узлов или повторно на тот же узел закрывает. Значок «+N» — сколько прямо связанных узлов следующей колонки не показано. Двойное нажатие на утверждение (или правая кнопка мыши) открывает поверх страницы граф его вывода — развёрнутую цепочку, которую граф концепций сворачивает: сверху постулаты, входы и опыты, под ними шаги вывода, внизу само утверждение; если утверждение обосновано в нескольких концепциях, вывод можно сузить до одной. Закрывает крестик, Esc или нажатие мимо окна. Положения — комплексные утверждения уровня теории (уравнения Максвелла, закон тяготения…), которые концепция выводит или обещает вывести, — стоят в колонке теорий с двойной рамкой; двойное нажатие открывает их вывод, от них идут утверждения, чей вывод проходит через их шаги. Связь «дублирует» соединяет положение с постулатом консенсуса, который оно повторяет; «Связи» оставляют на графе только связи выбранных видов с цепочкой узлов до концепции. Утверждения, которые концепция делает сама, без отдельной теории, собраны в колонке теорий под узлом «Утверждения самой концепции». «Только исключённое и опыт под вопросом» оставляет утверждения, которые исключены данными, и утверждения, которые расходятся только с опытом без независимой проверки (под вопросом опыт, а не утверждение; такой опыт отмечен в колонке опытов), с их теориями и измерениями; синие цепочки от каждой концепции через узлы «Необъяснённое» в колонках теорий и утверждений ведут к наблюдениям, которые она не объясняет (молчит или число подобрано), а «необъяснённое» оставляет только их — это слабые места; в карточке утверждения «в статье» ведёт на место в тексте статьи, где оно сказано. Та же информация таблицей — в атомарных утверждениях.