В. В. Целищев Рассматриваются причины появления интенсиональных структур в математическом дискурсе на примере доказательства Второй теоремы Гёделя о неполноте арифметики. Показано, что одной из причин интенсиональности является концептуальная структура, включающая переход от строго математических формулировок к их интерпретации. Анализируются три этапа интенсиональности - кодирование, конструирование предиката доказуемости и построение самореферентного предложения. Показано, что допустимость на каждом этапе выбора между альтернативами есть источник интенсиональности.
Научная статья 
Гёдель Дата публикации:
2019
Серия:
Том (volume):
17
Выпуск (issue):
1
Страницы:
17-29
Идентификатор:
oai:oai.sibphil.elpub.ru:article/203
https://sibphil.elpub.ru/jour/article/view/203
10.25205/2541-7517-2019-17-1-17-29
Лицензия:
Источник: