Доказательство - это объект физического, а не ментального (концептуального) пространства. Доказательства могут формироваться в рамках одной науки и затем использоваться в других (как результаты вычислений). Таким образом, теории даже в самых абстрактных науках могут (и должны) через цепочку наук пройти проверку экспериментом в физическом мире.

• Исследование/познание - это поиск наиболее компактного набора объяснений (то есть, моделей/теорий), использующих новые, еще никому не известные понятия.
• Теории возникают из случайного “шума” в интеллекте (физической его части, т.е. в физическом вычислителе), оформляются как гипотезы, проходят экспериментальную проверку в физическом мире.
• Объяснения включают в себя возможность предсказаний, но это не главное. Объяснения, найденные на разных системных уровнях, не сводимы друг к другу (это проявление свойства эмерджентности).

Пример с небольшой цепочкой наук:

• Информатика - естественная/физическая наука о физических процессах в вычислителях, потому что вычислители (и изменение их состояния) - это репрезентация абстрактных сущностей (чисел, уравнений) в физическом мире. Физическое состояние вычислителей сравнивается с предсказанным теорией и тем самым ложные теории (они же некорректные доказательства и неверные объяснения) отфильтровываются. Это Theory B в информатике.
• Математика - искусственная/абстрактная наука об объяснении абстрактных сущностей. Разница в теориях - это разница в результатах доказательств, без проверки физическими экспериментами (потому что проверять нечего?). Вычислители находят доказательства, которые в математике используются для фильтрации ложных теорий.