Автор: Подниекс К.М.
Название: Вокруг теоремы Геделя. Around Goedel's Theorem
Издательство: Рига: Зинатне
Год: 1992
Страниц: 178
Формат: djvu
Размер: 17,00 Мб
Язык: Русский

Математик невольно привносит в рассуждения элементы платонизма, когда не имея достаточной философской подготовки, берется за решение методологических вопросов, за объяснение природы своих результатов. В книге проведен методологический анализ природы математики. Предлагается следующая методологическая оценка теоремы Геделя о неполноте: Всякая формальная теория с методологической точки зрения является моделью некоторой застывшей системы мышления. С учетом этого основной вывод из теоремы о неполноте можно переформулировать так: всякая достаточно всеобъемлющая, но застывшая система мышления неизбежно оказывается несовершенной - в ней содержатся либо противоречия, либо проблемы, для решения которых данной (застывшей!) системы недостаточно. В этой книге изложены важнейшие результаты математической логики XX в., знание которых необходимо для понимания предлагаемой методологической концепции.