October 7th, 2016

Ёж: Частные версии теорий-1

Рассуждений вокруг теории Рамсея и её последствий можно было бы привести к более практическому и приземлённому соображению.

Основная ценность любой математической модели и научной теории состоит не в том, что она компактным образом описывает имеющиеся данные, а в том, что она позволяет делать сбывающиеся предсказания относительно данных, которые мы получим в будущем.

Но есть достаточно важный нюанс.
Это вопрос о том, что конкретно мы имеем ввиду под "теорией", когда обсуждаем её применение различными людьми.

Вполне очевидно, что если люди разные, то они могут одну и ту же теорию, изложенную естественным языком, понимать различным способом и модели фрагмента реальности, создаваемые при использовании этой теории, будут, в связи с этим, различаться.
Это и есть та самая "проблема следования", о которой я писал в предыдущих заметках.

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

Если конкретная научная теория может быть воспроизведена в умах её реципиентов с большей или меньшей точностью, то точно воспроизвести набор доступных человеку теорий, так, чтобы реципиент обладал ими и только ими, по очевидным соображениям, сложнее до полной невозможности.