СУБЪЕКТИВНАЯ МАТЕМАТИКА ГЕДЕЛЯ: САМООЧЕВИДНЫЕ УТВЕРЖДЕНИЯ МАТЕМАТИКИ И АРТЕФАКТЫ СИНТАКСИЧЕСКИХ СТРУКТУР
В.В. Целищев
Институт философии и права СО РАН, г. Новосибирск leitval@gmail.com
Ключевые слова: Гедель, очевидная истина, субъективная математика, объективная математика, теоремы о неполноте, аксиома
Страницы: 3-14 Подраздел: Проблемы логики и методологии науки
Аннотация
В статье рассматривается соотношение между субъективной, или человеческой, математикой и объективной математикой, введенное К. Геделем при интерпретации им теорем о неполноте. Показывается связь этого различения с понятием математической определенности как эпистемологической характеристики математического мышления. Установлена связь понятия математической определенности с понятием очевидных истин математики в виде аксиом. Рассмотрено отличие очевидных истин элементарной арифметики от высших синтаксических структур, связанных с эффектом кодирования.
DOI: 10.15372/PS20150101 |