Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Философия науки

2015 год, номер 1

СУБЪЕКТИВНАЯ МАТЕМАТИКА ГЕДЕЛЯ: САМООЧЕВИДНЫЕ УТВЕРЖДЕНИЯ МАТЕМАТИКИ И АРТЕФАКТЫ СИНТАКСИЧЕСКИХ СТРУКТУР

В.В. Целищев
Институт философии и права СО РАН, г. Новосибирск
leitval@gmail.com
Ключевые слова: Гедель, очевидная истина, субъективная математика, объективная математика, теоремы о неполноте, аксиома
Страницы: 3-14
Подраздел: Проблемы логики и методологии науки

Аннотация

В статье рассматривается соотношение между субъективной, или человеческой, математикой и объективной математикой, введенное К. Геделем при интерпретации им теорем о неполноте. Показывается связь этого различения с понятием математической определенности как эпистемологической характеристики математического мышления. Установлена связь понятия математической определенности с понятием очевидных истин математики в виде аксиом. Рассмотрено отличие очевидных истин элементарной арифметики от высших синтаксических структур, связанных с эффектом кодирования.

DOI: 10.15372/PS20150101