Теорема Гёделя и диалектика
Итак, согласно теоремы Гёделя о неполноте формальных систем, при увеличении полноты формальных систем, существует критическая точка полноты этих систем, начиная с которой это система становится противоречивой. Чтобы преодолеть эту противоречивость, необходимо перейти к более широкой формальной системе.
Смотрите также: https://dspace.lu.lv/dspace/handle/7/1466
"Вокруг теоремы Геделя
Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. С учетом этого основной вывод из теоремы о неполноте можно переформулировать так: всякая достаточно всеобъемлющая, но застывшая система мышления неизбежно оказывается несовершенной – в ней содержатся либо противоречия, либо проблемы, для решения которых данной (застывшей!) системы недостаточно. Именно в строгом доказательстве принципиального несовершенства всякой застывшей системы мышления состоит подлинный диалектический смысл достижений Геделя. Изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологической концепции. См. также 2е издание: Подниекс К. М. Вокруг теоремы Геделя. – Рига: 1992"
(Продолжение следует)
Свидетельство о публикации №219030902093
Александр Киринеянин 23.08.2020 10:58 Заявить о нарушении