Целищев В. В. Субъективная математика Геделя: самоочевидные утверждения математики и артефакты синтаксических структур / Целищев Виталий Валентинович // Философия науки. - 2015. - № 1 (64). - С. 3 - 14. - Лит. в конце статьи.Отраслевые рубрики: история науки, логика, математика, математическая логика, философия науки Ключевые слова: аксиома, история математики, математическая определенность, математическое знание, методология науки, научное знание, объективная математика, очевидная истина, познание, субъективная математика, теоремы о неполноте, эпистемология Персоналии: Гедель Курт Аннотация: Рассматривается соотношение между субъективной, или человеческой, математикой и объективной математикой, введенной К. Геделем при интерпретации им теорем о неполноте. Показывается связь этого различения с понятием математической определенности. Установлена связь понятия математической определенности с понятием очевидным истин математики в виде аксиом. Рассмотрено отличие очевидных истин элементарной арифметики от высших синтаксических структур.
|