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