...

kapterev 22 января 2004, 08:37 в Openmeta (оригинал в ЖЖ)

Отсюда: http://www.x-libri.ru/elib/karpn000/00000031.htm

---

В 1931 году Куртом Геделем была доказана знаменитая теорема о неполноте достаточно богатых формальных систем и о невозможности доказательства непротиворечивости системы с помощью средств, формализуемых в этой системе. Тем самым теорема Гёделя утверждает принципиальную невозможность полной формализации научного знания: если формализуется достаточно богатая содержанием теория, то она не может быть полностью отображена в формальной системе - в полученной теории всегда остается невыявленный, неформализуемый остаток. Это несоответствие и выражается обычно в обнаружении неразрешимых в рамках данной формальной системы предложений, имеющих форму антиномий или парадоксов. Теоретически преодоление этих трудностей возможно путем создания новых формальных систем исчисления - метасистем, или метатеорий, более богатых, чем предшествующая или исследуемая система. В соответствии с теоремой Гёделя, метатеория порождает новые парадоксы, для разрешения которых необходимо построение еще более содержательной теории - и так до бесконечности, никогда не достигая, впрочем, абсолютной полноты.

---

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

---

Причин тому можно назвать несколько, но основной, видимо, следует считать то огрубление, упрощение, искажение истинной картины явлений, которое свойственно всем известным методам формализации. Точные науки описывают мир механический, мир точных и неизменно повторяющихся траекторий, и не имеет значения, описывается ли движение математической точки или конгломерата точек-индивидуальностей, которые описываются среднестатистически, что, кстати, используется и в методах социологических исследований. В качестве примера растущих со сложностью системы проблем, связанных с формализацией, можно назвать уже упоминавшиеся попытки И.Р. Пригожина распространить аппарат разработанной им теории самоорганизации на биологические системы.

---

В рамках наук, занимающихся изучением подобных систем, проводятся операции с символами, не имеющими однозначного смысла. Кроме того, аксиоматическая база таких наук основана на значительном числе постулатов, к тому же носящих зачастую конвенционалистский характер, то есть опирающихся на общепринятые в той или иной общности людей культурные или национальные стереотипы и традиции. Доводом, считающимся, кстати, самым сильным в пользу принятого в данной естественнонаучной и мировоззренческой системе набора постулатов, является "практический опыт человечества" и "здравый смысл". Ценность подобных доводов, наверное, сомнительна: когда-то "здравый смысл" свидетельствовал в пользу гипотезы плоской Земли...